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.

Field Summary

Fields

Modifier and Type	Field and Description
Snapshot	newSnapshot
Snapshot	oldSnapshot

Constructor Summary

Constructors

Constructor and Description
DatabaseChangeEvent(Snapshot oldSnapshot, Snapshot newSnapshot)

Method Summary

Methods

Modifier and Type	Method and Description
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.