Package | Description |
---|---|
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.
|
Modifier and Type | Field and Description |
---|---|
protected ScriptElement |
ScriptElement.nextSibling |
protected ScriptElement |
ScriptElement.parent |
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() |
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) |
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) |