Package | Description |
---|---|
de.uka.ilkd.key.api |
This package gives an high-level entry point to the KeY world.
|
Modifier and Type | Method and Description |
---|---|
ProofScriptCommandCall<?> |
ScriptResult.getCall() |
<T> ProofScriptCommandCall<T> |
ScriptApi.instantiateCommand(ProofScriptCommand<T> command,
java.util.Map<java.lang.String,java.lang.String> arguments)
Evaluate the arguments passed to a command
|
Modifier and Type | Method and Description |
---|---|
static <T> ScriptResult |
ScriptResult.create(Node node,
ProjectedNode onNode,
ProofScriptCommandCall<T> call) |
<T> ScriptResults |
ScriptApi.executeScriptCommand(ProofScriptCommandCall<T> call,
ProjectedNode onNode)
Execute ScriptCommand onto goal node
|
ScriptResult |
ScriptResult.setCall(ProofScriptCommandCall<?> call) |
Copyright © 2003-2019 The KeY-Project.