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 |
---|---|
ProjectedNode |
ProofApi.getFirstOpenGoal() |
ProjectedNode |
ScriptApi.getIntermediateTree(ScriptResults root,
ScriptResults end)
~> Beweisbaum -> Shallow Copy
hier implementieren
|
ProjectedNode |
ScriptResult.getNewNode() |
ProjectedNode |
ProjectedNode.getParent() |
ProjectedNode |
ScriptResult.getParentNode() |
ProjectedNode |
ScriptResult.getProjectedNode() |
static ProjectedNode |
ProjectedNode.pseudoRoot() |
Modifier and Type | Method and Description |
---|---|
java.util.List<ProjectedNode> |
ProofApi.getOpenGoals() |
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.setNewNode(ProjectedNode newNode) |
ScriptResult |
ScriptResult.setParentNode(ProjectedNode parentNode) |
Constructor and Description |
---|
ProjectedNode(Node node,
ProjectedNode parent)
Creates the wrapper object for a proof node
|
Copyright © 2003-2019 The KeY-Project.