public class MacroCommand extends AbstractCommand
Modifier and Type | Field and Description |
---|---|
private static Map<String,ProofMacro> |
macroMap |
ABBREV_KEY, GOAL_KEY
Constructor and Description |
---|
MacroCommand() |
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() |
getFirstOpenGoal, getGoal, getMaxAutomaticSteps, setMaxAutomaticSteps, toSort, toTerm
private static Map<String,ProofMacro> macroMap
public String getName()
public void execute(AbstractUserInterfaceControl uiControl, Proof proof, Map<String,String> args, Map<String,Object> state) throws ScriptException, InterruptedException
ScriptException
InterruptedException
private static Map<String,ProofMacro> loadMacroMap()