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 |
---|---|
static <T> ScriptResult |
ScriptResult.create(Node node,
ProjectedNode onNode,
ProofScriptCommandCall<T> call) |
ScriptResult |
ScriptResults.get(int index) |
ScriptResult |
ScriptResults.remove(int index) |
ScriptResult |
ScriptResults.set(int index,
ScriptResult element) |
ScriptResult |
ScriptResult.setCall(ProofScriptCommandCall<?> call) |
ScriptResult |
ScriptResult.setLabels(java.util.Set<java.util.List<java.lang.String>> labels) |
ScriptResult |
ScriptResult.setLinenumbers(java.util.List<PositionInfo> linenumbers) |
ScriptResult |
ScriptResult.setNewNode(ProjectedNode newNode) |
ScriptResult |
ScriptResult.setParentNode(ProjectedNode parentNode) |
Modifier and Type | Method and Description |
---|---|
java.util.Iterator<ScriptResult> |
ScriptResults.iterator() |
java.util.ListIterator<ScriptResult> |
ScriptResults.listIterator() |
java.util.ListIterator<ScriptResult> |
ScriptResults.listIterator(int index) |
java.util.stream.Stream<ScriptResult> |
ScriptResults.parallelStream() |
java.util.Spliterator<ScriptResult> |
ScriptResults.spliterator() |
java.util.stream.Stream<ScriptResult> |
ScriptResults.stream() |
java.util.List<ScriptResult> |
ScriptResults.subList(int fromIndex,
int toIndex) |
Modifier and Type | Method and Description |
---|---|
void |
ScriptResults.add(int index,
ScriptResult element) |
boolean |
ScriptResults.add(ScriptResult scriptResult) |
ScriptResult |
ScriptResults.set(int index,
ScriptResult element) |
Modifier and Type | Method and Description |
---|---|
boolean |
ScriptResults.addAll(java.util.Collection<? extends ScriptResult> c) |
boolean |
ScriptResults.addAll(int index,
java.util.Collection<? extends ScriptResult> c) |
void |
ScriptResults.forEach(java.util.function.Consumer<? super ScriptResult> action) |
boolean |
ScriptResults.removeIf(java.util.function.Predicate<? super ScriptResult> filter) |
void |
ScriptResults.replaceAll(java.util.function.UnaryOperator<ScriptResult> operator) |
void |
ScriptResults.sort(java.util.Comparator<? super ScriptResult> c) |
Copyright © 2003-2019 The KeY-Project.