public static class JavascriptCommand.JavascriptInterface
extends java.lang.Object
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) |
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
Copyright © 2003-2019 The KeY-Project.