de.uka.ilkd.key.gui.prooftree

Class GUIProofTreeModel.ProofTreeListener

java.lang.Object

de.uka.ilkd.key.proof.ProofTreeAdapter

de.uka.ilkd.key.gui.prooftree.GUIProofTreeModel.ProofTreeListener

All Implemented Interfaces:

ProofTreeListener

Enclosing class:

GUIProofTreeModel

class GUIProofTreeModel.ProofTreeListener
extends ProofTreeAdapter

Field Summary

Fields

Modifier and Type	Field and Description
private Node	pruningInProcess

Constructor Summary

Constructors

Constructor and Description
ProofTreeListener()

Method Summary

Modifier and Type	Method and Description
void	proofGoalRemoved(ProofTreeEvent e) The goal mentioned in the ProofTreeEvent has been removed from the list of goals.
void	proofIsBeingPruned(ProofTreeEvent e) The proof tree under the node mentioned in the ProofTreeEvent is in pruning phase.
void	proofPruned(ProofTreeEvent e) The proof tree under the node mentioned in the ProofTreeEvent is in pruning phase.
void	proofStructureChanged(ProofTreeEvent e) The structure of the proof has changed radically.

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

notesChanged, proofClosed, proofExpanded, proofGoalsAdded, proofGoalsChanged, smtDataUpdate

Methods inherited from class java.lang.Object

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

Field Detail

pruningInProcess

private Node pruningInProcess

Constructor Detail

ProofTreeListener

ProofTreeListener()

Method Detail

proofStructureChanged

public void proofStructureChanged(ProofTreeEvent e)

Description copied from class: ProofTreeAdapter

The structure of the proof has changed radically. Any client should rescan the whole proof tree.

Specified by:

proofStructureChanged in interface ProofTreeListener

Overrides:

proofStructureChanged in class ProofTreeAdapter

proofIsBeingPruned

public void proofIsBeingPruned(ProofTreeEvent e)

Description copied from class: ProofTreeAdapter

The proof tree under the node mentioned in the ProofTreeEvent is in pruning phase. The subtree of node will be removed after this call but at this point the subtree can still be traversed (e.g. in order to free the nodes in caches). The method proofPruned is called, when the nodes are disconnect from node.

Specified by:

proofIsBeingPruned in interface ProofTreeListener

Overrides:

proofIsBeingPruned in class ProofTreeAdapter

proofPruned

public void proofPruned(ProofTreeEvent e)

The proof tree under the node mentioned in the ProofTreeEvent is in pruning phase. The subtree of node will be removed after this call but at this point the subtree can still be traversed (e.g. in order to free the nodes in caches). The method proofPruned is called, when the nodes are disconnect from node.

Specified by:

proofPruned in interface ProofTreeListener

Overrides:

proofPruned in class ProofTreeAdapter

proofGoalRemoved

public void proofGoalRemoved(ProofTreeEvent e)

Description copied from class: ProofTreeAdapter

The goal mentioned in the ProofTreeEvent has been removed from the list of goals.

Specified by:

proofGoalRemoved in interface ProofTreeListener

Overrides:

proofGoalRemoved in class ProofTreeAdapter