public class NodeReplacement
extends java.lang.Object
Constructor and Description |
---|
NodeReplacement(Node p_node,
Node p_parent,
ImmutableList<SequentChangeInfo> p_changes) |
Modifier and Type | Method and Description |
---|---|
Node |
getNode() |
java.util.Iterator<NodeChange> |
getNodeChanges() |
java.lang.String |
toString() |
public NodeReplacement(Node p_node, Node p_parent, ImmutableList<SequentChangeInfo> p_changes)
p_node
- the node this object reports aboutp_parent
- the parent nodep_changes
- the complete list of changes made to the
original node, with the most recent change being the first
element of the listpublic Node getNode()
public java.util.Iterator<NodeChange> getNodeChanges()
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.