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

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