de.uka.ilkd.key.prover.impl

Class DefaultGoalChooser.ProofTreeObserver

java.lang.Object

de.uka.ilkd.key.proof.ProofTreeAdapter

de.uka.ilkd.key.prover.impl.DefaultGoalChooser.ProofTreeObserver

All Implemented Interfaces:

ProofTreeListener

Enclosing class:

DefaultGoalChooser

class DefaultGoalChooser.ProofTreeObserver
extends ProofTreeAdapter

Important when a proof is pruned

Constructor Summary

Constructors

Constructor and Description
ProofTreeObserver()

Method Summary

Modifier and Type	Method and Description
void	proofPruned(ProofTreeEvent e) The proof tree has been pruned under the node mentioned in the ProofTreeEvent.

Methods inherited from class de.uka.ilkd.key.proof.ProofTreeAdapter

notesChanged, proofClosed, proofExpanded, proofGoalRemoved, proofGoalsAdded, proofGoalsChanged, proofIsBeingPruned, proofStructureChanged, smtDataUpdate

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ProofTreeObserver

ProofTreeObserver()

Method Detail

proofPruned

public void proofPruned(ProofTreeEvent e)

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.

Specified by:

proofPruned in interface ProofTreeListener

Overrides:

proofPruned in class ProofTreeAdapter