public class JavascriptCommand extends AbstractCommand
Modifier and Type | Class and Description |
---|---|
static class |
JavascriptCommand.JavascriptInterface |
Modifier and Type | Field and Description |
---|---|
private static String |
PREAMBLE |
ABBREV_KEY, GOAL_KEY
Constructor and Description |
---|
JavascriptCommand() |
Modifier and Type | Method and Description |
---|---|
void |
execute(AbstractUserInterfaceControl uiControl,
Proof proof,
Map<String,String> args,
Map<String,Object> stateMap) |
String |
getName() |
getFirstOpenGoal, getGoal, getMaxAutomaticSteps, setMaxAutomaticSteps, toSort, toTerm
private static final String PREAMBLE
public void execute(AbstractUserInterfaceControl uiControl, Proof proof, Map<String,String> args, Map<String,Object> stateMap) throws ScriptException, InterruptedException
ScriptException
InterruptedException
public String getName()