gov.nasa.jpf.util.script

Class Script

java.lang.Object

gov.nasa.jpf.util.script.ScriptElement

gov.nasa.jpf.util.script.ScriptElementContainer

gov.nasa.jpf.util.script.Script

All Implemented Interfaces:

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

public class Script
extends ScriptElementContainer

Nested Class Summary

Nested classes/interfaces inherited from class gov.nasa.jpf.util.script.ScriptElementContainer

ScriptElementContainer.SECIterator

Field Summary

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

line, nextSibling, parent

Constructor Summary

Constructors

Constructor and Description
Script() the stuff we need for traversal

Method Summary

Modifier and Type	Method and Description
void	process(ElementProcessor p)
java.lang.String	toString()

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

add, dump, getFirstChild, getNumberOfChildren, iterator, processChildren, toString

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

clone, getLine, getNextSibling, getParent

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

Constructor Detail

Script

public Script()

the stuff we need for traversal

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class ScriptElementContainer

process

public void process(ElementProcessor p)

Specified by:

process in class ScriptElement