Menu

Commit [r4652]  Maximize  Restore  History

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

rcartwright 2008-08-25

changed /trunk/drjava/src/edu/rice/cs/drjava/model/AbstractDJDocument.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/ConcreteRegionManager.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/DJDocument.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/DummyOpenDefDoc.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevStmtPlus.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineEmpty.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineEmptyOrEnterPress.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineStartsWithSkipComments.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/DefinitionsPane.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/InteractionsPane.java
changed /trunk/drjava/src/edu/rice/cs/util/text/SwingDocument.java
/trunk/drjava/src/edu/rice/cs/drjava/model/AbstractDJDocument.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/AbstractGlobalModel.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/ConcreteRegionManager.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/DJDocument.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/DummyOpenDefDoc.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevStmtPlus.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineEmpty.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineEmptyOrEnterPress.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineStartsWithSkipComments.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/DefinitionsPane.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/InteractionsPane.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/util/text/SwingDocument.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB