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
IExecutionNode s. |
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.
|