public abstract class NoArgumentCommand extends java.lang.Object implements ProofScriptCommand<java.lang.Void>
Constructor and Description |
---|
NoArgumentCommand() |
Modifier and Type | Method and Description |
---|---|
java.lang.Void |
evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
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
execute, getName
public java.util.List<ProofScriptArgument> getArguments()
getArguments
in interface ProofScriptCommand<java.lang.Void>
public java.lang.Void evaluateArguments(EngineState state, java.util.Map<java.lang.String,java.lang.String> arguments)
evaluateArguments
in interface ProofScriptCommand<java.lang.Void>
public java.lang.String getDocumentation()
ProofScriptCommand
getDocumentation
in interface ProofScriptCommand<java.lang.Void>