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