de.uka.ilkd.key.macros.scripts

Class MacroCommand

java.lang.Object

de.uka.ilkd.key.macros.scripts.AbstractCommand

de.uka.ilkd.key.macros.scripts.MacroCommand

All Implemented Interfaces:

ProofScriptCommand

public class MacroCommand
extends AbstractCommand

Field Summary

Fields

Modifier and Type	Field and Description
private static Map<String,ProofMacro>	macroMap

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

ABBREV_KEY, GOAL_KEY

Constructor Summary

Constructors

Constructor and Description
MacroCommand()

Method Summary

Modifier and Type	Method and Description
void	execute(AbstractUserInterfaceControl uiControl, Proof proof, Map<String,String> args, Map<String,Object> state)
String	getName()
private static Map<String,ProofMacro>	loadMacroMap()

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

getFirstOpenGoal, getGoal, getMaxAutomaticSteps, setMaxAutomaticSteps, toSort, toTerm

Methods inherited from class java.lang.Object

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

Field Detail

macroMap

private static Map<String,ProofMacro> macroMap

Constructor Detail

MacroCommand

public MacroCommand()

Method Detail

getName

public String getName()

execute

public void execute(AbstractUserInterfaceControl uiControl,
                    Proof proof,
                    Map<String,String> args,
                    Map<String,Object> state)
             throws ScriptException,
                    InterruptedException

Throws:

ScriptException

InterruptedException

loadMacroMap

private static Map<String,ProofMacro> loadMacroMap()