DrJava Legacy SVN Repository

Clarified contract of InteractionsModelCallback.interpreterReady(); bug fix for MainJVM, which was calling it twice on some restarts (the first call too early).

Changed "Automatic Trace" menu item to a checkbox menu item.

Tweaked MainJVM RestartingState slightly: the trasition from RestartingState to StartingState is now atomic (doesn't go to FreshState first).

This revision attempts to fix the consistent unit test
failures we have been experiencing over the last six weeks.

When the JVM isn't in the restarting state anymore, start the JVM.
This gets it out of the fresh state and into the starting state.
Otherwise the interpreter may finish restarting but stay in the
fresh state, and asking the fresh state for the interpreter returns.

When we have disposed of the model, we remove all interaction
listeners to ensure we do not get any late notifications from the
interpreter JVM.

M src/edu/rice/cs/drjava/model/GlobalModelTestCase.java
M src/edu/rice/cs/drjava/model/repl/newjvm/MainJVM.java

Additional assertions in NewJVMTest.

Extra debugging code for AbstractMasterJVM.

DynamicJava: Implemented qualified super expressions (parsing and type checking). Fixed misc parser bugs. The parser (driven by SourceChecker) can now handle all of the drjava, dynamicjava, plt, and javalanglevels source files.

DynamicJava: Implemented annotation parsing.

DynamicJava: Parser improvements.
- Introduced a ModifierSet class; added hooks for annotations on all declarations (but the annotation() parser production still needs to be implemented).
- Improved primary expression parsing, fixing some corner-case bugs and handling explicit method/constructor type arguments.
- Eliminated most lookahead productions, which are generally unnecessary, were incorrect (constructor call lookahead needed to traverse an entire anonymous class declaration, which it was not doing correctly), and had become inconsistent with the corresponding non-lookahead productions.

Fixed build template to delete "default excludes" files in generated source directories.