DrJava Legacy SVN Repository

This revision simplifies and rationalizes the treatment of regions in
tabbed panels by forcing regions to be disjoint and ordering them
using the pair [end, start]. In addition, the bookmark tab
automatically opens and closes when it is populated and emptied,
respectively. The display of matching text after editing stills needs
to be improved and the display of bookmarks should include enclosing
text just as it does in FindResultsPanels.

The following files were modified:

M src/edu/rice/cs/drjava/model/BrowserHistoryManager.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDABreakpoint.java
M src/edu/rice/cs/drjava/model/DocumentRegionTest.java
M src/edu/rice/cs/drjava/model/RegionManager.java
M src/edu/rice/cs/drjava/model/ConcreteRegionManager.java
M src/edu/rice/cs/drjava/model/DocumentRegion.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/model/DefaultLightWeightParsingControl.java
M src/edu/rice/cs/drjava/model/GlobalModelOtherTest.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/TabbedPanel.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/RegionsListPanel.java
M src/edu/rice/cs/drjava/ui/FindResultsPanel.java
M src/edu/rice/cs/drjava/ui/BookmarksPanel.java

This revision fixes a problem with adding and removing
regions. In revisions 4612-4614, the tree node and index
were cached, but the cache was not invalidated when
a removed region caused a document node to disappear.

M src/edu/rice/cs/drjava/ui/RegionsTreePanel.java

This revision fixes
[ 2052194 ] Javadoc 1.6 fails to link to Java API

M src/edu/rice/cs/drjava/model/javadoc/DefaultJavadocModel.java

This revision addresses the bug
[ 2027306 ] Run sometimes doesn't show messages

Instead of only switching to the Interactions Pane when
a program is actually run, it also switches to the Pane
when the program cannot be run because the class files
are out of sync. The error message is only displayed in
the Interactions Pane, and could not be seen before.

The listener method runStarted was renamed to prepareForRun,
as it is now called even when the program is not able
to be run.

M src/edu/rice/cs/drjava/model/DummyGlobalModelListener.java
M src/edu/rice/cs/drjava/model/GlobalModelTestCase.java
M src/edu/rice/cs/drjava/model/DefaultGlobalModel.java
M src/edu/rice/cs/drjava/model/GlobalEventNotifier.java
M src/edu/rice/cs/drjava/model/GlobalModelListener.java
M src/edu/rice/cs/drjava/ui/MainFrame.java

This revision addresses a problem with our "pseudo-modal"
windows competing with truly modal Dialog and JDialog windows.
[ 2040862 ] Modal dialog flicker: Project Properties/Increase Heap

M src/edu/rice/cs/drjava/ui/MainFrame.java

Removed redunandant util classes. OrderedHashSet->LinkedHashSet; MutableReference->Box; BidirectionalHashMap->OneToOneRelation; HashUtilities->ObjectUtil; CompletionMonitor changed packages; OrderedBidirectionalHashMap->IndexedOneToOneRelation with the appropriate parameters; Pair changed packages; SRunnable is unused, and not a good idea; StringSuspension->Thunk<String>.

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.