de.uka.ilkd.key.macros.scripts

Class CutCommand

java.lang.Object

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

de.uka.ilkd.key.macros.scripts.CutCommand

All Implemented Interfaces:

ProofScriptCommand<CutCommand.Parameters>

public class CutCommand
extends AbstractCommand<CutCommand.Parameters>

The command object CutCommand has as scriptcommand name "cut" As parameters: a formula with the id "#2"

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	CutCommand.Parameters

Field Summary

Fields

Modifier and Type	Field and Description
private static Name	CUT_TACLET_NAME

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

documentation, log, proof, service, state, uiControl

Constructor Summary

Constructors

Constructor and Description
CutCommand()

Method Summary

Modifier and Type	Method and Description
CutCommand.Parameters	evaluateArguments(EngineState state, java.util.Map<java.lang.String,java.lang.String> arguments)
void	execute(AbstractUserInterfaceControl uiControl, CutCommand.Parameters args, EngineState state)
java.lang.String	getName() Returns the name of this proof command.

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

execute, getArguments, getDocumentation

Methods inherited from class java.lang.Object

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

Field Detail

CUT_TACLET_NAME

private static final Name CUT_TACLET_NAME

Constructor Detail

CutCommand

public CutCommand()

Method Detail

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

evaluateArguments

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

Specified by:

evaluateArguments in interface ProofScriptCommand<CutCommand.Parameters>

Overrides:

evaluateArguments in class AbstractCommand<CutCommand.Parameters>

Returns:

Throws:

java.lang.Exception

execute

public void execute(AbstractUserInterfaceControl uiControl,
                    CutCommand.Parameters args,
                    EngineState state)
             throws ScriptException,
                    java.lang.InterruptedException

Specified by:

execute in interface ProofScriptCommand<CutCommand.Parameters>

Overrides:

execute in class AbstractCommand<CutCommand.Parameters>

Parameters:

uiControl -

args -

state -

Throws:

ScriptException

java.lang.InterruptedException