Home

logging service

What gets logged

• certain java editors (all within particular project, those referred to in .ISA file, a java file that it was attached to before)
  • add a character -- at a position
  • code complete
  • quick fixes
• all editors
  • open
  • close
  • save (push the whole file?)
• navigator
  • open step
  • test button
  • open assignment
• focus in any view
• feedback view
  • junit test run (on X.java) and results

public

logListenter generateLogListener() //maybe

bool logThis(verb, object)

• appends triple to logging file

void pushToServer()

• gets triggered sometimes -- maybe when open new assignment?
• uses hash, deletes current log store if successful