de.uka.ilkd.key.gui

Class TaskTree.TaskTreeProofTreeListener

java.lang.Object

de.uka.ilkd.key.proof.ProofTreeAdapter

de.uka.ilkd.key.gui.TaskTree.TaskTreeProofTreeListener

All Implemented Interfaces:

ProofTreeListener

Enclosing class:

TaskTree

class TaskTree.TaskTreeProofTreeListener
extends ProofTreeAdapter

a prooftree listener, so that it is known when the proof has closed

Constructor Summary

Constructors

Constructor and Description
TaskTreeProofTreeListener()

Method Summary

Modifier and Type	Method and Description
void	proofClosed(ProofTreeEvent e) invoked if all goals of the proof are closed
void	proofGoalRemoved(ProofTreeEvent e) invoked if the list of goals changed (goals were added, removed etc.
void	proofGoalsAdded(ProofTreeEvent e) invoked if the current goal of the proof changed
void	proofGoalsChanged(ProofTreeEvent e) invoked if the current goal of the proof changed

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

notesChanged, proofExpanded, proofIsBeingPruned, proofPruned, proofStructureChanged, smtDataUpdate

Methods inherited from class java.lang.Object

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

Constructor Detail

TaskTreeProofTreeListener

TaskTreeProofTreeListener()

Method Detail

proofClosed

public void proofClosed(ProofTreeEvent e)

invoked if all goals of the proof are closed

Specified by:

proofClosed in interface ProofTreeListener

Overrides:

proofClosed in class ProofTreeAdapter

proofGoalRemoved

public void proofGoalRemoved(ProofTreeEvent e)

invoked if the list of goals changed (goals were added, removed etc.

Specified by:

proofGoalRemoved in interface ProofTreeListener

Overrides:

proofGoalRemoved in class ProofTreeAdapter

proofGoalsAdded

public void proofGoalsAdded(ProofTreeEvent e)

invoked if the current goal of the proof changed

Specified by:

proofGoalsAdded in interface ProofTreeListener

Overrides:

proofGoalsAdded in class ProofTreeAdapter

proofGoalsChanged

public void proofGoalsChanged(ProofTreeEvent e)

invoked if the current goal of the proof changed

Specified by:

proofGoalsChanged in interface ProofTreeListener

Overrides:

proofGoalsChanged in class ProofTreeAdapter