DrJava Legacy SVN Repository

Added plt.text.ArgumentParser to handle command-line arguments. Added methods to IterUtil to support conversion between tuples and iterables. Added support to IOUtil.extensionFilePredicate() for an additional predicate (making it easy to search for just *files* or just *directories* with the given extension).

The revision contains a few more small revisions to ModelList in the
reduced model.

The following classes were revised:

M src/edu/rice/cs/drjava/model/definitions/reducedmodel/ModelListTest.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/ModelList.java

Vastly improved the speed of global search. Even though we had already made optimized it to call getText without building the document, the getDocument method was still being called implicitly in several places. These have been either removed or modified to not call the getDocument on all files, but it still needs to do so on files where it found matches.
This revision is *expirimental*, as it involved replacing a Position object with an integer for the location of the match. This may break some procedures with find and replace, or other operations, but it did pass the unit tests and seems to work properly.

M src/edu/rice/cs/drjava/model/FindReplaceMachine.java

This revision contains a very minor clean up of some of the code in
the reduced model. The modified files include:

M src/edu/rice/cs/drjava/model/definitions/reducedmodel/ModelListTest.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/ModelList.java

Cleaned up and fixed JavadocModel and related code. The JavadocModel is now produced by a JDKToolsLibrary, allowing it to be used with an arbitrary tools.jar file (not necessarily on the current class path). Moved Javadoc-related classes into a javadoc package. Updated plt.jar.

Added methods to ConcurrentUtil to support handling a process's streams; added containsAny() and containsAll() to TextUtil

Moved JUnit dialog positioning code from the close handler to the open handler.

Fixed the JUnitPanel so that the Close button on the stack trace display actually closed the window.

Added a "benchmark" target

DrJava will now remember whether it is maxamized or not and return to that state on start-up.

Files modified:
M ui/MainFrame.java
M config/OptionConstants.java