public class ScriptNode
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.util.List<ScriptNode> |
children |
private java.util.Map<java.lang.String,java.lang.String> |
command |
private java.lang.Throwable |
encounteredException |
private int |
fromPos |
private ScriptNode |
parent |
private Node |
proofNode |
private int |
toPos |
Constructor and Description |
---|
ScriptNode(ScriptNode parent,
java.util.Map<java.lang.String,java.lang.String> command,
int fromPos,
int toPos) |
Modifier and Type | Method and Description |
---|---|
void |
addNode(ScriptNode node) |
void |
clearChildren() |
void |
dump(int indent) |
java.util.List<ScriptNode> |
getChildren() |
java.util.Map<java.lang.String,java.lang.String> |
getCommand() |
java.lang.Throwable |
getEncounteredException() |
int |
getFromPos() |
ScriptNode |
getParent() |
Node |
getProofNode() |
int |
getToPos() |
boolean |
isRoot() |
void |
setEncounteredException(java.lang.Throwable encounteredException) |
void |
setProofNode(Node proofNode) |
private java.util.Map<java.lang.String,java.lang.String> command
private int fromPos
private int toPos
private ScriptNode parent
private java.util.List<ScriptNode> children
private Node proofNode
private java.lang.Throwable encounteredException
public ScriptNode(ScriptNode parent, java.util.Map<java.lang.String,java.lang.String> command, int fromPos, int toPos)
public void addNode(ScriptNode node)
public void dump(int indent)
public java.util.Map<java.lang.String,java.lang.String> getCommand()
public Node getProofNode()
public void setProofNode(Node proofNode)
public java.util.List<ScriptNode> getChildren()
public int getFromPos()
public int getToPos()
public void clearChildren()
public java.lang.Throwable getEncounteredException()
public void setEncounteredException(java.lang.Throwable encounteredException)
public ScriptNode getParent()
public boolean isRoot()