com.sun.electric.database.change
Class Undo

java.lang.Object
  extended by com.sun.electric.database.change.Undo

public class Undo
extends java.lang.Object

This interface defines changes that are made to the database.


Nested Class Summary
static class Undo.ChangeBatch
          Class to describe a batch of changes to the Electric database.
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 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

Undo

public Undo()
Method Detail

endChanges

public static int endChanges(Snapshot oldSnapshot,
                             Tool tool,
                             java.lang.String activity,
                             Snapshot newSnapshot)
Method to terminate the current batch of changes.


undo

public static void undo()
Method to undo a change.


redo

public static void redo()
Method to redo a change.


noRedoAllowed

public static void noRedoAllowed()
Method to prevent redo by deleting all undone change batches.


setHistoryListSize

public static int setHistoryListSize(int newSize)
Method to set the size of the history list and return the former size.

Parameters:
newSize - the new size of the history list (number of batches of changes). If not positive, the list size is not changed.
Returns:
the former size of the history list.

showHistoryList

public static void showHistoryList()
Method to display all changes.