de.uka.ilkd.key.proof.mgt

Class ProofCorrectnessMgt.DefaultMgtProofTreeListener

java.lang.Object

de.uka.ilkd.key.proof.ProofTreeAdapter

de.uka.ilkd.key.proof.mgt.ProofCorrectnessMgt.DefaultMgtProofTreeListener

All Implemented Interfaces:

ProofTreeListener

Enclosing class:

ProofCorrectnessMgt

private class ProofCorrectnessMgt.DefaultMgtProofTreeListener
extends ProofTreeAdapter

Constructor Summary

Constructors

Modifier	Constructor and Description
private	DefaultMgtProofTreeListener()

Method Summary

Modifier and Type	Method and Description
void	proofClosed(ProofTreeEvent e) The proof trees has been closed (the list of goals is empty).

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultMgtProofTreeListener

private DefaultMgtProofTreeListener()

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