public class AssertCommand extends AbstractCommand<AssertCommand.Parameters>
Modifier and Type | Class and Description |
---|---|
static class |
AssertCommand.Parameters
The Assigned parameters (currently only the passed goals).
|
documentation, log, proof, service, state, uiControl
Constructor and Description |
---|
AssertCommand()
Instantiates a new assert command.
|
Modifier and Type | Method and Description |
---|---|
AssertCommand.Parameters |
evaluateArguments(EngineState state,
java.util.Map<java.lang.String,java.lang.String> arguments) |
void |
execute(AssertCommand.Parameters args) |
java.lang.String |
getName()
Returns the name of this proof command.
|
execute, getArguments, getDocumentation
public AssertCommand.Parameters evaluateArguments(EngineState state, java.util.Map<java.lang.String,java.lang.String> arguments) throws java.lang.Exception
evaluateArguments
in interface ProofScriptCommand<AssertCommand.Parameters>
evaluateArguments
in class AbstractCommand<AssertCommand.Parameters>
java.lang.Exception
public void execute(AssertCommand.Parameters args) throws ScriptException, java.lang.InterruptedException
execute
in class AbstractCommand<AssertCommand.Parameters>
ScriptException
java.lang.InterruptedException
public java.lang.String getName()
ProofScriptCommand
ProofScriptEngine
Copyright © 2003-2019 The KeY-Project.