de.uka.ilkd.key.proof.proofevent

Class NodeReplacement

java.lang.Object

de.uka.ilkd.key.proof.proofevent.NodeReplacement

public class NodeReplacement
extends java.lang.Object

Information about a node replacing its parent after a rule application, currently giving information about added and removed formulas

Field Summary

Fields

Modifier and Type	Field and Description
(package private) ImmutableList<NodeChange>	changes
(package private) Node	node
(package private) Node	parent
(package private) ImmutableList<SequentChangeInfo>	rawChanges

Constructor Summary

Constructors

Constructor and Description
NodeReplacement(Node p_node, Node p_parent, ImmutableList<SequentChangeInfo> p_changes)

Method Summary

Modifier and Type	Method and Description
private void	addAddedChange(SequentFormula p_cf, boolean p_inAntec)
private void	addAddedRedundantChange(SequentFormula p_cf, boolean p_inAntec) TODO comment
private void	addNodeChange(NodeChange p_nc)
private void	addNodeChange(SequentChangeInfo p_sci)
private void	addNodeChanges()
private void	addRemovedChange(SequentFormula p_cf, boolean p_inAntec)
Node	getNode()
java.util.Iterator<NodeChange>	getNodeChanges()
private void	removeNodeChanges(SequentFormula p_cf, boolean p_inAntec)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

node

Node node

parent

Node parent

rawChanges

ImmutableList<SequentChangeInfo> rawChanges

changes

ImmutableList<NodeChange> changes

Constructor Detail

NodeReplacement

public NodeReplacement(Node p_node,
                       Node p_parent,
                       ImmutableList<SequentChangeInfo> p_changes)

Parameters:

p_node - the node this object reports about

p_parent - the parent node

p_changes - the complete list of changes made to the original node, with the most recent change being the first element of the list

Method Detail

addNodeChanges

private void addNodeChanges()

addNodeChange

private void addNodeChange(SequentChangeInfo p_sci)

addAddedChange

private void addAddedChange(SequentFormula p_cf,
                            boolean p_inAntec)

addAddedRedundantChange

private void addAddedRedundantChange(SequentFormula p_cf,
                                     boolean p_inAntec)

TODO comment

Parameters:

p_cf -

p_inAntec -

addRemovedChange

private void addRemovedChange(SequentFormula p_cf,
                              boolean p_inAntec)

addNodeChange

private void addNodeChange(NodeChange p_nc)

removeNodeChanges

private void removeNodeChanges(SequentFormula p_cf,
                               boolean p_inAntec)

getNode

public Node getNode()

getNodeChanges

public java.util.Iterator<NodeChange> getNodeChanges()

Returns:

Modifications that have been made to node

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object