DrJava Legacy SVN Repository

Re-implemented 'test-repeat=n' property in DrJava's build.xml file,
which seems to have been lost when build.xml was re-written.
By specifying '-Dtest-repeat=3' on the Ant command line or
'test-repeat=3' in a property file, Ant will repeat the tests
three times.

AM lib/buildlib/ant-fornum.jar
M build.xml

Added '-Ddrjava-props=xyz' to build.xml file to specify an external
property file. This file is a plain text file with 'name=value'
pairs, one per line. Specifying 'test-spec=util', for example,
has the same effect as specifying '-Dtest-spec=util' on the
command line. It is therefore possible to create several different
property files, each with different properties, and then to invoke
Ant with different properties set simply by using different
property files.

Also added a '-Dtest-halt=true' property (or simply 'test-halt=true'
in a property file) that will make Ant stop after the first JUnit
failure/error encountered. By default, Ant will continue to run
after a failure or error and execute the remaining tests.

All properties can also be set using the ANT_OPTS environment
variable. If, for example, you want to always set the property
'-Dforce-server=true', you can make '-Dforce-server=true' part of
your ANT_OPTS environment variable. Alternatively, you can create
a global Ant property file that contains the line 'force-server=true'
and reference that in the ANT_OPTS environment variable, e.g.
by setting ANT_OPTS to '-Ddrjava-props=~/ant.properties'.

M build.xml

This revision contains:
(i) higher performance code for jumping to entries displayed in a "Find All" pane;
(ii) cosmetic changes to many classes (inserting spaces around == and != and eliminating redundant parentheses).

The following files were modified:

M src/edu/rice/cs/drjava/model/debug/jpda/DocumentDebugAction.java
M src/edu/rice/cs/drjava/model/debug/jpda/PendingRequestManager.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDABreakpoint.java
M src/edu/rice/cs/drjava/model/StaticDocumentRegion.java
M src/edu/rice/cs/drjava/model/repl/InteractionsDocument.java
M src/edu/rice/cs/drjava/model/repl/InteractionsModel.java
M src/edu/rice/cs/drjava/model/compiler/DefaultCompilerModel.java
M src/edu/rice/cs/drjava/model/ClipboardHistoryModel.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/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/CompilerErrorPanel.java
M src/edu/rice/cs/drjava/ui/HTMLFrame.java
M src/edu/rice/cs/drjava/ui/JarOptionsDialog.java
M src/edu/rice/cs/drjava/ui/ErrorPanel.java
M src/edu/rice/cs/drjava/ui/predictive/PredictiveInputFrame.java
M src/edu/rice/cs/drjava/ui/BrowserHistoryPanel.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/AboutDialog.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/DrJavaErrorWindow.java
M src/edu/rice/cs/drjava/ui/DrJavaErrorHandler.java
M src/edu/rice/cs/drjava/ui/AbstractConsoleController.java
M src/edu/rice/cs/drjava/ui/ClipboardHistoryFrame.java
M src/edu/rice/cs/util/FileOps.java
M src/edu/rice/cs/util/docnavigation/JListNavigator.java
M src/edu/rice/cs/util/swing/Utilities.java
M src/edu/rice/cs/util/sexp/Tokens.java

Updated plt.jar and javalanglevels.jar. Added support for logging via edu.rice.cs.plt.debug.DebugUtil in the build script, along with a few other configurable options (see ant help)

Updated plt.jar in javalanglevels

Added AssertEmptyLog and PopupLog; modified log interface to support an optional message with value logging, and null values as Throwables; added package edu.rice.cs.plt.swing and class SwingUtil; DebugUtil logs are automatically initialized based on system properties

Added a version() method to the compiler adapter interface; fixed use of language levels to provide the correct version information

Add plt.jar to Language Levels

Replaced version Strings in Language Levels with JavaVersion objects

Updated platform.jar to rev 4134