public class NodeChangeJournal extends java.lang.Object implements GoalListener
Constructor and Description |
---|
NodeChangeJournal(Proof p_proof,
Goal p_goal) |
Modifier and Type | Method and Description |
---|---|
void |
automaticStateChanged(Goal source,
boolean oldAutomatic,
boolean newAutomatic)
Informs the listener that the automatic state
Goal.isAutomatic() has changed. |
RuleAppInfo |
getRuleAppInfo(RuleApp p_ruleApp)
Create an RuleAppInfo object containing all changes stored
within this object; remove all listeners
|
void |
goalReplaced(Goal source,
Node parent,
ImmutableList<Goal> newGoals)
Informs the listener that the given goal
source
has been replaced by the goals newGoals (note that
source may be an element of
newGoals ). |
void |
sequentChanged(Goal source,
SequentChangeInfo sci)
informs the listener about a change that occured to the sequent
of goal
|
public RuleAppInfo getRuleAppInfo(RuleApp p_ruleApp)
public void sequentChanged(Goal source, SequentChangeInfo sci)
sequentChanged
in interface GoalListener
public void goalReplaced(Goal source, Node parent, ImmutableList<Goal> newGoals)
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
goalReplaced
in interface GoalListener
public void automaticStateChanged(Goal source, boolean oldAutomatic, boolean newAutomatic)
GoalListener
Goal.isAutomatic()
has changed.automaticStateChanged
in interface GoalListener
source
- The changed Goal
.oldAutomatic
- The old state.newAutomatic
- The new state.Copyright © 2003-2019 The KeY-Project.