gov.nasa.jpf.util.script

Class ScriptElementContainer

java.lang.Object

gov.nasa.jpf.util.script.ScriptElement

gov.nasa.jpf.util.script.ScriptElementContainer

All Implemented Interfaces:

Cloneable, Iterable<ScriptElement>

Direct Known Subclasses:

Alternative, Repetition, Script, Section

public abstract class ScriptElementContainer
extends ScriptElement
implements Iterable<ScriptElement>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	ScriptElementContainer.SECIterator

Field Summary

Fields inherited from class gov.nasa.jpf.util.script.ScriptElement

line, nextSibling, parent

Method Summary

Methods

Modifier and Type	Method and Description
void	add(ScriptElement e) beware, this sets the nextSibling
void	dump(PrintWriter w)
ScriptElement	getFirstChild()
int	getNumberOfChildren()
ScriptElementContainer.SECIterator	iterator()
void	processChildren(ElementProcessor p)
String	toString()
protected String	toString(String type)

Methods inherited from class gov.nasa.jpf.util.script.ScriptElement

clone, getLine, getNextSibling, getParent, process

Methods inherited from class java.lang.Object

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

Method Detail

getFirstChild

public ScriptElement getFirstChild()

add

public void add(ScriptElement e)

beware, this sets the nextSibling

getNumberOfChildren

public int getNumberOfChildren()

iterator

public ScriptElementContainer.SECIterator iterator()

Specified by:

iterator in interface Iterable<ScriptElement>

toString

protected String toString(String type)

toString

public String toString()

Overrides:

toString in class Object

dump

public void dump(PrintWriter w)

processChildren

public void processChildren(ElementProcessor p)