de.uka.ilkd.key.macros.scripts

Class NoArgumentCommand

java.lang.Object

de.uka.ilkd.key.macros.scripts.NoArgumentCommand

All Implemented Interfaces:

ProofScriptCommand<java.lang.Void>

Direct Known Subclasses:

ActivateCommand, ExitCommand, LeaveCommand, SkipCommand

public abstract class NoArgumentCommand
extends java.lang.Object
implements ProofScriptCommand<java.lang.Void>

Version:

1 (28.03.17)

Author:

Alexander Weigl

Constructor Summary

Constructors

Constructor and Description
NoArgumentCommand()

Method Summary

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.

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

execute, getName

Constructor Detail

NoArgumentCommand

public NoArgumentCommand()

Method Detail

getArguments

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

Specified by:

getArguments in interface ProofScriptCommand<java.lang.Void>

evaluateArguments

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

Specified by:

evaluateArguments in interface ProofScriptCommand<java.lang.Void>

Returns:

getDocumentation

public java.lang.String getDocumentation()

Description copied from interface: ProofScriptCommand

A documentation for the commands.

Specified by:

getDocumentation in interface ProofScriptCommand<java.lang.Void>

Returns:

a non-null string