Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution | |
de.uka.ilkd.key.symbolic_execution.model | |
de.uka.ilkd.key.symbolic_execution.model.impl |
Modifier and Type | Class and Description |
---|---|
static class |
ExecutionNodeReader.AbstractKeYlessBaseExecutionNode<S extends SourceElement>
An implementation of
IExecutionBaseMethodReturn which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.KeYlessExceptionalMethodReturn
An implementation of
IExecutionExceptionalMethodReturn which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.KeYlessMethodReturn
An implementation of
IExecutionMethodReturn which is independent
from KeY and provides such only children and default attributes. |
Modifier and Type | Method and Description |
---|---|
IExecutionBaseMethodReturn<?>[] |
SymbolicExecutionTreeBuilder.SymbolicExecutionCompletions.getMethodReturns()
Returns the newly methods return.
|
Modifier and Type | Method and Description |
---|---|
ImmutableList<IExecutionBaseMethodReturn<?>> |
ExecutionNodeReader.KeYlessMethodCall.getMethodReturns()
Returns the up to now discovered
IExecutionBaseMethodReturn s. |
Modifier and Type | Method and Description |
---|---|
void |
ExecutionNodeReader.KeYlessMethodCall.addMethodReturn(IExecutionBaseMethodReturn<?> methodReturn)
Adds the given
IExecutionBaseMethodReturn> . |
protected void |
ExecutionNodeWriter.appendCallStateVariables(int level,
IExecutionBaseMethodReturn<?> node,
boolean saveVariables,
boolean saveConstraints,
java.lang.StringBuffer sb)
Appends the contained
IExecutionVariable s to the given StringBuffer . |
Modifier and Type | Interface and Description |
---|---|
interface |
IExecutionExceptionalMethodReturn
A node in the symbolic execution tree which represents a exceptional method return.
|
interface |
IExecutionMethodReturn
A node in the symbolic execution tree which represents a method return,
e.g.
|
Modifier and Type | Method and Description |
---|---|
ImmutableList<IExecutionBaseMethodReturn<?>> |
IExecutionMethodCall.getMethodReturns()
Returns the up to now discovered
IExecutionBaseMethodReturn s. |
Modifier and Type | Class and Description |
---|---|
class |
AbstractExecutionMethodReturn<S extends SourceElement>
The default implementation of
IExecutionBaseMethodReturn . |
class |
ExecutionExceptionalMethodReturn
The default implementation of
IExecutionExceptionalMethodReturn . |
class |
ExecutionMethodReturn
The default implementation of
IExecutionMethodReturn . |
Modifier and Type | Method and Description |
---|---|
ImmutableList<IExecutionBaseMethodReturn<?>> |
ExecutionMethodCall.getMethodReturns()
Returns the up to now discovered
IExecutionBaseMethodReturn s. |
Modifier and Type | Method and Description |
---|---|
void |
ExecutionMethodCall.addMethodReturn(IExecutionBaseMethodReturn<?> methodReturn)
Registers the given
IExecutionBaseMethodReturn . |
void |
ExecutionMethodCall.removeMethodReturn(IExecutionBaseMethodReturn<?> methodReturn)
Removes the given
IExecutionBaseMethodReturn . |
Copyright © 2003-2019 The KeY-Project.