class ProofTreeView.GUIProofTreeProofListener extends java.lang.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 |
---|
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. a new proof has been
loaded)
|
public boolean ignoreNodeSelectionChange
private Node lastGoalNode
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