DrJava Legacy SVN Repository

Added import, export, drag-and-drop and remote operation for saved external processes.

This revision incorporates a refactored browser history that
separatess the browser history manager and browser document regions
from the other forms of region managers and regions in DrJava.
The following files were modified or added:

A src/edu/rice/cs/drjava/model/BrowserHistoryManager.java
M src/edu/rice/cs/drjava/model/GlobalModelTestCase.java
M src/edu/rice/cs/drjava/model/GlobalModel.java
A src/edu/rice/cs/drjava/model/DocumentRegionTest.java
A src/edu/rice/cs/drjava/model/DummyDocumentRegion.java
M src/edu/rice/cs/drjava/model/MovingDocumentRegion.java
A src/edu/rice/cs/drjava/model/EnhancedDocumentRegion.java
M src/edu/rice/cs/drjava/model/SimpleDocumentRegion.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
A src/edu/rice/cs/drjava/model/BrowserDocumentRegion.java
M src/edu/rice/cs/drjava/model/OpenDefinitionsDocument.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/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/FindResultsPanel.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java
M src/edu/rice/cs/util/text/SwingDocument.java
M src/edu/rice/cs/util/swing/HighlightManager.java

Last edited document is made active document again on project load.

If a document is untitled, the file is null; this had to
be taken into consideration when performing the read-only
check.

Added option to overwrite read-only source and project files.
Changed DrJava so it actually terminates, instead of hangs,
if it is started with the -help argument.
Added checks to make sure all references in interactionEnded
are non-null, in an attempt to fix bug [ 1938268 ].

Added test cases for bookmarks, and moved logic for
toggling bookmarks from MainFrame into AbstractGlobalModel.

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

This revision corrects a bug in the bookmark action in MainFrame and
slightly cleans up the browser history code. We need better unit
tests for bookmarks.

The following files were modified.

M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/config/KeyStrokeOption.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/DefinitionsPane.java

Allowing read-only source files to be overwritten.
Still need to do the same for project files and other files.

This revision extends support for recent document navigation to the tabbed (interactions) pane. It also cleans up comment formatting in many files. The following files were modified:

M src/edu/rice/cs/drjava/IndentFiles.java
M src/edu/rice/cs/drjava/model/debug/DebugStackData.java
M src/edu/rice/cs/drjava/model/debug/DebugWatchData.java
M src/edu/rice/cs/drjava/model/debug/DebugWatchDataTest.java
M src/edu/rice/cs/drjava/model/debug/DebugThreadData.java
M src/edu/rice/cs/drjava/model/debug/DebugTestCase.java
M src/edu/rice/cs/drjava/model/debug/Debugger.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDAThreadData.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDADebugger.java
M src/edu/rice/cs/drjava/model/debug/jpda/DebugTest.java
M src/edu/rice/cs/drjava/model/debug/jpda/PendingRequestManager.java
M src/edu/rice/cs/drjava/model/debug/jpda/DebugContextTest.java
M src/edu/rice/cs/drjava/model/debug/jpda/Step.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDAStackData.java
M src/edu/rice/cs/drjava/model/JarJDKToolsLibrary.java
M src/edu/rice/cs/drjava/model/GlobalModel.java
M src/edu/rice/cs/drjava/model/AlreadyOpenException.java
M src/edu/rice/cs/drjava/model/DummyOpenDefDocTest.java
M src/edu/rice/cs/drjava/model/cache/DocumentCacheTest.java
M src/edu/rice/cs/drjava/model/GlobalModelCompileSuccessTest.java
M src/edu/rice/cs/drjava/model/DocumentClosedException.java
M src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlusMultilinePreserveTest.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionStartingNewStmtTest.java
M src/edu/rice/cs/drjava/model/definitions/indent/ActionStartStmtOfBracePlusTest.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionExistsCharInStmt.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionExistsCharInStmtTest.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineStartsWithTest.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionNewParenPhraseTest.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionLineContains.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionLineContainsTest.java
M src/edu/rice/cs/drjava/model/definitions/indent/ActionDoNothingTest.java
M src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlusMultiline.java
M src/edu/rice/cs/drjava/model/definitions/indent/IndentRulesTestCase.java
M src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlusBackupTest.java
M src/edu/rice/cs/drjava/model/definitions/CommentTest.java
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocumentTest.java
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/SingleQuoteTest.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/GapTest.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/HighlightStatus.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedToken.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelComment.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/AbstractReducedModel.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/BackSlashTest.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/BraceTest.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelDeleteTest.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/MixedQuoteTest.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/BraceReduction.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelTest.java
M src/edu/rice/cs/drjava/model/definitions/NoSuchDocumentException.java
M src/edu/rice/cs/drjava/model/definitions/IndentTest.java
M src/edu/rice/cs/drjava/model/definitions/IndentHelperTest.java
M src/edu/rice/cs/drjava/model/GlobalModelCompileSuccessOptionsTest.java
M src/edu/rice/cs/drjava/model/ClassAndInterfaceFinder.java
M src/edu/rice/cs/drjava/model/GlobalEventNotifier.java
M src/edu/rice/cs/drjava/model/junit/JUnitError.java
M src/edu/rice/cs/drjava/model/junit/JUnitErrorModelTest.java
M src/edu/rice/cs/drjava/model/RegionManager.java
M src/edu/rice/cs/drjava/model/FindResult.java
M src/edu/rice/cs/drjava/model/EventNotifierTest.java
M src/edu/rice/cs/drjava/model/repl/InteractionsModelCallback.java
M src/edu/rice/cs/drjava/model/repl/HistoryTest.java
M src/edu/rice/cs/drjava/model/repl/InteractionsScriptModel.java
M src/edu/rice/cs/drjava/model/repl/InteractionsEditorKit.java
M src/edu/rice/cs/drjava/model/repl/newjvm/InterpreterJVMRemoteI.java
M src/edu/rice/cs/drjava/model/repl/newjvm/MainJVMRemoteI.java
M src/edu/rice/cs/drjava/model/repl/newjvm/NewJVMTest.java
M src/edu/rice/cs/drjava/model/repl/RMIInteractionsModel.java
M src/edu/rice/cs/drjava/model/repl/SimpleInteractionsModel.java
M src/edu/rice/cs/drjava/model/GlobalModelListener.java
M src/edu/rice/cs/drjava/model/javadoc/JavadocModel.java
M src/edu/rice/cs/drjava/model/javadoc/DefaultJavadocModel.java
M src/edu/rice/cs/drjava/model/javadoc/JavadocListener.java
M src/edu/rice/cs/drjava/model/JDKToolsLibrary.java
M src/edu/rice/cs/drjava/model/FinalizationEvent.java
M src/edu/rice/cs/drjava/model/compiler/DefaultCompilerModel.java
M src/edu/rice/cs/drjava/model/compiler/CompilerErrorModel.java
M src/edu/rice/cs/drjava/model/compiler/CompilerOptions.java
M src/edu/rice/cs/drjava/model/compiler/CompilerModel.java
M src/edu/rice/cs/drjava/model/FindReplaceMachine.java
M src/edu/rice/cs/drjava/model/ClassAndInterfaceFinderTest.java
M src/edu/rice/cs/drjava/model/GlobalIndentTest.java
M src/edu/rice/cs/drjava/model/print/PagePrinter.java
M src/edu/rice/cs/drjava/model/print/DrJavaBook.java
M src/edu/rice/cs/drjava/model/SingleDisplayModel.java
M src/edu/rice/cs/drjava/model/DJDocument.java
M src/edu/rice/cs/drjava/model/FinalizationListener.java
M src/edu/rice/cs/drjava/RemoteControlServer.java
M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/config/SavableConfiguration.java
M src/edu/rice/cs/drjava/config/SavableConfigurationTest.java
M src/edu/rice/cs/drjava/config/ForcedChoiceOptionTest.java
M src/edu/rice/cs/drjava/config/ForcedChoiceOption.java
M src/edu/rice/cs/drjava/config/BooleanOption.java
M src/edu/rice/cs/drjava/config/BooleanOptionTest.java
M src/edu/rice/cs/drjava/config/VectorOption.java
M src/edu/rice/cs/drjava/DependenciesTest.java
M src/edu/rice/cs/drjava/RemoteControlClient.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/HelpFrame.java
M src/edu/rice/cs/drjava/ui/DrJavaErrorPopup.java
M src/edu/rice/cs/drjava/ui/RecentFileManager.java
M src/edu/rice/cs/drjava/ui/HTMLFrame.java
M src/edu/rice/cs/drjava/ui/JavadocFrame.java
M src/edu/rice/cs/drjava/ui/DebugPanel.java
M src/edu/rice/cs/drjava/ui/ErrorPanel.java
M src/edu/rice/cs/drjava/ui/DirectoryFilter.java
M src/edu/rice/cs/drjava/ui/predictive/PredictiveInputModel.java
M src/edu/rice/cs/drjava/ui/predictive/PredictiveInputFrame.java
M src/edu/rice/cs/drjava/ui/config/LabelComponent.java
M src/edu/rice/cs/drjava/ui/config/VectorClassnameOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/IntegerOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/VectorOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/VectorFileOptionComponentTest.java
M src/edu/rice/cs/drjava/ui/config/ToolbarOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
M src/edu/rice/cs/drjava/ui/config/StringOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/FontOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/ForcedChoiceOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/ColorOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/FileOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/BooleanOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/OptionComponent.java
M src/edu/rice/cs/drjava/ui/config/KeyStrokeOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/ButtonComponent.java
M src/edu/rice/cs/drjava/ui/InteractionsHistoryFilter.java
M src/edu/rice/cs/drjava/ui/InsertVariableDialog.java
M src/edu/rice/cs/drjava/ui/JavadocErrorPanel.java
M src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
M src/edu/rice/cs/drjava/ui/InteractionsScriptController.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java
M src/edu/rice/cs/drjava/ui/LineEnumRule.java
M src/edu/rice/cs/drjava/ui/QuickStartFrame.java
M src/edu/rice/cs/drjava/ui/InteractionsController.java
M src/edu/rice/cs/drjava/ui/JUnitPanel.java
M src/edu/rice/cs/drjava/ui/DrJavaErrorWindow.java
M src/edu/rice/cs/drjava/ui/ReverseHighlighter.java
M src/edu/rice/cs/drjava/ui/DrJavaScrollableDialog.java
M src/edu/rice/cs/util/FileOpsTest.java
M src/edu/rice/cs/util/text/EditDocumentException.java
M src/edu/rice/cs/util/docnavigation/IDocumentNavigatorAlgo.java
M src/edu/rice/cs/util/docnavigation/JListSortNavigatorTest.java
M src/edu/rice/cs/util/docnavigation/NodeData.java
M src/edu/rice/cs/util/docnavigation/RootNode.java
M src/edu/rice/cs/util/docnavigation/JTreeSortNavigatorTest.java
M src/edu/rice/cs/util/swing/DelegatingAction.java
M src/edu/rice/cs/util/swing/ScrollableDialog.java
M src/edu/rice/cs/util/swing/AsyncCompletionArgs.java
M src/edu/rice/cs/util/swing/FontChooser.java
M src/edu/rice/cs/util/swing/DisplayManager.java
M src/edu/rice/cs/util/swing/HighlightManagerTest.java
M src/edu/rice/cs/util/swing/ScrollableListSelectionDialogTest.java
M src/edu/rice/cs/util/swing/ScrollableListSelectionDialog.java
M src/edu/rice/cs/util/swing/FileDisplay.java
M src/edu/rice/cs/util/swing/BorderlessScrollPane.java
M src/edu/rice/cs/util/swing/RightClickMouseAdapter.java
M src/edu/rice/cs/util/swing/ScrollableListDialogTest.java
M src/edu/rice/cs/util/swing/ScrollableListDialog.java
M src/edu/rice/cs/util/ReaderWriterLockTest.java
M src/edu/rice/cs/util/ReaderWriterLock.java
M src/edu/rice/cs/util/BidirectionalHashMapTest.java
M src/edu/rice/cs/util/JVMProcessCreator.java
M src/edu/rice/cs/util/ArgumentTokenizerTest.java
M src/edu/rice/cs/util/ArgumentTokenizer.java
M src/edu/rice/cs/util/XMLConfigTest.java
M src/edu/rice/cs/util/XMLConfig.java
M src/edu/rice/cs/util/StringOpsTest.java
M src/edu/rice/cs/util/StringOps.java
M src/edu/rice/cs/util/jar/JarCreationTest.java
M src/edu/rice/cs/util/jar/JarBuilder.java
M src/edu/rice/cs/util/sexp/Atom.java
M src/edu/rice/cs/util/sexp/Tokens.java
M src/edu/rice/cs/util/sexp/TextAtom.java
M src/edu/rice/cs/util/sexp/NumberAtom.java
M src/edu/rice/cs/util/sexp/BoolAtom.java
M src/edu/rice/cs/util/sexp/SExpParserTest.java
M src/edu/rice/cs/util/sexp/SExpParser.java
M src/edu/rice/cs/util/StreamRedirectorTest.java
M src/edu/rice/cs/util/BalancingStreamTokenizer.java
M src/edu/rice/cs/util/newjvm/ExecJVM.java
M src/edu/rice/cs/util/newjvm/ExecJVMTest.java
M src/edu/rice/cs/util/ProcessCreator.java

nThis revision cleans up the structure of some unit tests by adding an
InteractiosController to GlobalModelTestCase. The constructor for
InteractionsConroller creates an InteractiomsPane which is required
for resetting interactios. This revision also cleans up the formatting
of program text in MainFrame.

The following files were modified.

M src/edu/rice/cs/drjava/model/GlobalModelIOTest.java
M src/edu/rice/cs/drjava/model/GlobalModelTestCase.java
M src/edu/rice/cs/drjava/model/DefaultGlobalModel.java
M src/edu/rice/cs/drjava/model/repl/InteractionsDJDocumentTest.java
M src/edu/rice/cs/drjava/model/repl/InteractionsModel.java
M src/edu/rice/cs/drjava/model/AbstractDJDocument.java
M src/edu/rice/cs/drjava/config/PropertyMaps.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/InteractionsPaneTest.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java
M src/edu/rice/cs/drjava/ui/InteractionsController.java