public interface ChangeSet
Modifier and Type | Method and Description |
---|---|
void |
add(Change change)
Add the given change to the history.
|
java.util.Iterator<Change> |
backwardIterator()
Get a backward directed iterator that can be used for undo.
|
java.util.Iterator<Change> |
forwardIterator()
Get a forward directed iterator that can be used for redo.
|
boolean |
isRecordingChanges()
Whether or not the ChangeSet is recording changes.
|
void |
setRecordChanges(boolean recordChanges)
Tell the change set whether to record changes or not.
|
int |
size()
Get the number of stored changes.
|
void add(Change change)
change
- the changeboolean isRecordingChanges()
void setRecordChanges(boolean recordChanges)
recordChanges
- whether to record changes or notjava.util.Iterator<Change> backwardIterator()
The iterator may return the changes out of order, as long as the final result after all changes have been applied is correct.
java.util.Iterator<Change> forwardIterator()
The iterator may return the changes out of order, as long as the final result after all changes have been applied is correct.
int size()