class ProofTreeView.GUIProofTreeProofListener extends Object implements AutoModeListener, RuleAppListener, KeYSelectionListener
Modifier and Type | Field and Description |
---|---|
boolean |
ignoreNodeSelectionChange |
private Node |
lastGoalNode
node of the last known current goal
|
Constructor and Description |
---|
ProofTreeView.GUIProofTreeProofListener() |
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.
|
private Node lastGoalNode
public boolean ignoreNodeSelectionChange
ProofTreeView.GUIProofTreeProofListener()
public void makeSelectedNodeVisible(Node selectedNode)
public void selectedNodeChanged(KeYSelectionEvent e)
selectedNodeChanged
in interface KeYSelectionListener
public void selectedProofChanged(KeYSelectionEvent e)
selectedProofChanged
in interface KeYSelectionListener
public void autoModeStarted(ProofEvent e)
autoModeStarted
in interface AutoModeListener
public void autoModeStopped(ProofEvent e)
autoModeStopped
in interface AutoModeListener
public void ruleApplied(ProofEvent e)
ruleApplied
in interface RuleAppListener