public class WorkflowEditorUndo extends java.lang.Object implements WorkflowEditListener
This class handles the undo stack for the editor
Modifier and Type | Field and Description |
---|---|
protected WorkflowEditor |
editor |
protected boolean |
inRestore |
protected java.util.Stack |
undoStack |
Modifier | Constructor and Description |
---|---|
protected |
WorkflowEditorUndo(WorkflowEditor editor)
Constructs an undo stack assocaiated with an editor
|
Modifier and Type | Method and Description |
---|---|
protected void |
clear()
Clears the undo stack
|
protected int |
getTopTimestamp()
Returns the time stamp of the entry on the top of the stack
or zero if no entries.
|
protected boolean |
isEmpty()
Returns the state of the undo stack
|
boolean |
restoreFrame()
Restores one frame on the undo stack
|
void |
workflowChanged(WorkflowEditEvent e)
Called when the editor state changes
|
protected java.util.Stack undoStack
protected WorkflowEditor editor
protected boolean inRestore
protected WorkflowEditorUndo(WorkflowEditor editor)
editor
- The editorprotected void clear()
protected boolean isEmpty()
protected int getTopTimestamp()
public void workflowChanged(WorkflowEditEvent e)
workflowChanged
in interface WorkflowEditListener
e
- The WorkflowEditEvent eventpublic boolean restoreFrame()