de.uka.ilkd.key.gui.prooftree

Class ProofTreeView.GUIProofTreeProofListener

java.lang.Object

de.uka.ilkd.key.gui.prooftree.ProofTreeView.GUIProofTreeProofListener

All Implemented Interfaces:

AutoModeListener, KeYSelectionListener, RuleAppListener

Enclosing class:

ProofTreeView

class ProofTreeView.GUIProofTreeProofListener
extends Object
implements AutoModeListener, RuleAppListener, KeYSelectionListener

Field Summary

Fields

Modifier and Type	Field and Description
boolean	ignoreNodeSelectionChange
private Node	lastGoalNode node of the last known current goal

Constructor Summary

Constructors

Constructor and Description
GUIProofTreeProofListener()

Method Summary

Modifier and Type	Method and Description
void	autoModeStarted(ProofEvent e) invoked if automatic application of rules has started
void	autoModeStopped(ProofEvent e) invoked if automatic application of rules has stopped
void	makeSelectedNodeVisible(Node selectedNode) makes selected node visible of lastGoalNode
void	ruleApplied(ProofEvent e) invoked when a rule has been applied
void	selectedNodeChanged(KeYSelectionEvent e) focused node has changed
void	selectedProofChanged(KeYSelectionEvent e) the selected proof has changed (e.g.

Methods inherited from class java.lang.Object

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

Field Detail

lastGoalNode

private Node lastGoalNode

node of the last known current goal

ignoreNodeSelectionChange

public boolean ignoreNodeSelectionChange

Constructor Detail

GUIProofTreeProofListener

GUIProofTreeProofListener()

Method Detail

makeSelectedNodeVisible

public void makeSelectedNodeVisible(Node selectedNode)

makes selected node visible of lastGoalNode

selectedNodeChanged

public void selectedNodeChanged(KeYSelectionEvent e)

focused node has changed

Specified by:

selectedNodeChanged in interface KeYSelectionListener

selectedProofChanged

public void selectedProofChanged(KeYSelectionEvent e)

the selected proof has changed (e.g. a new proof has been loaded)

Specified by:

selectedProofChanged in interface KeYSelectionListener

autoModeStarted

public void autoModeStarted(ProofEvent e)

invoked if automatic application of rules has started

Specified by:

autoModeStarted in interface AutoModeListener

autoModeStopped

public void autoModeStopped(ProofEvent e)

invoked if automatic application of rules has stopped

Specified by:

autoModeStopped in interface AutoModeListener

ruleApplied

public void ruleApplied(ProofEvent e)

invoked when a rule has been applied

Specified by:

ruleApplied in interface RuleAppListener