DrJava Legacy SVN Repository

This revision fixes a concurrent modication bug (due to silly fail-fast iterators in java.util) in ConcreteRegionManager (regrettably by copying the result of a call on tailSet(...). The revision also performs some cleanup of code idiosyncracies introduced when we used explicit read/write locking on documents.

The following files were modified.

M src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevStmtPlus.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineStartsWithSkipComments.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineEmptyOrEnterPress.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineEmpty.java
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
M src/edu/rice/cs/drjava/model/ConcreteRegionManager.java
M src/edu/rice/cs/drjava/model/AbstractDJDocument.java
M src/edu/rice/cs/drjava/model/DummyOpenDefDoc.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/InteractionsPane.java
M src/edu/rice/cs/drjava/ui/DefinitionsPane.java
M src/edu/rice/cs/util/text/SwingDocument.java

Fixes NextGen and xajavac djapps to work on Windows machines
with spaces in file names.
Also adds an "installation successful" notification when
djapps are dragged and dropped onto DrJava.

M drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
M djapp/nextgen2/nextgen2.djapp
M djapp/nextgen2/src/process.djapp
M djapp/xajavac/src/process.djapp
M djapp/xajavac/xajavac.djapp

Added quoting options for file and file list properties.
Added a search-and-replace property for text.

M src/edu/rice/cs/drjava/config/FileListProperty.java
M src/edu/rice/cs/drjava/config/FileProperty.java
M src/edu/rice/cs/drjava/config/DrJavaPropertySetup.java
M src/edu/rice/cs/drjava/config/RecursiveFileListProperty.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/util/BalancingStreamTokenizerTest.java

This revision fixes some lingering bugs in the updating of FindResultsPanels.

The following files were modified:

M src/edu/rice/cs/drjava/model/debug/jpda/JPDABreakpoint.java
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
M src/edu/rice/cs/drjava/model/MovingDocumentRegion.java
M src/edu/rice/cs/drjava/model/RegionManager.java
M src/edu/rice/cs/drjava/model/ConcreteRegionManager.java
M src/edu/rice/cs/drjava/model/AbstractDJDocument.java
M src/edu/rice/cs/drjava/model/DocumentRegion.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/model/OrderedDocumentRegion.java
M src/edu/rice/cs/drjava/ui/MainFrame.java

This revision suppresses two new unchecked warnings that were created
by recent revisions in MainFrame.java and AbstractGlobalModel.java.

The following files were changed:

M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/ui/MainFrame.java

Added NextGen and xajavac DjApps. Drag-and-drop the *.djapp files
onto DrJava, and a new external process will appear in Tools/
External Processes.
nextgen2.djapp uses the NextGen compiler to provide improved
support for generics without erasure.
xajavac.djapp supports Java annotations with subtyping.

This revision correct some bugs in the deletion of regions, closing of
tabbed panels, and the updating of JTree nodes in tabbed panels.

The following files were modified:

M src/edu/rice/cs/drjava/model/debug/jpda/JPDABreakpoint.java
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
M src/edu/rice/cs/drjava/model/MovingDocumentRegion.java
M src/edu/rice/cs/drjava/model/RegionManager.java
M src/edu/rice/cs/drjava/model/ConcreteRegionManager.java
M src/edu/rice/cs/drjava/model/DocumentRegion.java
M src/edu/rice/cs/drjava/model/DummyOpenDefDoc.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/BrowserDocumentRegion.java
M src/edu/rice/cs/drjava/model/OrderedDocumentRegion.java
M src/edu/rice/cs/drjava/model/IDocumentRegion.java
M src/edu/rice/cs/drjava/ui/MainFrame.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/FindResultsPanel.java

Added ${and}, ${or}, and ${not} properties.

M src/edu/rice/cs/drjava/config/UnaryOpProperty.java
M src/edu/rice/cs/drjava/config/DrJavaPropertySetup.java

Made some properties for external processes eager.

M src/edu/rice/cs/drjava/ui/MainFrame.java

Added ${echo} property to allow cross-platform text output.
Improved error reporting if external process could not be executed.
Fixed one Java 1.4 incompatibility in RegionsTreePanel.java.
Removed some debug statements.

M src/edu/rice/cs/drjava/config/DrJavaPropertySetup.java
M src/edu/rice/cs/drjava/ui/ExternalProcessPanel.java
M src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
M src/edu/rice/cs/drjava/ui/ExecuteExternalDialog.java
M src/edu/rice/cs/util/FileOps.java
M src/edu/rice/cs/util/ProcessChain.java
A src/edu/rice/cs/util/JoinInputStream.java
M src/edu/rice/cs/util/GeneralProcessCreator.java
M src/edu/rice/cs/util/ProcessSequence.java
M src/edu/rice/cs/util/ProcessCreator.java