DrJava Legacy SVN Repository

Nested the classes in src/edu/rice/cs/util/sexp/Tokens.java to prevent needless recompilation

Updated OS X wrapper; now contains version number and runs as a Universal application.

Fixed the bug in testing when non-source files are open. DrJava now only confirms that files with the extensions ".java", ".dj0", ".dj1", and ".dj2" have been compiled before running junit on TestCase classes. Moved the methods in GlobalModelNaming to the interface OpenDefinitionsDocument and its implementation as the innner class ConcreteOpenDefDoc (within AbstractGlobalModel and DefaultGlobalModel). The class GlobalModelNaming is no longer used and can be removed.

Added support for listing the files selected but not compiled by a compilation command. These listed files have names that do not end in a DrJava source file extension, namely .drjava, .dj0, dj1, dj2.

Added some code for the asynchronous tasking framework. This is a rough draft and is open for change

made a copy

Disabled breakpoints are now highlighted with a different color (dark red).
The breakpoints panel labels disabled breakpoints as "(disabled)".

Added dark red color for disabled breakpoints.

Fixed "shifting breakpoint highlight" bug:
- Position objects are wrapped in WrappedPositions.
- A DefinitionsDocument remembers all WrappedPositions it creates
using a LinkedList of WeakReferences.
- When a document is kicked out of the cache, the DDReconstructor
stores the WrappedPositions and their current indices in a
WeakHashMap.
- When a document is restored, the DDReconstructor re-creates
the Position objects and updates all WrappedPositions.

Added "Scan Class Files after Each Compile" option:
- This allows auto-completion even of inner class names.

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/definitions/DefinitionsDocument.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/FileGroupingState.java
M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/predictive/PredictiveInputFrame.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java

(1) Fixed a bug in the paths displayed for files in the navigation pane;
the paths were relative to the project file parent rather than the project
root. They are now relative to the project root
(2) Added support for a "Save Project As ..." command. Only a new project file is saved; the source tree is not moved or copied.
(3) Changed the format of project (.pjt) files to store paths for the files
in the source tree relative to the source root rather than the project file
parent. The old file format is still supported. The two formats are distinguished by the name of the property given the project root. It is "proj-root" in the old format and "proj-root-and-base" in the new format. In the new format, this property is mandatory in every project file.