DrJava Legacy SVN Repository

Replaced edu.rice.cs.util.Lambda with edu.rice.cs.plt.lambda.*. Refactored all use sites. (Note some terminology changes: Lambda<To, From> becomes Lambda<From, To>; al.apply(arg) becomes l.value(arg) or r.run(arg).) Some uses of Lambda (such as Lambda<Object, Object>) seem like they're actually Runnable1s (or even just Runnables), but I was conservative in my translation, only changing the arity on types that previously used Void as a type argument.

Updated DynamicJava. Includes fixed parsing of lower-bounded wildcards, support for context-based inference (List<Number> ln = Arrays.asList(1, 2, 3)), and support for interval-bounded wildcards (List<? extends Foo super Bar>).

DynamicJava: Added support for interval-bounded wildcards (also fixed a bug in which lower bounds were incorrectly parsed). Added both 1.5 and 1.4 versions of jlbench, because each is required for running the corresponding version of tests (the JLBench interface includes Iterable, which gets changed by Retroweaver).

DynamicJava: Integrated contextual expected types into inference. Refactored ExpressionChecker so that TypeNames are handled by a new TypeNameChecker, and both hide their visitor implementation, forcing invocations to go through a public "check" method. Updated the build script's usage of Retroweaver so that verification is turned on; replaced jlbench.jar with jlbench-base-14.jar to prevent clashes with PLT classes.

This revision fixes a bug in the implementation of FindResultsPanels;
it removes the highlights corresponding to a panel when the panel is
removed.

The revision also eliminates many commented out lines of document
locking code.

The following files were modified:

M src/edu/rice/cs/drjava/model/GlobalModelTestCase.java
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocumentTest.java
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/BraceInfoTest.java
M src/edu/rice/cs/drjava/model/definitions/IndentTest.java
M src/edu/rice/cs/drjava/model/definitions/IndentHelperTest.java
M src/edu/rice/cs/drjava/model/repl/InteractionsDocument.java
M src/edu/rice/cs/drjava/model/repl/InteractionsScriptModel.java
M src/edu/rice/cs/drjava/model/repl/InteractionsDJDocumentTest.java
M src/edu/rice/cs/drjava/model/repl/InteractionsDJDocument.java
M src/edu/rice/cs/drjava/model/repl/InteractionsModel.java
M src/edu/rice/cs/drjava/model/repl/RMIInteractionsModel.java
M src/edu/rice/cs/drjava/model/ConcreteRegionManager.java
M src/edu/rice/cs/drjava/model/AbstractDJDocument.java
M src/edu/rice/cs/drjava/model/FindReplaceMachine.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/DefinitionsPane.java
M src/edu/rice/cs/drjava/ui/ErrorPanel.java
M src/edu/rice/cs/drjava/ui/BrowserHistoryPanel.java
M src/edu/rice/cs/drjava/ui/AbstractDJPane.java
M src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
M src/edu/rice/cs/drjava/ui/InteractionsPaneTest.java
M src/edu/rice/cs/drjava/ui/FindResultsPanel.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java
M src/edu/rice/cs/drjava/ui/InteractionsController.java
M src/edu/rice/cs/drjava/ui/AbstractConsoleController.java
M src/edu/rice/cs/util/text/ConsoleDocument.java
M src/edu/rice/cs/util/text/SwingDocument.java

This commit re-instroduces the red Find All results highlights.
They seem to work with the Plastic LAFs this time.

M src/edu/rice/cs/drjava/ui/FindResultsPanel.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java

Reworked the eclipse plugin to work correctly for versions 3.3 and 3.4.
It will probably work for earlier 3.x versions, as well, assuming the eclipse
API has been somewhat stable, but I haven't tested for compatability.

Also update the ant buildscript to fail in all cases, as it is not the correct way
to build this plugin (although it is still a viable option, I don't have the time
to update it.

Intermediate restructuring commit

This revision corrects a bug in RegionsTreePanel modulo its rendering
using the Plastic L&F. The revision comments comments out a call
"_setColors(this)" that breaks "reverse-video" rendering of highlighted
entries in FindResultsPanels.

This revision also eliminates some import statements that are not used.

The following files were changed:

M src/edu/rice/cs/drjava/model/debug/jpda/JPDADebugger.java
M src/edu/rice/cs/drjava/ui/ExternalProcessPanel.java
M src/edu/rice/cs/drjava/ui/DebugPanel.java
M src/edu/rice/cs/drjava/ui/AbortablePanel.java
M src/edu/rice/cs/drjava/ui/BrowserHistoryPanel.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
M src/edu/rice/cs/drjava/ui/BreakpointsPanel.java
M src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
M src/edu/rice/cs/drjava/ui/FindResultsPanel.java
M src/edu/rice/cs/drjava/ui/RegionsListPanel.java
M src/edu/rice/cs/drjava/ui/BookmarksPanel.java
M src/edu/rice/cs/drjava/ui/LessPanel.java
M src/edu/rice/cs/util/StringOps.java

This revision deletes IDocList.java which is no longer used.