|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.sun.electric.database.change.Undo
public class Undo
This interface defines changes that are made to the database.
Nested Class Summary | |
---|---|
static class |
Undo.UndoJob
Class to schedule an undo in a separate Job. |
Constructor Summary | |
---|---|
Undo()
|
Method Summary | |
---|---|
static int |
endChanges(Snapshot oldSnapshot,
Tool tool,
java.lang.String activity,
Snapshot newSnapshot)
Method to terminate the current batch of changes. |
static java.lang.String |
getUndoActivity()
|
static void |
noRedoAllowed()
Method to prevent redo by deleting all undone change batches. |
static void |
redo()
Method to redo a change. |
static int |
setHistoryListSize(int newSize)
Method to set the size of the history list and return the former size. |
static void |
showHistoryList()
Method to display all changes. |
static void |
undo()
Method to undo a change. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Undo()
Method Detail |
---|
public static int endChanges(Snapshot oldSnapshot, Tool tool, java.lang.String activity, Snapshot newSnapshot)
public static java.lang.String getUndoActivity()
public static void undo()
public static void redo()
public static void noRedoAllowed()
public static int setHistoryListSize(int newSize)
newSize
- the new size of the history list (number of batches of changes).
If not positive, the list size is not changed.
public static void showHistoryList()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |