de.uka.ilkd.key.macros.scripts

Class AbstractCommand<T>

java.lang.Object

de.uka.ilkd.key.macros.scripts.AbstractCommand<T>

Type Parameters:

T -

All Implemented Interfaces:

ProofScriptCommand<T>

Direct Known Subclasses:

AssumeCommand, AutoCommand, CutCommand, EchoCommand, FocusOnSelectionAndHideCommand, InstantiateCommand, JavascriptCommand, LetCommand, MacroCommand, RewriteCommand, RuleCommand, SaveInstCommand, SaveNewNameCommand, SchemaVarCommand, ScriptCommand, SelectCommand, SetCommand, SetEchoCommand, SettingsCommand, SMTCommand, TryCloseCommand

public abstract class AbstractCommand<T>
extends java.lang.Object
implements ProofScriptCommand<T>

Inheritance:

Author:

Alexander Weigl

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
AbstractCommand(java.lang.Class<T> clazz)

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.uka.ilkd.key.macros.scripts.ProofScriptCommand

getName

Field Detail

log

protected static java.util.logging.Logger log

proof

protected Proof proof

service

protected Services service

state

protected EngineState state

uiControl

protected AbstractUserInterfaceControl uiControl

documentation

protected java.lang.String documentation

Documentation of this command.

parameterClazz

private final java.lang.Class<T> parameterClazz

...

Constructor Detail

AbstractCommand

public AbstractCommand(java.lang.Class<T> clazz)

Method Detail

getArguments

public java.util.List<ProofScriptArgument> getArguments()

Specified by:

getArguments in interface ProofScriptCommand<T>

evaluateArguments

public T evaluateArguments(EngineState state,
                           java.util.Map<java.lang.String,java.lang.String> arguments)
                    throws java.lang.Exception

Specified by:

evaluateArguments in interface ProofScriptCommand<T>

Returns:

Throws:

java.lang.Exception

execute

public void execute(AbstractUserInterfaceControl uiControl,
                    T args,
                    EngineState stateMap)
             throws ScriptException,
                    java.lang.InterruptedException

Specified by:

execute in interface ProofScriptCommand<T>

Parameters:

uiControl - the current ui controller

args - the script arguments

stateMap - the current state

Throws:

ScriptException - if something bad happens

java.lang.InterruptedException - if something bad happens

execute

protected void execute(T args)
                throws ScriptException,
                       java.lang.InterruptedException

Parameters:

args -

Throws:

ScriptException

java.lang.InterruptedException

getDocumentation

public java.lang.String getDocumentation()

A documentation for the commands.

Specified by:

getDocumentation in interface ProofScriptCommand<T>

Returns:

a non-null string