Uses of Class
gov.nasa.jpf.util.script.ScriptElement

Packages that use ScriptElement

Package	Description
gov.nasa.jpf.util.script

Uses of ScriptElement in gov.nasa.jpf.util.script

Subclasses of ScriptElement in gov.nasa.jpf.util.script

Modifier and Type	Class and Description
class	Alternative ScriptElement that represents an alternative between choices.
class	Event
class	Repetition
class	Script
class	ScriptElementContainer
class	Section this script element is just a way to do logical partitioning of scripts and doesn't bear any additional info than just an id.

Fields in gov.nasa.jpf.util.script declared as ScriptElement

Modifier and Type	Field and Description
protected ScriptElement	ScriptElement.nextSibling
protected ScriptElement	ScriptElement.parent

Methods in gov.nasa.jpf.util.script that return ScriptElement

Modifier and Type	Method and Description
ScriptElement	ScriptElement.clone()
ScriptElement	ScriptElementContainer.getFirstChild()
ScriptElement	SequenceInterpreter.getNext()
ScriptElement	ScriptElement.getNextSibling()
ScriptElement	ScriptElement.getParent()
ScriptElement	ScriptElementContainer.SECIterator.next()

Methods in gov.nasa.jpf.util.script with parameters of type ScriptElement

Modifier and Type	Method and Description
void	ScriptElementContainer.add(ScriptElement e) beware, this sets the nextSibling
Event	ESParser.DefaultEventFactory.createEvent(ScriptElement parent, String id, List<String> args, int line)
Event	EventFactory.createEvent(ScriptElement parent, String id, List<String> args, int line)

Constructors in gov.nasa.jpf.util.script with parameters of type ScriptElement

Constructor and Description
Event(ScriptElement parent, String id, String[] args, int line)
Repetition(ScriptElement parent, int n, int line)
Section(ScriptElement parent, List<String> ids, int line)
Section(ScriptElement parent, String id)