| java.lang.Object
 de.uka.ilkd.key.proof.proofevent.NodeChangeJournal
| NodeChangeJournal | | public class NodeChangeJournal implements GoalListener(Code) | | Collect changes applied to a node during a given period of time
|
| NodeChangeJournal | | public NodeChangeJournal(Proof p_proof, Goal p_goal)(Code) | |
Parameters:
p_goal - the original goal/node |
| getRuleAppInfo | | public RuleAppInfo getRuleAppInfo(RuleApp p_ruleApp)(Code) | | Create an RuleAppInfo object containing all changes stored
within this object; remove all listeners
|
| goalReplaced | | public void goalReplaced(Goal source, Node parent, ListOfGoal newGoals)(Code) | | Informs the listener that the given goal source
has been replaced by the goals newGoals (note that
source may be an element of
newGoals). The nodes of newGoals are
children of the node parent
|
| sequentChanged | | public void sequentChanged(Goal source, SequentChangeInfo sci)(Code) | | informs the listener about a change that occured to the sequent
of goal
|
|
|