public class OperatorObserver extends java.lang.Object
OperatorObserver()
void
addObserver(Operator op)
fireCommit()
fireRollback()
removeObserver(Operator op)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public OperatorObserver()
public void addObserver(Operator op)
public void removeObserver(Operator op)
public void fireCommit()
public void fireRollback()