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