DrJava Legacy SVN Repository

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

This revision simply includes an added file (FileRegion.java) that was
inadvertently omitted in the previous commit.

The only file changed or added by this commit is:

A model/FileRegion.java

This revision regularizes the treatment of RegionsTreePanels so that
FindResultsPanels, the BookmarksPanel, and the BreakpointsPanel behave
similarly. Bookmark region labels now have exactly the same format
(including context) as FindResults labels. This revision also attempts
to keep the overhead of updating a large FindResultsPanel for a large file
reasonably low.

The following flles were modified:

M src/edu/rice/cs/drjava/model/debug/NoDebuggerAvailable.java
M src/edu/rice/cs/drjava/model/debug/Debugger.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDADebugger.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDABreakpoint.java
M src/edu/rice/cs/drjava/model/GlobalModel.java
M src/edu/rice/cs/drjava/model/DocumentRegionTest.java
D src/edu/rice/cs/drjava/model/HighlightedRegion.java
M src/edu/rice/cs/drjava/model/DefaultGlobalModel.java
M src/edu/rice/cs/drjava/model/DummyDocumentRegion.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/Region.java
M src/edu/rice/cs/drjava/model/GlobalModelOtherTest.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/model/OpenDefinitionsDocument.java
M src/edu/rice/cs/drjava/project/ProjectFileIR.java
M src/edu/rice/cs/drjava/project/ProjectFileParser.java
M src/edu/rice/cs/drjava/project/XMLProjectFileParser.java
M src/edu/rice/cs/drjava/project/ProjectProfile.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/BrowserHistoryPanel.java
M src/edu/rice/cs/drjava/ui/BreakpointsPanel.java
M src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
M src/edu/rice/cs/drjava/ui/FindResultsPanel.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java
M src/edu/rice/cs/drjava/ui/BookmarksPanel.java
M src/edu/rice/cs/util/StringOps.java

Created tag drjava-beta-20080820-r4639

This revision simplifies and rationalizes the treatment of regions in
tabbed panels by forcing regions to be disjoint and ordering them
using the pair [end, start]. In addition, the bookmark tab
automatically opens and closes when it is populated and emptied,
respectively. The display of matching text after editing stills needs
to be improved and the display of bookmarks should include enclosing
text just as it does in FindResultsPanels.

The following files were modified:

M src/edu/rice/cs/drjava/model/BrowserHistoryManager.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDABreakpoint.java
M src/edu/rice/cs/drjava/model/DocumentRegionTest.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/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/model/DefaultLightWeightParsingControl.java
M src/edu/rice/cs/drjava/model/GlobalModelOtherTest.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/TabbedPanel.java
M src/edu/rice/cs/drjava/ui/BreakpointsPanel.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
M src/edu/rice/cs/drjava/ui/BookmarksPanel.java