de.uka.ilkd.key.core

Class KeYMediator.KeYMediatorProofTreeListener

java.lang.Object

de.uka.ilkd.key.proof.ProofTreeAdapter

de.uka.ilkd.key.core.KeYMediator.KeYMediatorProofTreeListener

All Implemented Interfaces:

ProofTreeListener

Enclosing class:

KeYMediator

class KeYMediator.KeYMediatorProofTreeListener
extends ProofTreeAdapter

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	pruningInProcess

Constructor Summary

Constructors

Constructor and Description
KeYMediatorProofTreeListener()

Method Summary

Modifier and Type	Method and Description
void	proofClosed(ProofTreeEvent e) The proof trees has been closed (the list of goals is empty).
void	proofGoalsAdded(ProofTreeEvent e) The goals mentiones in the list of added goals in the proof event have been added to the proof
void	proofPruned(ProofTreeEvent e) The proof tree has been pruned under the node mentioned in the ProofTreeEvent.
void	proofPruningInProcess(ProofTreeEvent e)
void	proofStructureChanged(ProofTreeEvent e) The structure of the proof has changed radically.

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

notesChanged, proofExpanded, proofGoalRemoved, proofGoalsChanged, proofIsBeingPruned, smtDataUpdate

Methods inherited from class java.lang.Object

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

Field Detail

pruningInProcess

private boolean pruningInProcess

Constructor Detail

KeYMediatorProofTreeListener

KeYMediatorProofTreeListener()

Method Detail

proofClosed

public void proofClosed(ProofTreeEvent e)

Description copied from class: ProofTreeAdapter

The proof trees has been closed (the list of goals is empty).

Specified by:

proofClosed in interface ProofTreeListener

Overrides:

proofClosed in class ProofTreeAdapter

proofPruningInProcess

public void proofPruningInProcess(ProofTreeEvent e)

proofPruned

public void proofPruned(ProofTreeEvent e)

Description copied from class: ProofTreeAdapter

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

proofGoalsAdded

public void proofGoalsAdded(ProofTreeEvent e)

Description copied from class: ProofTreeAdapter

The goals mentiones in the list of added goals in the proof event have been added to the proof

Specified by:

proofGoalsAdded in interface ProofTreeListener

Overrides:

proofGoalsAdded in class ProofTreeAdapter

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