com.sun.electric.database.change
Class DatabaseChangeEvent
java.lang.Object
com.sun.electric.database.change.DatabaseChangeEvent
public class DatabaseChangeEvent
- extends java.lang.Object
A semantic event which indicates that Electric database changed its state.
Method Summary |
boolean |
cellTreeChanged()
Returns true if cell explorer tree was changed
in the new database state. |
boolean |
objectChanged(ElectricObject eObj)
Returns true if ElectricObject eObj was created, killed or modified
in the new database state. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
oldSnapshot
public final Snapshot oldSnapshot
newSnapshot
public final Snapshot newSnapshot
DatabaseChangeEvent
public DatabaseChangeEvent(Snapshot oldSnapshot,
Snapshot newSnapshot)
objectChanged
public boolean objectChanged(ElectricObject eObj)
- Returns true if ElectricObject eObj was created, killed or modified
in the new database state.
- Parameters:
eObj
- ElectricObject to test.
- Returns:
- true if the ElectricObject was changed.
cellTreeChanged
public boolean cellTreeChanged()
- Returns true if cell explorer tree was changed
in the new database state.
- Returns:
- true if cell explorer tree was changed.