de.uka.ilkd.key.macros.scripts

Class JavascriptCommand

java.lang.Object

de.uka.ilkd.key.macros.scripts.AbstractCommand

de.uka.ilkd.key.macros.scripts.JavascriptCommand

All Implemented Interfaces:

ProofScriptCommand

public class JavascriptCommand
extends AbstractCommand

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	JavascriptCommand.JavascriptInterface

Field Summary

Fields

Modifier and Type	Field and Description
private static String	PREAMBLE

Fields inherited from class de.uka.ilkd.key.macros.scripts.AbstractCommand

ABBREV_KEY, GOAL_KEY

Constructor Summary

Constructors

Constructor and Description
JavascriptCommand()

Method Summary

Modifier and Type	Method and Description
void	execute(AbstractUserInterfaceControl uiControl, Proof proof, Map<String,String> args, Map<String,Object> stateMap)
String	getName()

Methods inherited from class de.uka.ilkd.key.macros.scripts.AbstractCommand

getFirstOpenGoal, getGoal, getMaxAutomaticSteps, setMaxAutomaticSteps, toSort, toTerm

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

PREAMBLE

private static final String PREAMBLE

See Also:

Constant Field Values

Constructor Detail

JavascriptCommand

public JavascriptCommand()

Method Detail

execute

public void execute(AbstractUserInterfaceControl uiControl,
                    Proof proof,
                    Map<String,String> args,
                    Map<String,Object> stateMap)
             throws ScriptException,
                    InterruptedException

Throws:

ScriptException

InterruptedException

getName

public String getName()