uk.ac.ox.cs.fdr
public class Session extends java.lang.Object
Modifier | Constructor and Description |
---|---|
|
Session() |
protected |
Session(long cPtr,
boolean cMemoryOwn) |
Modifier and Type | Method and Description |
---|---|
AssertionList |
assertions() |
long |
compileEvent(Event event) |
void |
delete() |
StringEvaluatorResult |
evaluateExpression(java.lang.String expression,
Canceller canceller) |
MachineEvaluatorResult |
evaluateProcess(java.lang.String expression,
SemanticModel semantic_model,
Canceller canceller) |
protected void |
finalize() |
protected static long |
getCPtr(Session obj) |
StringList |
loadFile(java.lang.String file_path) |
StringList |
loadStringsAsFile(java.lang.String root_file_path,
java.util.Map<java.lang.String,java.lang.String> file_contents) |
ProcessName |
machineName(Machine machine) |
ProcessName |
machineNodeName(Machine machine,
Node node) |
AssertionEvaluatorResult |
parseAssertion(java.lang.String assertion) |
PrintStatementList |
printStatements() |
Event |
uncompileEvent(long event) |
EventList |
uncompileEvents(CompiledEventList events) |
protected Session(long cPtr, boolean cMemoryOwn)
public Session()
protected static long getCPtr(Session obj)
protected void finalize()
finalize
in class java.lang.Object
public void delete()
public StringList loadFile(java.lang.String file_path)
public StringList loadStringsAsFile(java.lang.String root_file_path, java.util.Map<java.lang.String,java.lang.String> file_contents)
public AssertionList assertions()
public PrintStatementList printStatements()
public StringEvaluatorResult evaluateExpression(java.lang.String expression, Canceller canceller)
public MachineEvaluatorResult evaluateProcess(java.lang.String expression, SemanticModel semantic_model, Canceller canceller)
public AssertionEvaluatorResult parseAssertion(java.lang.String assertion)
public long compileEvent(Event event)
public Event uncompileEvent(long event)
public EventList uncompileEvents(CompiledEventList events)
public ProcessName machineName(Machine machine)
public ProcessName machineNodeName(Machine machine, Node node)