de.uka.ilkd.key.macros.scripts

Class ScriptNode

java.lang.Object

de.uka.ilkd.key.macros.scripts.ScriptNode

public class ScriptNode
extends java.lang.Object

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
ScriptNode(ScriptNode parent, java.util.Map<java.lang.String,java.lang.String> command, int fromPos, int toPos)

Method Summary

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)

Methods inherited from class java.lang.Object

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

Field Detail

command

private java.util.Map<java.lang.String,java.lang.String> command

fromPos

private int fromPos

toPos

private int toPos

parent

private ScriptNode parent

children

private java.util.List<ScriptNode> children

proofNode

private Node proofNode

encounteredException

private java.lang.Throwable encounteredException

Constructor Detail

ScriptNode

public ScriptNode(ScriptNode parent,
                  java.util.Map<java.lang.String,java.lang.String> command,
                  int fromPos,
                  int toPos)

Method Detail

addNode

public void addNode(ScriptNode node)

dump

public void dump(int indent)

getCommand

public java.util.Map<java.lang.String,java.lang.String> getCommand()

getProofNode

public Node getProofNode()

setProofNode

public void setProofNode(Node proofNode)

getChildren

public java.util.List<ScriptNode> getChildren()

getFromPos

public int getFromPos()

getToPos

public int getToPos()

clearChildren

public void clearChildren()

getEncounteredException

public java.lang.Throwable getEncounteredException()

setEncounteredException

public void setEncounteredException(java.lang.Throwable encounteredException)

getParent

public ScriptNode getParent()

isRoot

public boolean isRoot()