public static class JavascriptCommand.JavascriptInterface extends Object
Modifier and Type | Field and Description |
---|---|
private Proof |
proof |
private Map<String,Object> |
state |
Constructor and Description |
---|
JavascriptCommand.JavascriptInterface(Proof proof,
Map<String,Object> state) |
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