Commit 600e7f2
committed
This revision may have fixed a bug in Find/Replace by tagging all of
the fields in FindReplaceMachine as final or volatile even though they
are private. There are listeners that close over code in the class as
well as the possibility that multiple thread have access to the class
and thereby its methods. I tried some use-case tests on the resulting
build and "Replace All" worked in all the scenarios I tried. Is is
really fixed? Time will tell.
The following classes were modified, deleted, or added:
modified: lib/dynamicjava-base.jar
modified: lib/javalanglevels-base.jar
modified: lib/platform.jar
modified: src/edu/rice/cs/drjava/CommandLineTest.java
modified: src/edu/rice/cs/drjava/ConfigFileTest.java
modified: src/edu/rice/cs/drjava/DependenciesTest.java
modified: src/edu/rice/cs/drjava/DrJava.java
modified: src/edu/rice/cs/drjava/DrJavaRestart.java
modified: src/edu/rice/cs/drjava/DrJavaRoot.java
modified: src/edu/rice/cs/drjava/DrJavaTestCase.java
modified: src/edu/rice/cs/drjava/IndentFiles.java
modified: src/edu/rice/cs/drjava/MainController.java
modified: src/edu/rice/cs/drjava/RemoteControlClient.java
modified: src/edu/rice/cs/drjava/RemoteControlServer.java
modified: src/edu/rice/cs/drjava/config/BinaryOpProperty.java
modified: src/edu/rice/cs/drjava/config/BooleanOption.java
modified: src/edu/rice/cs/drjava/config/BooleanOptionTest.java
modified: src/edu/rice/cs/drjava/config/ClassPathOption.java
modified: src/edu/rice/cs/drjava/config/ColorOption.java
modified: src/edu/rice/cs/drjava/config/ColorOptionTest.java
modified: src/edu/rice/cs/drjava/config/ConfigOptionListeners.java
modified: src/edu/rice/cs/drjava/config/ConfigProperty.java
modified: src/edu/rice/cs/drjava/config/Configuration.java
modified: src/edu/rice/cs/drjava/config/ConstantProperty.java
modified: src/edu/rice/cs/drjava/config/DefaultOptionMap.java
modified: src/edu/rice/cs/drjava/config/DrJavaActionProperty.java
modified: src/edu/rice/cs/drjava/config/DrJavaProperty.java
modified: src/edu/rice/cs/drjava/config/DrJavaPropertySetup.java
modified: src/edu/rice/cs/drjava/config/DrJavaPropertySetupTest.java
modified: src/edu/rice/cs/drjava/config/EagerProperty.java
modified: src/edu/rice/cs/drjava/config/FileConfiguration.java
modified: src/edu/rice/cs/drjava/config/FileListProperty.java
modified: src/edu/rice/cs/drjava/config/FileOption.java
modified: src/edu/rice/cs/drjava/config/FileProperty.java
modified: src/edu/rice/cs/drjava/config/FontOption.java
modified: src/edu/rice/cs/drjava/config/FontOptionTest.java
modified: src/edu/rice/cs/drjava/config/ForcedChoiceOption.java
modified: src/edu/rice/cs/drjava/config/ForcedChoiceOptionTest.java
modified: src/edu/rice/cs/drjava/config/FormatStrategy.java
modified: src/edu/rice/cs/drjava/config/IntegerOption.java
modified: src/edu/rice/cs/drjava/config/IntegerOptionTest.java
modified: src/edu/rice/cs/drjava/config/JavaSystemProperty.java
modified: src/edu/rice/cs/drjava/config/KeyStrokeOption.java
modified: src/edu/rice/cs/drjava/config/KeyStrokeOptionTest.java
modified: src/edu/rice/cs/drjava/config/LongOption.java
modified: src/edu/rice/cs/drjava/config/LongOptionTest.java
modified: src/edu/rice/cs/drjava/config/MutableFileProperty.java
modified: src/edu/rice/cs/drjava/config/NonNegativeIntegerOption.java
modified: src/edu/rice/cs/drjava/config/NonNegativeIntegerOptionTest.java
modified: src/edu/rice/cs/drjava/config/Option.java
modified: src/edu/rice/cs/drjava/config/OptionConstants.java
modified: src/edu/rice/cs/drjava/config/OptionEvent.java
modified: src/edu/rice/cs/drjava/config/OptionListener.java
modified: src/edu/rice/cs/drjava/config/OptionMap.java
modified: src/edu/rice/cs/drjava/config/OptionMapLoader.java
modified: src/edu/rice/cs/drjava/config/OptionMapLoaderTest.java
modified: src/edu/rice/cs/drjava/config/OptionParseException.java
modified: src/edu/rice/cs/drjava/config/OptionParser.java
modified: src/edu/rice/cs/drjava/config/ParseStrategy.java
modified: src/edu/rice/cs/drjava/config/PropertyMaps.java
modified: src/edu/rice/cs/drjava/config/QuaternaryOpProperty.java
modified: src/edu/rice/cs/drjava/config/RecursiveFileListProperty.java
modified: src/edu/rice/cs/drjava/config/ResourceBundleConfiguration.java
modified: src/edu/rice/cs/drjava/config/SavableConfiguration.java
modified: src/edu/rice/cs/drjava/config/SavableConfigurationTest.java
modified: src/edu/rice/cs/drjava/config/StringOption.java
modified: src/edu/rice/cs/drjava/config/StringOptionTest.java
modified: src/edu/rice/cs/drjava/config/TernaryOpProperty.java
modified: src/edu/rice/cs/drjava/config/UnaryOpProperty.java
modified: src/edu/rice/cs/drjava/config/VariableProperty.java
modified: src/edu/rice/cs/drjava/config/VectorOption.java
modified: src/edu/rice/cs/drjava/config/VectorOptionTest.java
modified: src/edu/rice/cs/drjava/model/AbstractDJDocument.java
modified: src/edu/rice/cs/drjava/model/AbstractDJDocumentTest.java
modified: src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
modified: src/edu/rice/cs/drjava/model/AlreadyOpenException.java
modified: src/edu/rice/cs/drjava/model/BrowserDocumentRegion.java
modified: src/edu/rice/cs/drjava/model/BrowserHistoryManager.java
modified: src/edu/rice/cs/drjava/model/ClassAndInterfaceFinder.java
modified: src/edu/rice/cs/drjava/model/ClassAndInterfaceFinderTest.java
modified: src/edu/rice/cs/drjava/model/ClipboardHistoryModel.java
modified: src/edu/rice/cs/drjava/model/ConcreteRegionManager.java
modified: src/edu/rice/cs/drjava/model/DJDocument.java
modified: src/edu/rice/cs/drjava/model/DJError.java
modified: src/edu/rice/cs/drjava/model/DeadClassLoader.java
modified: src/edu/rice/cs/drjava/model/DefaultGlobalModel.java
modified: src/edu/rice/cs/drjava/model/DefaultLightWeightParsingControl.java
modified: src/edu/rice/cs/drjava/model/DocumentClosedException.java
modified: src/edu/rice/cs/drjava/model/DrJavaFileUtils.java
modified: src/edu/rice/cs/drjava/model/DummyDocumentRegion.java
modified: src/edu/rice/cs/drjava/model/DummyGlobalModel.java
modified: src/edu/rice/cs/drjava/model/DummyGlobalModelListener.java
modified: src/edu/rice/cs/drjava/model/DummyGlobalModelTest.java
modified: src/edu/rice/cs/drjava/model/DummyOpenDefDoc.java
modified: src/edu/rice/cs/drjava/model/DummyOpenDefDocTest.java
modified: src/edu/rice/cs/drjava/model/EventNotifier.java
modified: src/edu/rice/cs/drjava/model/EventNotifierTest.java
modified: src/edu/rice/cs/drjava/model/FileGroupingState.java
modified: src/edu/rice/cs/drjava/model/FileMovedException.java
modified: src/edu/rice/cs/drjava/model/FileSaveSelector.java
modified: src/edu/rice/cs/drjava/model/Finalizable.java
modified: src/edu/rice/cs/drjava/model/FinalizationEvent.java
modified: src/edu/rice/cs/drjava/model/FinalizationListener.java
modified: src/edu/rice/cs/drjava/model/FindReplaceMachine.java
modified: src/edu/rice/cs/drjava/model/FindReplaceMachineTest.java
modified: src/edu/rice/cs/drjava/model/FindResult.java
modified: src/edu/rice/cs/drjava/model/GlobalEventNotifier.java
modified: src/edu/rice/cs/drjava/model/GlobalIndentTest.java
modified: src/edu/rice/cs/drjava/model/GlobalModel.java
modified: src/edu/rice/cs/drjava/model/GlobalModelCompileErrorsTest.java
modified: src/edu/rice/cs/drjava/model/GlobalModelCompileIOTest.java
modified: src/edu/rice/cs/drjava/model/GlobalModelCompileSuccessOptionsTest.java
modified: src/edu/rice/cs/drjava/model/GlobalModelCompileSuccessTest.java
modified: src/edu/rice/cs/drjava/model/GlobalModelCompileSuccessTestCase.java
modified: src/edu/rice/cs/drjava/model/GlobalModelCompileTest.java
modified: src/edu/rice/cs/drjava/model/GlobalModelIOTest.java
modified: src/edu/rice/cs/drjava/model/GlobalModelJUnitTest.java
modified: src/edu/rice/cs/drjava/model/GlobalModelListener.java
modified: src/edu/rice/cs/drjava/model/GlobalModelOtherTest.java
modified: src/edu/rice/cs/drjava/model/GlobalModelTestCase.java
modified: src/edu/rice/cs/drjava/model/IDocumentRegion.java
modified: src/edu/rice/cs/drjava/model/IHighlighted.java
modified: src/edu/rice/cs/drjava/model/ILoadDocuments.java
modified: src/edu/rice/cs/drjava/model/JDKDescriptor.java
modified: src/edu/rice/cs/drjava/model/JDKToolsLibrary.java
modified: src/edu/rice/cs/drjava/model/JarJDKToolsLibrary.java
modified: src/edu/rice/cs/drjava/model/LightWeightParsingControl.java
modified: src/edu/rice/cs/drjava/model/LightWeightParsingListener.java
modified: src/edu/rice/cs/drjava/model/MovingDocumentRegion.java
modified: src/edu/rice/cs/drjava/model/MultiThreadedTestCase.java
modified: src/edu/rice/cs/drjava/model/MultiThreadedTestCaseTest.java
modified: src/edu/rice/cs/drjava/model/OpenDefinitionsDocument.java
modified: src/edu/rice/cs/drjava/model/OrderedDocumentRegion.java
modified: src/edu/rice/cs/drjava/model/Query.java
modified: src/edu/rice/cs/drjava/model/Region.java
modified: src/edu/rice/cs/drjava/model/RegionManager.java
modified: src/edu/rice/cs/drjava/model/RegionManagerListener.java
modified: src/edu/rice/cs/drjava/model/SingleDisplayModel.java
modified: src/edu/rice/cs/drjava/model/SingleDisplayModelTest.java
modified: src/edu/rice/cs/drjava/model/StaticDocumentRegion.java
modified: src/edu/rice/cs/drjava/model/TestDocGetter.java
modified: src/edu/rice/cs/drjava/model/TestDocGetterTest.java
modified: src/edu/rice/cs/drjava/model/cache/DCacheAdapter.java
modified: src/edu/rice/cs/drjava/model/cache/DDReconstructor.java
modified: src/edu/rice/cs/drjava/model/cache/DocumentCache.java
modified: src/edu/rice/cs/drjava/model/cache/DocumentCacheTest.java
modified: src/edu/rice/cs/drjava/model/compiler/CompilerError.java
modified: src/edu/rice/cs/drjava/model/compiler/CompilerErrorModel.java
modified: src/edu/rice/cs/drjava/model/compiler/CompilerErrorModelTest.java
modified: src/edu/rice/cs/drjava/model/compiler/CompilerEventNotifier.java
modified: src/edu/rice/cs/drjava/model/compiler/CompilerInterface.java
modified: src/edu/rice/cs/drjava/model/compiler/CompilerListener.java
modified: src/edu/rice/cs/drjava/model/compiler/CompilerModel.java
modified: src/edu/rice/cs/drjava/model/compiler/CompilerOptions.java
modified: src/edu/rice/cs/drjava/model/compiler/DefaultCompilerModel.java
modified: src/edu/rice/cs/drjava/model/compiler/DummyCompilerListener.java
modified: src/edu/rice/cs/drjava/model/compiler/Javac160FilteringCompiler.java
modified: src/edu/rice/cs/drjava/model/compiler/JavacCompiler.java
modified: src/edu/rice/cs/drjava/model/compiler/LanguageLevelStackTraceMapper.java
modified: src/edu/rice/cs/drjava/model/compiler/NoCompilerAvailable.java
modified: src/edu/rice/cs/drjava/model/coverage/CoverageMetadata.java
modified: src/edu/rice/cs/drjava/model/debug/Breakpoint.java
modified: src/edu/rice/cs/drjava/model/debug/DebugBreakpointData.java
modified: src/edu/rice/cs/drjava/model/debug/DebugEventNotifier.java
modified: src/edu/rice/cs/drjava/model/debug/DebugException.java
modified: src/edu/rice/cs/drjava/model/debug/DebugListener.java
modified: src/edu/rice/cs/drjava/model/debug/DebugModelCallback.java
modified: src/edu/rice/cs/drjava/model/debug/DebugStackData.java
modified: src/edu/rice/cs/drjava/model/debug/DebugTestCase.java
modified: src/edu/rice/cs/drjava/model/debug/DebugThreadData.java
modified: src/edu/rice/cs/drjava/model/debug/DebugWatchData.java
modified: src/edu/rice/cs/drjava/model/debug/DebugWatchDataTest.java
modified: src/edu/rice/cs/drjava/model/debug/Debugger.java
modified: src/edu/rice/cs/drjava/model/debug/LineNotExecutableException.java
modified: src/edu/rice/cs/drjava/model/debug/NoDebuggerAvailable.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/DebugAction.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/DebugContextTest.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/DebugTest.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/DocumentDebugAction.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/EventHandlerThread.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/JPDABreakpoint.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/JPDADebugTestCase.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/JPDADebugger.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/JPDAStackData.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/JPDAThreadData.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/PendingRequestManager.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/Step.java
modified: src/edu/rice/cs/drjava/model/definitions/ClassNameNotFoundException.java
modified: src/edu/rice/cs/drjava/model/definitions/ColoringGlyphPainter.java
modified: src/edu/rice/cs/drjava/model/definitions/ColoringView.java
modified: src/edu/rice/cs/drjava/model/definitions/CommentTest.java
modified: src/edu/rice/cs/drjava/model/definitions/CompoundUndoManager.java
modified: src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
modified: src/edu/rice/cs/drjava/model/definitions/DefinitionsDocumentTest.java
modified: src/edu/rice/cs/drjava/model/definitions/DefinitionsEditorKit.java
modified: src/edu/rice/cs/drjava/model/definitions/DocumentClosedListener.java
modified: src/edu/rice/cs/drjava/model/definitions/DocumentUIListener.java
modified: src/edu/rice/cs/drjava/model/definitions/IndentHelperTest.java
modified: src/edu/rice/cs/drjava/model/definitions/IndentTest.java
modified: src/edu/rice/cs/drjava/model/definitions/InvalidPackageException.java
modified: src/edu/rice/cs/drjava/model/definitions/NoSuchDocumentException.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionBracePlus.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionBracePlusTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionDoNothing.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionDoNothingTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionStartCurrStmtPlus.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlus.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlusMultiline.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlusMultilinePreserve.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlusMultilinePreserveTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlusTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevStmtPlus.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevStmtPlusTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionStartStmtOfBracePlus.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionStartStmtOfBracePlusTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/IndentRule.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/IndentRuleAction.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/IndentRuleQuestion.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/IndentRuleWithTrace.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/IndentRuleWithTraceTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/IndentRulesTestCase.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/Indenter.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionBraceIsCurly.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionBraceIsCurlyTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionBraceIsParenOrBracket.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionBraceIsParenOrBracketTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineEmpty.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineEmptyOrEnterPress.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineEmptyOrEnterPressTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineIsWingComment.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineIsWingCommentTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineStartsWith.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineStartsWithSkipComments.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineStartsWithSkipCommentsTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineStartsWithTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionExistsCharInPrevStmt.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionExistsCharInStmt.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionExistsCharInStmtTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionFollowedByStar.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionHasCharPrecedingOpenBrace.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionHasCharPrecedingOpenBraceTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionInsideComment.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionInsideCommentTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionLineContains.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionLineContainsTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionNewParenPhrase.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionNewParenPhraseTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionPrevLineStartsComment.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionPrevLineStartsCommentTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionPrevLineStartsJavaDocWithText.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionPrevLineStartsWith.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionPrevLineStartsWithTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionStartAfterOpenBrace.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionStartAfterOpenBraceTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionStartingNewStmt.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionStartingNewStmtTest.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/AbstractReducedModel.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/BackSlashTest.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/Brace.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/BraceException.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/BraceInfo.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/BraceInfoTest.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/BraceReduction.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/BraceReductionTestCase.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/BraceTest.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/Free.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/Gap.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/GapTest.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/HighlightStatus.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/IndentInfo.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/InsideBlockComment.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/InsideDoubleQuote.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/InsideLineComment.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/InsideSingleQuote.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/MixedQuoteTest.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/ModelList.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/ModelListTest.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelBrace.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelComment.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelControl.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelDeleteTest.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelState.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelStates.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelTest.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedToken.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/SingleQuoteTest.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/Stutter.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/TokenList.java
modified: src/edu/rice/cs/drjava/model/javadoc/DefaultJavadocModel.java
modified: src/edu/rice/cs/drjava/model/javadoc/JavadocEventNotifier.java
modified: src/edu/rice/cs/drjava/model/javadoc/JavadocException.java
modified: src/edu/rice/cs/drjava/model/javadoc/JavadocListener.java
modified: src/edu/rice/cs/drjava/model/javadoc/JavadocModel.java
modified: src/edu/rice/cs/drjava/model/javadoc/JavadocModelTest.java
modified: src/edu/rice/cs/drjava/model/javadoc/NoJavadocAvailable.java
modified: src/edu/rice/cs/drjava/model/junit/ConcJUnitUtils.java
modified: src/edu/rice/cs/drjava/model/junit/DefaultJUnitModel.java
modified: src/edu/rice/cs/drjava/model/junit/JUnitError.java
modified: src/edu/rice/cs/drjava/model/junit/JUnitErrorModel.java
modified: src/edu/rice/cs/drjava/model/junit/JUnitErrorModelTest.java
modified: src/edu/rice/cs/drjava/model/junit/JUnitEventNotifier.java
modified: src/edu/rice/cs/drjava/model/junit/JUnitListener.java
modified: src/edu/rice/cs/drjava/model/junit/JUnitModel.java
modified: src/edu/rice/cs/drjava/model/junit/JUnitModelCallback.java
modified: src/edu/rice/cs/drjava/model/junit/JUnitTestManager.java
modified: src/edu/rice/cs/drjava/model/junit/JUnitTestRunner.java
modified: src/edu/rice/cs/drjava/model/print/DrJavaBook.java
modified: src/edu/rice/cs/drjava/model/print/DrJavaBookTest.java
modified: src/edu/rice/cs/drjava/model/print/PagePrinter.java
modified: src/edu/rice/cs/drjava/model/repl/DefaultInteractionsModel.java
modified: src/edu/rice/cs/drjava/model/repl/DummyInteractionsListener.java
modified: src/edu/rice/cs/drjava/model/repl/History.java
modified: src/edu/rice/cs/drjava/model/repl/HistoryTest.java
modified: src/edu/rice/cs/drjava/model/repl/InputListener.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsDJDocument.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsDJDocumentTest.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsDocument.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsDocumentTest.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsEditorKit.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsEventNotifier.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsException.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsListener.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsModel.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsModelCallback.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsModelErrorTest.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsModelTest.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsPaneOptions.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsScriptModel.java
modified: src/edu/rice/cs/drjava/model/repl/InterpreterInterruptedException.java
modified: src/edu/rice/cs/drjava/model/repl/JavaInterpreterTest.java
modified: src/edu/rice/cs/drjava/model/repl/RMIInteractionsModel.java
modified: src/edu/rice/cs/drjava/model/repl/SimpleInteractionsModel.java
modified: src/edu/rice/cs/drjava/model/repl/newjvm/ClassPathManager.java
modified: src/edu/rice/cs/drjava/model/repl/newjvm/InterpretResult.java
modified: src/edu/rice/cs/drjava/model/repl/newjvm/InterpreterJVM.java
modified: src/edu/rice/cs/drjava/model/repl/newjvm/InterpreterJVMRemoteI.java
modified: src/edu/rice/cs/drjava/model/repl/newjvm/MainJVM.java
modified: src/edu/rice/cs/drjava/model/repl/newjvm/MainJVMRemoteI.java
modified: src/edu/rice/cs/drjava/model/repl/newjvm/NewJVMTest.java
modified: src/edu/rice/cs/drjava/platform/DefaultPlatform.java
modified: src/edu/rice/cs/drjava/platform/PlatformFactory.java
modified: src/edu/rice/cs/drjava/platform/PlatformSupport.java
modified: src/edu/rice/cs/drjava/project/DocFile.java
modified: src/edu/rice/cs/drjava/project/DocumentInfoGetter.java
modified: src/edu/rice/cs/drjava/project/MalformedProjectFileException.java
modified: src/edu/rice/cs/drjava/project/ProjectFileIR.java
modified: src/edu/rice/cs/drjava/project/ProjectFileParser.java
modified: src/edu/rice/cs/drjava/project/ProjectFileParserFacade.java
modified: src/edu/rice/cs/drjava/project/ProjectProfile.java
modified: src/edu/rice/cs/drjava/project/ProjectTest.java
modified: src/edu/rice/cs/drjava/project/XMLProjectFileParser.java
modified: src/edu/rice/cs/drjava/project/XMLProjectFileParserTest.java
modified: src/edu/rice/cs/drjava/ui/AbortablePanel.java
modified: src/edu/rice/cs/drjava/ui/AboutDialog.java
modified: src/edu/rice/cs/drjava/ui/AbstractConsoleController.java
modified: src/edu/rice/cs/drjava/ui/AbstractDJPane.java
modified: src/edu/rice/cs/drjava/ui/AutoCompletePopup.java
modified: src/edu/rice/cs/drjava/ui/BackgroundColorListener.java
modified: src/edu/rice/cs/drjava/ui/BookmarksPanel.java
modified: src/edu/rice/cs/drjava/ui/BreakpointsPanel.java
modified: src/edu/rice/cs/drjava/ui/ClassPathFilter.java
modified: src/edu/rice/cs/drjava/ui/ClipboardHistoryFrame.java
modified: src/edu/rice/cs/drjava/ui/CommonCloseButton.java
modified: src/edu/rice/cs/drjava/ui/CompilerErrorPanel.java
modified: src/edu/rice/cs/drjava/ui/ConsoleController.java
modified: src/edu/rice/cs/drjava/ui/DebugPanel.java
modified: src/edu/rice/cs/drjava/ui/DefinitionsPane.java
modified: src/edu/rice/cs/drjava/ui/DefinitionsPaneMemoryLeakTest.java
modified: src/edu/rice/cs/drjava/ui/DefinitionsPaneTest.java
modified: src/edu/rice/cs/drjava/ui/DetachedFrame.java
modified: src/edu/rice/cs/drjava/ui/DirectoryFilter.java
modified: src/edu/rice/cs/drjava/ui/DrJavaErrorHandler.java
modified: src/edu/rice/cs/drjava/ui/DrJavaErrorPopup.java
modified: src/edu/rice/cs/drjava/ui/DrJavaErrorWindow.java
modified: src/edu/rice/cs/drjava/ui/DrJavaScrollableDialog.java
modified: src/edu/rice/cs/drjava/ui/DrJavaSurveyPopup.java
modified: src/edu/rice/cs/drjava/ui/EditExternalDialog.java
modified: src/edu/rice/cs/drjava/ui/ErrorCaretListener.java
modified: src/edu/rice/cs/drjava/ui/ErrorPanel.java
modified: src/edu/rice/cs/drjava/ui/ExecuteExternalDialog.java
modified: src/edu/rice/cs/drjava/ui/ExternalProcessPanel.java
modified: src/edu/rice/cs/drjava/ui/FindReplacePanel.java
modified: src/edu/rice/cs/drjava/ui/FindResultsPanel.java
modified: src/edu/rice/cs/drjava/ui/ForegroundColorListener.java
modified: src/edu/rice/cs/drjava/ui/GenerateCustomDrJavaJarFrame.java
modified: src/edu/rice/cs/drjava/ui/HTMLFrame.java
modified: src/edu/rice/cs/drjava/ui/HelpFrame.java
modified: src/edu/rice/cs/drjava/ui/HistorySaveDialog.java
modified: src/edu/rice/cs/drjava/ui/InsertVariableDialog.java
modified: src/edu/rice/cs/drjava/ui/InteractionsController.java
modified: src/edu/rice/cs/drjava/ui/InteractionsHistoryFilter.java
modified: src/edu/rice/cs/drjava/ui/InteractionsPane.java
modified: src/edu/rice/cs/drjava/ui/InteractionsPaneTest.java
modified: src/edu/rice/cs/drjava/ui/InteractionsScriptController.java
modified: src/edu/rice/cs/drjava/ui/InteractionsScriptPane.java
modified: src/edu/rice/cs/drjava/ui/JUnitPanel.java
modified: src/edu/rice/cs/drjava/ui/JarOptionsDialog.java
modified: src/edu/rice/cs/drjava/ui/JavaSourceFilter.java
modified: src/edu/rice/cs/drjava/ui/JavadocDialog.java
modified: src/edu/rice/cs/drjava/ui/JavadocErrorPanel.java
modified: src/edu/rice/cs/drjava/ui/JavadocFrame.java
modified: src/edu/rice/cs/drjava/ui/KeyBindingManager.java
modified: src/edu/rice/cs/drjava/ui/LessPanel.java
modified: src/edu/rice/cs/drjava/ui/LineEnumRule.java
modified: src/edu/rice/cs/drjava/ui/MainFrame.java
modified: src/edu/rice/cs/drjava/ui/MainFrameStatics.java
modified: src/edu/rice/cs/drjava/ui/MainFrameTest.java
modified: src/edu/rice/cs/drjava/ui/NewJavaClassDialog.java
modified: src/edu/rice/cs/drjava/ui/NewVersionPopup.java
modified: src/edu/rice/cs/drjava/ui/PreviewConsoleFrame.java
modified: src/edu/rice/cs/drjava/ui/PreviewDefDocFrame.java
modified: src/edu/rice/cs/drjava/ui/PreviewFrame.java
modified: src/edu/rice/cs/drjava/ui/ProjectAdvancedPropertiesFrame.java
modified: src/edu/rice/cs/drjava/ui/ProjectMenuTest.java
modified: src/edu/rice/cs/drjava/ui/ProjectPropertiesFrame.java
modified: src/edu/rice/cs/drjava/ui/QuickStartFrame.java
modified: src/edu/rice/cs/drjava/ui/RecentDocFrame.java
modified: src/edu/rice/cs/drjava/ui/RecentFileManager.java
modified: src/edu/rice/cs/drjava/ui/RecentFileManagerTest.java
modified: src/edu/rice/cs/drjava/ui/RegionsListPanel.java
modified: src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
modified: src/edu/rice/cs/drjava/ui/ReverseHighlighter.java
modified: src/edu/rice/cs/drjava/ui/SimpleInteractionsWindow.java
modified: src/edu/rice/cs/drjava/ui/SmartSourceFilter.java
modified: src/edu/rice/cs/drjava/ui/SplashScreen.java
modified: src/edu/rice/cs/drjava/ui/TabbedPanel.java
modified: src/edu/rice/cs/drjava/ui/avail/AndGUIAvailabilityActionAdapter.java
modified: src/edu/rice/cs/drjava/ui/avail/AndGUIAvailabilityComponentAdapter.java
modified: src/edu/rice/cs/drjava/ui/avail/AndGUIAvailabilityListener.java
modified: src/edu/rice/cs/drjava/ui/avail/DefaultGUIAvailabilityNotifier.java
modified: src/edu/rice/cs/drjava/ui/avail/GUIAvailabilityListener.java
modified: src/edu/rice/cs/drjava/ui/avail/GUIAvailabilityNotifier.java
modified: src/edu/rice/cs/drjava/ui/avail/OrGUIAvailabilityActionAdapter.java
modified: src/edu/rice/cs/drjava/ui/avail/OrGUIAvailabilityComponentAdapter.java
modified: src/edu/rice/cs/drjava/ui/avail/OrGUIAvailabilityListener.java
modified: src/edu/rice/cs/drjava/ui/config/BooleanOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/BooleanOptionComponentTest.java
modified: src/edu/rice/cs/drjava/ui/config/ButtonComponent.java
modified: src/edu/rice/cs/drjava/ui/config/ColorOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/ColorOptionComponentTest.java
modified: src/edu/rice/cs/drjava/ui/config/ConfigDescriptions.java
modified: src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
modified: src/edu/rice/cs/drjava/ui/config/ConfigPanel.java
modified: src/edu/rice/cs/drjava/ui/config/DirectoryOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/FileOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/FileOptionComponentTest.java
modified: src/edu/rice/cs/drjava/ui/config/FontOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/FontOptionComponentTest.java
modified: src/edu/rice/cs/drjava/ui/config/ForcedChoiceOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/ForcedChoiceOptionComponentTest.java
modified: src/edu/rice/cs/drjava/ui/config/IntegerOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/IntegerOptionComponentTest.java
modified: src/edu/rice/cs/drjava/ui/config/KeyStrokeOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/KeyStrokeOptionComponentTest.java
modified: src/edu/rice/cs/drjava/ui/config/LabelComponent.java
modified: src/edu/rice/cs/drjava/ui/config/OptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/StringOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/VectorAbsRelFileOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/VectorClassnameOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/VectorFileOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/VectorFileOptionComponentTest.java
modified: src/edu/rice/cs/drjava/ui/config/VectorKeyStrokeOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/VectorKeyStrokeOptionComponentTest.java
modified: src/edu/rice/cs/drjava/ui/config/VectorOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/VectorStringOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/coverage/CoverageFrame.java
modified: src/edu/rice/cs/drjava/ui/predictive/PredictiveInputFrame.java
modified: src/edu/rice/cs/drjava/ui/predictive/PredictiveInputModel.java
modified: src/edu/rice/cs/drjava/ui/predictive/PredictiveInputModelTest.java
modified: src/edu/rice/cs/util/AbsRelFile.java
modified: src/edu/rice/cs/util/ArgumentTokenizer.java
modified: src/edu/rice/cs/util/ArgumentTokenizerTest.java
modified: src/edu/rice/cs/util/BalancingStreamTokenizer.java
modified: src/edu/rice/cs/util/BalancingStreamTokenizerTest.java
modified: src/edu/rice/cs/util/DirectorySelector.java
modified: src/edu/rice/cs/util/FileOpenSelector.java
modified: src/edu/rice/cs/util/FileOps.java
modified: src/edu/rice/cs/util/FileOpsTest.java
modified: src/edu/rice/cs/util/GeneralProcessCreator.java
modified: src/edu/rice/cs/util/InputStreamRedirector.java
modified: src/edu/rice/cs/util/JoinInputStream.java
modified: src/edu/rice/cs/util/Log.java
modified: src/edu/rice/cs/util/LogTest.java
modified: src/edu/rice/cs/util/MD5ChecksumProperties.java
modified: src/edu/rice/cs/util/NullFile.java
modified: src/edu/rice/cs/util/OperationCanceledException.java
modified: src/edu/rice/cs/util/OutputStreamRedirector.java
modified: src/edu/rice/cs/util/ProcessChain.java
modified: src/edu/rice/cs/util/ProcessCreator.java
modified: src/edu/rice/cs/util/ProcessSequence.java
modified: src/edu/rice/cs/util/ReaderWriterLock.java
modified: src/edu/rice/cs/util/ReaderWriterLockTest.java
modified: src/edu/rice/cs/util/RunnableEST.java
modified: src/edu/rice/cs/util/StreamRedirectException.java
modified: src/edu/rice/cs/util/StreamRedirectThread.java
modified: src/edu/rice/cs/util/StreamRedirectorTest.java
modified: src/edu/rice/cs/util/StringOps.java
modified: src/edu/rice/cs/util/StringOpsTest.java
modified: src/edu/rice/cs/util/UnexpectedException.java
modified: src/edu/rice/cs/util/XMLConfig.java
modified: src/edu/rice/cs/util/XMLConfigTest.java
modified: src/edu/rice/cs/util/classloader/ClassFileError.java
modified: src/edu/rice/cs/util/docnavigation/AWTContainerNavigatorFactory.java
modified: src/edu/rice/cs/util/docnavigation/DummyINavigatorItem.java
modified: src/edu/rice/cs/util/docnavigation/FileNode.java
modified: src/edu/rice/cs/util/docnavigation/GroupNode.java
modified: src/edu/rice/cs/util/docnavigation/GroupNotSelectedException.java
modified: src/edu/rice/cs/util/docnavigation/IAWTContainerNavigatorActor.java
modified: src/edu/rice/cs/util/docnavigation/IDocumentAwareMouseListener.java
modified: src/edu/rice/cs/util/docnavigation/IDocumentNavigator.java
modified: src/edu/rice/cs/util/docnavigation/IDocumentNavigatorAlgo.java
modified: src/edu/rice/cs/util/docnavigation/IDocumentNavigatorFactory.java
modified: src/edu/rice/cs/util/docnavigation/INavigationListener.java
modified: src/edu/rice/cs/util/docnavigation/INavigatorItem.java
modified: src/edu/rice/cs/util/docnavigation/INavigatorItemFilter.java
modified: src/edu/rice/cs/util/docnavigation/InnerNode.java
modified: src/edu/rice/cs/util/docnavigation/JListNavigator.java
modified: src/edu/rice/cs/util/docnavigation/JListSortNavigator.java
modified: src/edu/rice/cs/util/docnavigation/JListSortNavigatorTest.java
modified: src/edu/rice/cs/util/docnavigation/JTreeSortNavigator.java
modified: src/edu/rice/cs/util/docnavigation/JTreeSortNavigatorTest.java
modified: src/edu/rice/cs/util/docnavigation/LeafNode.java
modified: src/edu/rice/cs/util/docnavigation/NodeData.java
modified: src/edu/rice/cs/util/docnavigation/NodeDataVisitor.java
modified: src/edu/rice/cs/util/docnavigation/RootNode.java
modified: src/edu/rice/cs/util/docnavigation/StringNode.java
modified: src/edu/rice/cs/util/jar/JarBuilder.java
modified: src/edu/rice/cs/util/jar/JarCreationTest.java
modified: src/edu/rice/cs/util/jar/ManifestWriter.java
modified: src/edu/rice/cs/util/newjvm/AbstractMasterJVM.java
modified: src/edu/rice/cs/util/newjvm/AbstractSlaveJVM.java
modified: src/edu/rice/cs/util/newjvm/IntegratedMasterSlaveTest.java
modified: src/edu/rice/cs/util/newjvm/MasterRemote.java
modified: src/edu/rice/cs/util/newjvm/SlaveRemote.java
modified: src/edu/rice/cs/util/sexp/Atom.java
modified: src/edu/rice/cs/util/sexp/Cons.java
modified: src/edu/rice/cs/util/sexp/Empty.java
modified: src/edu/rice/cs/util/sexp/Lexer.java
modified: src/edu/rice/cs/util/sexp/LexingException.java
modified: src/edu/rice/cs/util/sexp/SEList.java
modified: src/edu/rice/cs/util/sexp/SEListVisitor.java
modified: src/edu/rice/cs/util/sexp/SExp.java
modified: src/edu/rice/cs/util/sexp/SExpParseException.java
modified: src/edu/rice/cs/util/sexp/SExpParser.java
modified: src/edu/rice/cs/util/sexp/SExpParserTest.java
modified: src/edu/rice/cs/util/sexp/SExpVisitor.java
modified: src/edu/rice/cs/util/sexp/Tokens.java
modified: src/edu/rice/cs/util/sexp/TokensTest.java
modified: src/edu/rice/cs/util/swing/AsyncCompletionArgs.java
modified: src/edu/rice/cs/util/swing/AsyncTask.java
modified: src/edu/rice/cs/util/swing/AsyncTaskLauncher.java
modified: src/edu/rice/cs/util/swing/BorderlessScrollPane.java
modified: src/edu/rice/cs/util/swing/BorderlessSplitPane.java
modified: src/edu/rice/cs/util/swing/CenteredIcon.java
modified: src/edu/rice/cs/util/swing/ConfirmCheckBoxDialog.java
modified: src/edu/rice/cs/util/swing/DefaultFileDisplayManager.java
modified: src/edu/rice/cs/util/swing/DefaultSwingFrame.java
modified: src/edu/rice/cs/util/swing/DelegatingAction.java
modified: src/edu/rice/cs/util/swing/DirectoryChooser.java
modified: src/edu/rice/cs/util/swing/DirectorySelectorComponent.java
modified: src/edu/rice/cs/util/swing/DisplayManager.java
modified: src/edu/rice/cs/util/swing/DocumentIterator.java
modified: src/edu/rice/cs/util/swing/DocumentOutputStream.java
modified: src/edu/rice/cs/util/swing/FileChooser.java
modified: src/edu/rice/cs/util/swing/FileDisplay.java
modified: src/edu/rice/cs/util/swing/FileDisplayManager.java
modified: src/edu/rice/cs/util/swing/FileSelectionEvent.java
modified: src/edu/rice/cs/util/swing/FileSelectionListener.java
modified: src/edu/rice/cs/util/swing/FileSelectorComponent.java
modified: src/edu/rice/cs/util/swing/FileSelectorStringComponent.java
modified: src/edu/rice/cs/util/swing/FontChooser.java
modified: src/edu/rice/cs/util/swing/HighlightManager.java
modified: src/edu/rice/cs/util/swing/HighlightManagerTest.java
modified: src/edu/rice/cs/util/swing/IAsyncProgress.java
modified: src/edu/rice/cs/util/swing/LayeredIcon.java
modified: src/edu/rice/cs/util/swing/ProcessingDialog.java
modified: src/edu/rice/cs/util/swing/RightClickMouseAdapter.java
modified: src/edu/rice/cs/util/swing/ScrollableDialog.java
modified: src/edu/rice/cs/util/swing/ScrollableListDialog.java
modified: src/edu/rice/cs/util/swing/ScrollableListDialogTest.java
modified: src/edu/rice/cs/util/swing/ScrollableListSelectionDialog.java
modified: src/edu/rice/cs/util/swing/ScrollableListSelectionDialogTest.java
modified: src/edu/rice/cs/util/swing/SwingFrame.java
modified: src/edu/rice/cs/util/swing/SwingWorker.java
modified: src/edu/rice/cs/util/swing/UneditableTableModel.java
modified: src/edu/rice/cs/util/swing/UnfocusableButton.java
modified: src/edu/rice/cs/util/swing/Utilities.java
modified: src/edu/rice/cs/util/swing/UtilitiesTest.java
modified: src/edu/rice/cs/util/text/AbstractDocumentInterface.java
modified: src/edu/rice/cs/util/text/ConsoleDocument.java
modified: src/edu/rice/cs/util/text/ConsoleDocumentInterface.java
modified: src/edu/rice/cs/util/text/ConsoleDocumentTest.java
modified: src/edu/rice/cs/util/text/DocumentEditCondition.java
modified: src/edu/rice/cs/util/text/EditDocumentException.java
modified: src/edu/rice/cs/util/text/EditDocumentInterface.java
modified: src/edu/rice/cs/util/text/ReadersWritersLocking.java
modified: src/edu/rice/cs/util/text/SwingDocument.java
modified: src/edu/rice/cs/util/text/SwingDocumentInterface.java
modified: src/edu/rice/cs/util/text/SwingDocumentTest.java1 parent a411d7f commit 600e7f2
File tree
599 files changed
+768
-769
lines changed- drjava
- lib
- src/edu/rice/cs
- drjava
- config
- model
- cache
- compiler
- coverage
- debug
- jpda
- definitions
- indent
- reducedmodel
- javadoc
- junit
- print
- repl
- newjvm
- platform
- project
- ui
- avail
- config
- coverage
- predictive
- util
- classloader
- jar
- newjvm
- sexp
- swing
- text
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
599 files changed
+768
-769
lines changedBinary file not shown.
Binary file not shown.
Binary file not shown.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
0 commit comments