public interface ProofScriptCommand
Modifier and Type | Method and Description |
---|---|
void |
execute(AbstractUserInterfaceControl uiControl,
Proof proof,
Map<String,String> args,
Map<String,Object> stateMap) |
String |
getName() |
void execute(AbstractUserInterfaceControl uiControl, Proof proof, Map<String,String> args, Map<String,Object> stateMap) throws ScriptException, InterruptedException
ScriptException
InterruptedException
String getName()