public abstract class ScriptEnvironment<CG extends ChoiceGenerator<?>> extends java.lang.Object implements StateExtensionClient<gov.nasa.jpf.util.script.ScriptEnvironment.ActiveSnapshot>
Constructor and Description |
---|
ScriptEnvironment(java.lang.String fname) |
ScriptEnvironment(java.lang.String name,
java.io.Reader r) |
Modifier and Type | Method and Description |
---|---|
protected abstract CG |
createCGFromEvents(java.lang.String id,
java.util.List<Event> events) |
CG |
getNext(java.lang.String id) |
CG |
getNext(java.lang.String id,
java.lang.String[] activeStates) |
CG |
getNext(java.lang.String id,
java.lang.String[] activeStates,
java.util.BitSet isReEntered) |
gov.nasa.jpf.util.script.ScriptEnvironment.ActiveSnapshot |
getStateExtension() |
void |
parseScript() |
void |
registerListener(JPF jpf) |
void |
restore(gov.nasa.jpf.util.script.ScriptEnvironment.ActiveSnapshot stateExtension) |
public ScriptEnvironment(java.lang.String fname) throws java.io.FileNotFoundException
java.io.FileNotFoundException
public ScriptEnvironment(java.lang.String name, java.io.Reader r)
public void parseScript() throws ESParser.Exception
ESParser.Exception
public CG getNext(java.lang.String id)
public CG getNext(java.lang.String id, java.lang.String[] activeStates)
public CG getNext(java.lang.String id, java.lang.String[] activeStates, java.util.BitSet isReEntered)
protected abstract CG createCGFromEvents(java.lang.String id, java.util.List<Event> events)
public gov.nasa.jpf.util.script.ScriptEnvironment.ActiveSnapshot getStateExtension()
getStateExtension
in interface StateExtensionClient<gov.nasa.jpf.util.script.ScriptEnvironment.ActiveSnapshot>
public void restore(gov.nasa.jpf.util.script.ScriptEnvironment.ActiveSnapshot stateExtension)
restore
in interface StateExtensionClient<gov.nasa.jpf.util.script.ScriptEnvironment.ActiveSnapshot>
public void registerListener(JPF jpf)
registerListener
in interface StateExtensionClient<gov.nasa.jpf.util.script.ScriptEnvironment.ActiveSnapshot>