ProofScriptCommand (KeY API Documentation)

All Known Implementing Classes:

AbstractCommand, AutoCommand, CutCommand, ExitCommand, InstantiateCommand, JavascriptCommand, LeaveCommand, LetCommand, MacroCommand, RuleCommand, SchemaVarCommand, ScriptCommand, SelectCommand, SetCommand, SMTCommand, TryCloseCommand
```
public interface ProofScriptCommand
```

Method Summary

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

Method Detail

execute

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

Throws:: ScriptException; InterruptedException

getName
```
String getName()
```

Interface ProofScriptCommand

Method Summary

Method Detail

execute

getName