| Interface | Description |
|---|---|
| IExecutionAuxiliaryContract |
A node in the symbolic execution tree which represents a use block/loop contract application.
|
| IExecutionBaseMethodReturn<S extends SourceElement> |
Defines the common interface of
IExecutionMethodReturn
and IExecutionExceptionalMethodReturn. |
| IExecutionBlockStartNode<S extends SourceElement> |
An extended
IExecutionNode which groups several child nodes. |
| IExecutionBranchCondition |
A node in the symbolic execution tree which represents a branch condition,
e.g.
|
| IExecutionBranchStatement |
A node in the symbolic execution tree which represents a node which
creates multiple child branches defined by branch conditions (
ISEDBranchCondition),
e.g. |
| IExecutionConstraint |
A constrained considered during symbolic execution.
|
| IExecutionElement |
Defines the basic methods and properties each element in the
symbolic execution tree model has.
|
| IExecutionExceptionalMethodReturn |
A node in the symbolic execution tree which represents a exceptional method return.
|
| IExecutionJoin |
A node in the symbolic execution tree which represents a join.
|
| IExecutionLink |
A link between two
IExecutionNodes. |
| IExecutionLoopCondition |
A node in the symbolic execution tree which represents a loop condition,
e.g.
|
| IExecutionLoopInvariant |
A node in the symbolic execution tree which represents a loop invariant application.
|
| IExecutionLoopStatement |
A node in the symbolic execution tree which represents a loop.
|
| IExecutionMethodCall |
A node in the symbolic execution tree which represents a method call,
e.g.
|
| IExecutionMethodReturn |
A node in the symbolic execution tree which represents a method return,
e.g.
|
| IExecutionMethodReturnValue |
A return value of an
IExecutionMethodReturn. |
| IExecutionNode<S extends SourceElement> |
Provides the basic methods each node in a symbolic execution tree
should have and allows to access the children.
|
| IExecutionOperationContract |
A node in the symbolic execution tree which represents a use operation contract application.
|
| IExecutionStart |
The start node of a symbolic execution tree.
|
| IExecutionStatement |
A node in the symbolic execution tree which represents a single statement,
e.g.
|
| IExecutionTermination |
A node in the symbolic execution tree which represents the normal termination of a branch,
e.g.
|
| IExecutionValue |
A value of an
IExecutionVariable, e.g. |
| IExecutionVariable |
A variable value pair contained in an
IExecutionNode, e.g. |
| ITreeSettings |
Provides the settings used to construct the symbolic execution tree.
|
| Enum | Description |
|---|---|
| IExecutionTermination.TerminationKind |
Defines the possible termination kinds.
|