DrJava Legacy SVN Repository

Changed keyboard shortcut for Debug mode to MASK + D, instead of just
D.

Added DrJavaProperties and PropertyMaps instead of a Map of
Properties. These DrJavaProperties can be lazy and delay
computationally intensive tasks like that of finding all compiled
class files until actually necessary. In the "Preview", they may
display stale values.

Two basic categories existed before, "Java" with the
System.getProperties, and "Config" with the values of the DrJava
configuration. The "Config" category was previously named "DrJava",
but I thought "Config" was a better name. All the entries in "Config"
start with "config.". The entries in "Java" have the names as
specified by Sun.

A new category has been added, "DrJava", with just a few sample
variables. One of them is "drjava.current.time.millis", which contains
the current time in milliseconds since the beginning of the epoche --
useless, but a good first test.

"drjava.current.file" contains the currently open document as an
absolute path.

"drjava.all.files" contains all open files, separated by
File.pathSeparator. "drjava.project.files", "drjava.included.files"
and "drjava.external.files" do the same for project files, external
files that are saved with the project, and files that are open but not
part of the project.

The same "drjava.*.files" properties exist as "drjava.*.files.spaces",
but here, a space is used to separate the files.

Properties can listen to each other to find out when their values have
been invalidated. There is a debug mechanism in place that prevents
infinite loops.

These are only some very basic sample properties, and we need lots
more, and we need to make sure that we invalidate the values of the
properties in all the right places, but it's a good start.

On a Linux system, for example, try opening a project and then run an
external process with the command line:

tar cfvz test.tar.gz ${drjava.all.files.spaces}

It will create a tar file with all the source files currently open.

Not bad, eh? Please help me figure out what other properties are
needed, and how we can easily make them relative to other directories,
etc.

This is a massive commit, with far-reaching changes. Please
update your working copy of DrJava to the newest revision and
test the changes, the new features, and also the old ones to
make sure I haven't broken anything.

Thanks!

M src/edu/rice/cs/drjava/config/OptionConstants.java
A src/edu/rice/cs/drjava/config/DrJavaProperty.java
A src/edu/rice/cs/drjava/config/JavaSystemProperty.java
A src/edu/rice/cs/drjava/config/PropertyMaps.java
A src/edu/rice/cs/drjava/config/ConfigProperty.java
A src/edu/rice/cs/drjava/config/EagerProperty.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/InsertVariableDialog.java
M src/edu/rice/cs/drjava/ui/ExecuteExternalDialog.java
M src/edu/rice/cs/util/JVMProcessCreator.java
M src/edu/rice/cs/util/StringOps.java
M src/edu/rice/cs/util/StringOpsTest.java
M src/edu/rice/cs/util/ProcessCreator.java

Show an hourglass cursor before indenting.

Added dialog to edit external processes (change command line,
rename, working directory; move up or down; remove).
Restructured the Tools menu to make it shorter.
Improved "modal"-ness of dialogs.

M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
A src/edu/rice/cs/drjava/ui/EditExternalDialog.java
M src/edu/rice/cs/drjava/ui/JarOptionsDialog.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
M src/edu/rice/cs/drjava/ui/InsertVariableDialog.java
M src/edu/rice/cs/drjava/ui/ExecuteExternalDialog.java

Refactored the query cache for AbstractDJDocument to spped up block indenting. Indenting Mainframe.java now takes a little over a minute on a 2Ghz Core Duo MacBook. The following files were modified:

M src/edu/rice/cs/drjava/model/definitions/indent/Indenter.java
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelControl.java
M src/edu/rice/cs/drjava/model/repl/History.java
M src/edu/rice/cs/drjava/model/repl/DefaultInteractionsModel.java
M src/edu/rice/cs/drjava/model/AbstractDJDocument.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/model/DJDocument.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/DefinitionsPane.java
M src/edu/rice/cs/util/text/ConsoleDocumentInterface.java
M src/edu/rice/cs/util/newjvm/AbstractMasterJVM.java

Choice of backslash as escape character conflicted on Windows.
Changed to pipe '|'.
M src/edu/rice/cs/drjava/config/VectorOption.java
M src/edu/rice/cs/drjava/config/VectorOptionTest.java

Santizes custom javadoc parameters to remove access level tags

External commands can now be saved to the main menu.
TODO: Edit function to rename, edit, and remove saved items.

Added lots of stuff for external processes.

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/ExternalProcessPanel.java
M src/edu/rice/cs/drjava/ui/InsertVariableDialog.java
M src/edu/rice/cs/drjava/ui/ExecuteExternalDialog.java
M src/edu/rice/cs/util/JVMProcessCreator.java
M src/edu/rice/cs/util/StringOps.java
M src/edu/rice/cs/util/ProcessCreator.java

Changed the way VectorOptions are represented. Before, a VectorOption
did not allow the empty vector, it did not allow empty strings as elements,
and the strings could not contain the delimiter.
Delimiter (default: ",") gets escaped as "\,".
Backslash "\" gets escaped as "\\".
The empty string "" now represents the empty vector (previously "[]").
The string "[]" now represents a vector with one element, the empty string.
"[,]" is a vector with two empty strings.
"[\\,\,]" is a vector with two strings, "\" and ",".

M src/edu/rice/cs/drjava/config/VectorOption.java
M src/edu/rice/cs/drjava/config/VectorOptionTest.java

PLT Utilities: Bug fixes and GUI improvements/code cleanup for TreeLog. Implemented a number of simple utility methods in SwingUtil in order to reduce boilerplate GUI code.