| java.lang.Object
 de.uka.ilkd.key.proof.ProofTreeAdapter
| ProofTreeAdapter | | abstract public class ProofTreeAdapter implements ProofTreeListener(Code) | | An abstract adapter class for receiving proof tree events.
proofStructureChanged has an empty implementation, the
other methods delegate to proofStructureChanged.
Extend this class to create a ProofTreeEvent listener and
override the implementation of proofStructureChanged
to provide a simple reaction to any kind of event, or also
override the other methods to provide more fine-grained actions.
|
| proofClosed | | public void proofClosed(ProofTreeEvent e)(Code) | | The proof trees has been closed (the list of goals is empty).
|
| proofExpanded | | public void proofExpanded(ProofTreeEvent e)(Code) | | The node mentioned in the ProofTreeEvent has changed, and/or
there are new descendants of that node. Any nodes that are not
descendants of that node are unaffected.
|
| proofGoalRemoved | | public void proofGoalRemoved(ProofTreeEvent e)(Code) | | The goal mentioned in the ProofTreeEvent has been removed
from the list of goals.
|
| proofGoalsAdded | | public void proofGoalsAdded(ProofTreeEvent e)(Code) | | The goals mentiones in the list of added goals in the proof
event have been added to the proof
|
| proofGoalsChanged | | public void proofGoalsChanged(ProofTreeEvent e)(Code) | | The goals mentiones in the list of added goals in the proof
event have been added to the proof
|
| proofPruned | | public void proofPruned(ProofTreeEvent e)(Code) | | The proof tree has been pruned under the node mentioned in the
ProofTreeEvent. In other words, that node should no longer
have any children now. Any nodes that were not descendants of
that node are unaffected.
|
| proofStructureChanged | | public void proofStructureChanged(ProofTreeEvent e)(Code) | | The structure of the proof has changed radically. Any client should
rescan the whole proof tree.
|
|
|