com.sun.electric.database.change
Class Undo

java.lang.Object
  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.