Package | Description |
---|---|
gov.nasa.jpf.util.script |
Modifier and Type | Class and Description |
---|---|
class |
EventGeneratorFactory
abstract root for backtrackable event generator factories
<2do> - we don't support backtracking for sections yet! needs to be implemented for
state charts
|
class |
StringSetGenerator
that's mostly a test class to see what a script would be expanded to w/o
having any side effects in the ElementProcessor
|
Modifier and Type | Method and Description |
---|---|
abstract void |
ScriptElement.process(ElementProcessor proc) |
void |
Section.process(ElementProcessor proc) |
void |
Alternative.process(ElementProcessor p) |
void |
Script.process(ElementProcessor p) |
void |
Repetition.process(ElementProcessor p) |
void |
Event.process(ElementProcessor p) |
void |
ScriptElementContainer.processChildren(ElementProcessor p) |