DrJava Legacy SVN Repository

Changed RegionManager to have a notion of a "current" region.
New regions are inserted after the current region and then become
the current region.
The region manager has methods to move forward and backward
through the regions, changing the current region.
The maximum size of the RegionManager can be limited; if new
regions are added and the manager becomes too large, the region
at the end farther away will be discarded.
Added a "Browser History" region manager, and the "next/prev
document" actions, selections in the document navigator,
actions on the "Find/Replace" panel, "Go to File"/"Go to
File Under Cursor" actions, and "Go to" actions on the
"Breakpoints", "Bookmarks", "Find Results", "Error" and
"JUnit" panels cause the old and new locations to be put in
the "Browser History".
Using Alt+Left/Alt+Right, the user can browse through the
regions in the "Browser History".
Removed edu/rice/cs/drjava/ui/RightClickMouseAdapter.java, which
was a duplicate of src/edu/rice/cs/util/swing/RightClickMouseAdapter.java.

M src/edu/rice/cs/drjava/model/debug/DebugTestCase.java
M src/edu/rice/cs/drjava/model/debug/JPDADebugger.java
M src/edu/rice/cs/drjava/model/debug/DebugEventNotifier.java
M src/edu/rice/cs/drjava/model/debug/DebugListener.java
M src/edu/rice/cs/drjava/model/debug/Breakpoint.java
M src/edu/rice/cs/drjava/model/GlobalModel.java
M src/edu/rice/cs/drjava/model/DefaultGlobalModel.java
M src/edu/rice/cs/drjava/model/RegionManager.java
AM src/edu/rice/cs/drjava/model/SimpleDocumentRegion.java
M src/edu/rice/cs/drjava/model/DummyOpenDefDoc.java
M src/edu/rice/cs/drjava/model/RegionManagerListener.java
M src/edu/rice/cs/drjava/model/DummyGlobalModel.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/model/OpenDefinitionsDocument.java
M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/project/ProjectFileParser.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/DebugPanel.java
M src/edu/rice/cs/drjava/ui/ErrorPanel.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
AM src/edu/rice/cs/drjava/ui/BrowserHistoryPanel.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
A src/edu/rice/cs/drjava/ui/RegionsListPanel.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java
M src/edu/rice/cs/drjava/ui/BookmarksPanel.java
M src/edu/rice/cs/drjava/ui/JUnitPanel.java
D src/edu/rice/cs/drjava/ui/RightClickMouseAdapter.java
M src/edu/rice/cs/util/docnavigation/NodeDataVisitor.java
M src/edu/rice/cs/util/docnavigation/JListNavigator.java
M src/edu/rice/cs/util/docnavigation/IDocumentNavigator.java
M src/edu/rice/cs/util/docnavigation/JListSortNavigatorTest.java
M src/edu/rice/cs/util/docnavigation/StringNode.java
M src/edu/rice/cs/util/docnavigation/LeafNode.java
M src/edu/rice/cs/util/docnavigation/INavigationListener.java
M src/edu/rice/cs/util/docnavigation/NodeData.java
M src/edu/rice/cs/util/docnavigation/FileNode.java
M src/edu/rice/cs/util/docnavigation/RootNode.java
M src/edu/rice/cs/util/docnavigation/JTreeSortNavigator.java
M src/edu/rice/cs/util/docnavigation/JTreeSortNavigatorTest.java

Fixed Retroweaver error; changed Ant build script to support -Dtest-list, -Dtest-repeat and -Dtest-timeout (type ant help for more information); the changes to the build script required the inclusion of ant-contrib.jar.

This commit fixed a bug in method testGetFiles of FileOpsTest.java; the test assumed that File.listFiles(...) returns a list of files in alphabetic order when no such guarantee is made by the that method's contract. The revised test makes no such assumption.

The following files were modified:

M src/edu/rice/cs/util/FileOps.java
M src/edu/rice/cs/util/FileOpsTest.java

This commit cleaned up the formatting of classes in the package
edu.rice.cs.drjava.config including updating the license blocks,
adjusting the line width to 120 columns, and re-enabling some
commented out unit test that inexplicably failed in Java 1.3.1.
The following files were modified:

M src/edu/rice/cs/drjava/config/OptionMap.java
M src/edu/rice/cs/drjava/config/ForcedChoiceOptionTest.java
M src/edu/rice/cs/drjava/config/ColorOptionTest.java
M src/edu/rice/cs/drjava/config/Configuration.java
M src/edu/rice/cs/drjava/config/FileConfiguration.java
M src/edu/rice/cs/drjava/config/KeyStrokeOptionTest.java
M src/edu/rice/cs/drjava/config/OptionEvent.java
M src/edu/rice/cs/drjava/config/DefaultOptionMap.java
M src/edu/rice/cs/drjava/config/OptionListener.java
M src/edu/rice/cs/drjava/config/NonNegativeIntegerOptionTest.java
M src/edu/rice/cs/drjava/config/NonNegativeIntegerOption.java
M src/edu/rice/cs/drjava/config/OptionParser.java
M src/edu/rice/cs/drjava/config/ParseStrategy.java
M src/edu/rice/cs/drjava/config/StringOption.java
M src/edu/rice/cs/drjava/config/StringOptionTest.java
M src/edu/rice/cs/drjava/config/Option.java
M src/edu/rice/cs/drjava/config/FormatStrategy.java
M src/edu/rice/cs/drjava/config/OptionParseException.java
M src/edu/rice/cs/drjava/config/IntegerOption.java
M src/edu/rice/cs/drjava/config/IntegerOptionTest.java
M src/edu/rice/cs/drjava/config/VectorOption.java
M src/edu/rice/cs/drjava/config/VectorOptionTest.java
M src/edu/rice/cs/drjava/config/OptionMapLoaderTest.java

Added "recur" package, containing RecursionStacks for tracing infinite recursive calls and Continuations; added "RecurUtil" with safe implementations of toString, equals, and hashCode for infinite data structures; added IdentityPair, etc., which uses == for equality tests instead of equals(); added TotalMap and Multimap collections; added some utility functions to LambdaUtil

Added entry in prefences for passing command line arguments to Main JVM on startup. Set the default maximum heap size for the main JVM to 128MB. Eliminated a few redundant casts as indiated by the Java 6.0 compiler.

The modified files were:

M src/edu/rice/cs/drjava/DrJava.java
M src/edu/rice/cs/drjava/model/DefaultGlobalModel.java
M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/project/ProjectFileParser.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/CompilerErrorPanel.java
M src/edu/rice/cs/drjava/ui/DefinitionsPane.java
M src/edu/rice/cs/drjava/ui/TabbedPanel.java
M src/edu/rice/cs/drjava/ui/ErrorPanel.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/JUnitPanel.java
M src/edu/rice/cs/drjava/ui/ReverseHighlighter.java
M src/edu/rice/cs/util/FileOps.java
M src/edu/rice/cs/util/FileOpsTest.java
M src/edu/rice/cs/util/ArgumentTokenizer.java
M src/edu/rice/cs/util/classloader/ToolsJarClassLoader.java
M src/edu/rice/cs/util/newjvm/ExecJVM.java

(Untitled) empty document prompt to save on exit changed (Feature Request: 1473262)

Created tag drjava-beta-20060610-0349

Fixed Retroweaver error (replaced Arrays.toString with Arrays.asList().toString); commented out broken ToolsJarClassLoaderTest, to be fixed later