| java.lang.Object de.uka.ilkd.key.proof.ProofTreeEvent
All known Subclasses: de.uka.ilkd.key.proof.ProofTreeRemovedNodeEvent,
ProofTreeEvent | public class ProofTreeEvent (Code) | | Encapsulates information describing changes to a proof tree, and
used to notify proof tree listeners of the change.
|
Constructor Summary | |
public | ProofTreeEvent(Proof source, Node node) Create ProofTreeEvent for an event that happens at
the specified node. | public | ProofTreeEvent(Proof source) Create ProofTreeEvent for an event that happens at
no particular node. | public | ProofTreeEvent(Proof source, Goal goal) | public | ProofTreeEvent(Proof source, ListOfGoal goals) Create ProofTreeEvent for the event that affects the goals
given in the list. |
ProofTreeEvent | public ProofTreeEvent(Proof source, Node node)(Code) | | Create ProofTreeEvent for an event that happens at
the specified node.
|
ProofTreeEvent | public ProofTreeEvent(Proof source)(Code) | | Create ProofTreeEvent for an event that happens at
no particular node.
|
ProofTreeEvent | public ProofTreeEvent(Proof source, Goal goal)(Code) | | Create ProofTreeEvent for the event that happened to the
given goal
|
ProofTreeEvent | public ProofTreeEvent(Proof source, ListOfGoal goals)(Code) | | Create ProofTreeEvent for the event that affects the goals
given in the list.
|
getGoals | public ListOfGoal getGoals()(Code) | | |
|
|