Package | Description |
---|---|
gov.nasa.jpf.util.script |
Modifier and Type | Method and Description |
---|---|
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) |
Modifier and Type | Method and Description |
---|---|
List<Event> |
Event.expand()
this is an interesting little exercise since we have to cover all
combinations of parameter values, which would normally be a simple set
of nested loops, only that the number of parameters is a variable itself
(I'm notoriously bad at this)
|
Modifier and Type | Method and Description |
---|---|
void |
ElementProcessor.process(Event e) |
void |
StringSetGenerator.process(Event e) |
Modifier and Type | Method and Description |
---|---|
protected abstract CG |
ScriptEnvironment.createCGFromEvents(String id,
List<Event> events) |