private static class BufferManager.UndoData
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) Undoable |
bufferUndoable
Undoable which will set a no-undo buffer to its proper record after a rollback.
|
Modifier | Constructor and Description |
---|---|
private |
UndoData() |
Undoable bufferUndoable