de.uka.ilkd.key.macros.scripts

Class SettingsCommand

java.lang.Object

de.uka.ilkd.key.macros.scripts.AbstractCommand<SettingsCommand.Parameters>

de.uka.ilkd.key.macros.scripts.SettingsCommand

All Implemented Interfaces:

ProofScriptCommand<SettingsCommand.Parameters>

public class SettingsCommand
extends AbstractCommand<SettingsCommand.Parameters>

This command is used to set variables in the proof environment.

Version:

1 (11.05.17)

Author:

Alexander Weigl

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SettingsCommand.Parameters

Field Summary

Fields inherited from class de.uka.ilkd.key.macros.scripts.AbstractCommand

documentation, log, proof, service, state, uiControl

Constructor Summary

Constructors

Constructor and Description
SettingsCommand()

Method Summary

Modifier and Type	Method and Description
protected void	execute(SettingsCommand.Parameters args)
java.lang.String	getName() Returns the name of this proof command.

Methods inherited from class de.uka.ilkd.key.macros.scripts.AbstractCommand

evaluateArguments, execute, getArguments, getDocumentation

Methods inherited from class java.lang.Object

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

Constructor Detail

SettingsCommand

public SettingsCommand()

Method Detail

execute

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

Overrides:

execute in class AbstractCommand<SettingsCommand.Parameters>

Throws:

ScriptException

java.lang.InterruptedException

getName

public java.lang.String getName()

Description copied from interface: ProofScriptCommand

Returns the name of this proof command. The name should be constant and not be clash with the name of other commands. The name is essential for finding this command within an hashmap.

Returns:

a non-null, non-empty string

See Also:

ProofScriptEngine