public class FocusOnSelectionAndHideCommand extends AbstractCommand<de.uka.ilkd.key.macros.scripts.FocusOnSelectionAndHideCommand.Parameters>
documentation, log, proof, service, state, uiControl
Constructor and Description |
---|
FocusOnSelectionAndHideCommand() |
Modifier and Type | Method and Description |
---|---|
void |
execute(de.uka.ilkd.key.macros.scripts.FocusOnSelectionAndHideCommand.Parameters s) |
java.lang.String |
getName()
Returns the name of this proof command.
|
evaluateArguments, execute, getArguments, getDocumentation
public void execute(de.uka.ilkd.key.macros.scripts.FocusOnSelectionAndHideCommand.Parameters s) throws ScriptException, java.lang.InterruptedException
execute
in class AbstractCommand<de.uka.ilkd.key.macros.scripts.FocusOnSelectionAndHideCommand.Parameters>
ScriptException
java.lang.InterruptedException
public java.lang.String getName()
ProofScriptCommand
ProofScriptEngine
Copyright © 2003-2019 The KeY-Project.