public class NodeChangeJournal extends java.lang.Object implements GoalListener
Modifier and Type | Field and Description |
---|---|
private ImmutableMap<Node,NodeChangesHolder> |
changes
This is a may storing the leaves that are currently below
the original node, and all changes applied to each of them
|
private Node |
node
The original node
|
private Proof |
proof |
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. |
private NodeChangesHolder |
getChangeObj(Node p_node) |
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 ). |
private void |
putChangeObj(Node p_node,
NodeChangesHolder p_obj) |
private NodeChangesHolder |
removeChangeObj(Node p_node) |
void |
sequentChanged(Goal source,
SequentChangeInfo sci)
informs the listener about a change that occured to the sequent
of goal
|
private final Proof proof
private final Node node
private ImmutableMap<Node,NodeChangesHolder> changes
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
private void putChangeObj(Node p_node, NodeChangesHolder p_obj)
private NodeChangesHolder getChangeObj(Node p_node)
private NodeChangesHolder removeChangeObj(Node p_node)
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.