private static class BufferManager.UndoData
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) Undoable |
bufferUndoable
Undoable which will set the no-undo buffer to its proper record
after the reversibles are processed.
|
(package private) java.util.Set<Reversible> |
reversibles
Reversible record actions linked in natural order
|
(package private) java.util.Map<java.io.Serializable,java.util.List<Reversible>> |
reversiblesMap
List of reversible record actions mapped by ID, in natural order
|
(package private) java.util.Map<java.io.Serializable,Reversible> |
undoables
Undoable record actions (or rollbacks) keyed by primary key
|
Modifier | Constructor and Description |
---|---|
private |
UndoData() |
Modifier and Type | Method and Description |
---|---|
(package private) boolean |
isEmpty()
Indicate whether this data structure holds any data.
|
java.util.Set<Reversible> reversibles
java.util.Map<java.io.Serializable,java.util.List<Reversible>> reversiblesMap
java.util.Map<java.io.Serializable,Reversible> undoables
Undoable bufferUndoable