Package | Description |
---|---|
gov.nasa.jpf.util.script |
Modifier and Type | Class and Description |
---|---|
class |
Alternative
ScriptElement that represents an alternative between choices.
|
class |
Repetition |
class |
Script |
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 | Method and Description |
---|---|
protected void |
ESParser.alternative(ScriptElementContainer parent) |
protected void |
ESParser.event(ScriptElementContainer parent) |
protected void |
ESParser.repetition(ScriptElementContainer parent) |
protected void |
ESParser.section(ScriptElementContainer parent) |
protected void |
ESParser.sequence(ScriptElementContainer parent) |
Constructor and Description |
---|
SequenceInterpreter(ScriptElementContainer seq) |