public static class JavascriptCommand.JavascriptInterface
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private Proof |
proof |
private EngineState |
state |
Constructor and Description |
---|
JavascriptInterface(Proof proof,
EngineState state) |
Modifier and Type | Method and Description |
---|---|
int |
arg() |
Sequent |
getSelectedGoal() |
void |
setVar(java.lang.String var,
java.lang.String term) |
void |
setVar(java.lang.String var,
Term term) |
private final Proof proof
private final EngineState state
public JavascriptInterface(Proof proof, EngineState state)
public int arg()
public Sequent getSelectedGoal() throws ScriptException
ScriptException
public void setVar(java.lang.String var, Term term) throws ScriptException
ScriptException
public void setVar(java.lang.String var, java.lang.String term) throws ScriptException
ScriptException