class KeYMediator.KeYMediatorProofTreeListener extends ProofTreeAdapter
Modifier and Type | Field and Description |
---|---|
private boolean |
pruningInProcess |
Constructor and Description |
---|
KeYMediatorProofTreeListener() |
Modifier and Type | Method and Description |
---|---|
void |
proofClosed(ProofTreeEvent e)
The proof trees has been closed (the list of goals is empty).
|
void |
proofGoalsAdded(ProofTreeEvent e)
The goals mentiones in the list of added goals in the proof
event have been added to the proof
|
void |
proofPruned(ProofTreeEvent e)
The proof tree has been pruned under the node mentioned in the
ProofTreeEvent.
|
void |
proofPruningInProcess(ProofTreeEvent e) |
void |
proofStructureChanged(ProofTreeEvent e)
The structure of the proof has changed radically.
|
notesChanged, proofExpanded, proofGoalRemoved, proofGoalsChanged, proofIsBeingPruned, smtDataUpdate
public void proofClosed(ProofTreeEvent e)
ProofTreeAdapter
proofClosed
in interface ProofTreeListener
proofClosed
in class ProofTreeAdapter
public void proofPruningInProcess(ProofTreeEvent e)
public void proofPruned(ProofTreeEvent e)
ProofTreeAdapter
proofPruned
in interface ProofTreeListener
proofPruned
in class ProofTreeAdapter
public void proofGoalsAdded(ProofTreeEvent e)
ProofTreeAdapter
proofGoalsAdded
in interface ProofTreeListener
proofGoalsAdded
in class ProofTreeAdapter
public void proofStructureChanged(ProofTreeEvent e)
ProofTreeAdapter
proofStructureChanged
in interface ProofTreeListener
proofStructureChanged
in class ProofTreeAdapter