com.sun.electric.database.change
Class DatabaseChangeEvent

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

public class DatabaseChangeEvent
extends java.lang.Object

A semantic event which indicates that Electric database changed its state.


Field Summary
 Snapshot newSnapshot
           
 Snapshot oldSnapshot
           
 
Constructor Summary
DatabaseChangeEvent(Snapshot oldSnapshot, Snapshot newSnapshot)
           
 
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
 

Field Detail

oldSnapshot

public final Snapshot oldSnapshot

newSnapshot

public final Snapshot newSnapshot
Constructor Detail

DatabaseChangeEvent

public DatabaseChangeEvent(Snapshot oldSnapshot,
                           Snapshot newSnapshot)
Method Detail

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.