com.sun.electric.database.change
Class Undo.ChangeBatch

java.lang.Object
  com.sun.electric.database.change.Undo.ChangeBatch

Enclosing class:

Undo

public static class Undo.ChangeBatch
extends java.lang.Object

Class to describe a batch of changes to the Electric database.

Method Summary

int	getPreUndoHighlights()
int	getStartingHighlights()
Tool	getTool() Method to return the Tool associated with this ChangeBatch.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getStartingHighlights

public int getStartingHighlights()

getPreUndoHighlights

public int getPreUndoHighlights()

getTool

public Tool getTool()

Method to return the Tool associated with this ChangeBatch.

Returns:

the Tool associated with this ChangeBatch.