public abstract class ProofTreeAdapter extends java.lang.Object implements ProofTreeListener
proofStructureChanged
has an empty implementation, the
other methods delegate to proofStructureChanged
.
Extend this class to create a ProofTreeEvent listener and
override the implementation of proofStructureChanged
to provide a simple reaction to any kind of event, or also
override the other methods to provide more fine-grained actions.
Constructor and Description |
---|
ProofTreeAdapter() |
Modifier and Type | Method and Description |
---|---|
void |
notesChanged(ProofTreeEvent e)
|
void |
proofClosed(ProofTreeEvent e)
The proof trees has been closed (the list of goals is empty).
|
void |
proofExpanded(ProofTreeEvent e)
The node mentioned in the ProofTreeEvent has changed, and/or
there are new descendants of that node.
|
void |
proofGoalRemoved(ProofTreeEvent e)
The goal mentioned in the ProofTreeEvent has been removed
from the list of goals.
|
void |
proofGoalsAdded(ProofTreeEvent e)
The goals mentiones in the list of added goals in the proof
event have been added to the proof
|
void |
proofGoalsChanged(ProofTreeEvent e)
The goals mentiones in the list of added goals in the proof
event have been added to the proof
|
void |
proofIsBeingPruned(ProofTreeEvent e)
The proof tree under the node mentioned in the ProofTreeEvent
is in pruning phase.
|
void |
proofPruned(ProofTreeEvent e)
The proof tree has been pruned under the node mentioned in the
ProofTreeEvent.
|
void |
proofStructureChanged(ProofTreeEvent e)
The structure of the proof has changed radically.
|
void |
smtDataUpdate(ProofTreeEvent e)
If, e.g., an SMT Solver was applied to node/goal referenced in e, then
this event occurs in order to monitor, e.g. by a dialog, the result
of the SMT solver.
|
public void proofExpanded(ProofTreeEvent e)
proofExpanded
in interface ProofTreeListener
public void proofIsBeingPruned(ProofTreeEvent e)
proofIsBeingPruned
in interface ProofTreeListener
public void proofPruned(ProofTreeEvent e)
proofPruned
in interface ProofTreeListener
public void proofStructureChanged(ProofTreeEvent e)
proofStructureChanged
in interface ProofTreeListener
public void proofClosed(ProofTreeEvent e)
proofClosed
in interface ProofTreeListener
public void proofGoalRemoved(ProofTreeEvent e)
proofGoalRemoved
in interface ProofTreeListener
public void proofGoalsAdded(ProofTreeEvent e)
proofGoalsAdded
in interface ProofTreeListener
public void proofGoalsChanged(ProofTreeEvent e)
proofGoalsChanged
in interface ProofTreeListener
public void smtDataUpdate(ProofTreeEvent e)
Node.getCounterExData()
smtDataUpdate
in interface ProofTreeListener
public void notesChanged(ProofTreeEvent e)
notesChanged
in interface ProofTreeListener
e
- The ProofTreeEvent
.