T
- public abstract class AbstractCommand<T> extends java.lang.Object implements ProofScriptCommand<T>
Inheritance:
Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
documentation
Documentation of this command.
|
protected static java.util.logging.Logger |
log |
private java.lang.Class<T> |
parameterClazz
...
|
protected Proof |
proof |
protected Services |
service |
protected EngineState |
state |
protected AbstractUserInterfaceControl |
uiControl |
Constructor and Description |
---|
AbstractCommand(java.lang.Class<T> clazz) |
Modifier and Type | Method and Description |
---|---|
T |
evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
void |
execute(AbstractUserInterfaceControl uiControl,
T args,
EngineState stateMap) |
protected void |
execute(T args) |
java.util.List<ProofScriptArgument> |
getArguments() |
java.lang.String |
getDocumentation()
A documentation for the commands.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getName
protected static java.util.logging.Logger log
protected Proof proof
protected Services service
protected EngineState state
protected AbstractUserInterfaceControl uiControl
protected java.lang.String documentation
private final java.lang.Class<T> parameterClazz
public AbstractCommand(java.lang.Class<T> clazz)
public java.util.List<ProofScriptArgument> getArguments()
getArguments
in interface ProofScriptCommand<T>
public T evaluateArguments(EngineState state, java.util.Map<java.lang.String,java.lang.String> arguments) throws java.lang.Exception
evaluateArguments
in interface ProofScriptCommand<T>
java.lang.Exception
public void execute(AbstractUserInterfaceControl uiControl, T args, EngineState stateMap) throws ScriptException, java.lang.InterruptedException
execute
in interface ProofScriptCommand<T>
uiControl
- the current ui controllerargs
- the script argumentsstateMap
- the current stateScriptException
- if something bad happensjava.lang.InterruptedException
- if something bad happensprotected void execute(T args) throws ScriptException, java.lang.InterruptedException
args
- ScriptException
java.lang.InterruptedException
public java.lang.String getDocumentation()
getDocumentation
in interface ProofScriptCommand<T>