DrJava Legacy SVN Repository

A lightweight programming environment for Java

Brought to you by: camus546, csreis, dlsmith, eallen, and 6 others

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

Authored by: rcartwright 2008-08-25

Browse code at this revision

Parent: [r4651]

Child: [r4653]

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

/trunk/drjava/src/edu/rice/cs/drjava/model/AbstractGlobalModel.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/model/ConcreteRegionManager.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/model/DJDocument.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/model/DummyOpenDefDoc.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevStmtPlus.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineEmpty.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineEmptyOrEnterPress.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineStartsWithSkipComments.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/ui/DefinitionsPane.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/ui/InteractionsPane.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/util/text/SwingDocument.java Diff Switch to side-by-side view