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:

java.lang.Cloneable, java.lang.Iterable<ScriptElement>

Direct Known Subclasses:

Alternative, Repetition, Script, Section

public abstract class ScriptElementContainer
extends ScriptElement
implements java.lang.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

Modifier and Type	Method and Description
void	add(ScriptElement e) beware, this sets the nextSibling
void	dump(java.io.PrintWriter w)
ScriptElement	getFirstChild()
int	getNumberOfChildren()
ScriptElementContainer.SECIterator	iterator()
void	processChildren(ElementProcessor p)
java.lang.String	toString()
protected java.lang.String	toString(java.lang.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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

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 java.lang.Iterable<ScriptElement>

toString

protected java.lang.String toString(java.lang.String type)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

dump

public void dump(java.io.PrintWriter w)

processChildren

public void processChildren(ElementProcessor p)