Class and Description |
---|
IExecutionAuxiliaryContract
A node in the symbolic execution tree which represents a use block/loop contract application.
|
IExecutionBaseMethodReturn
Defines the common interface of
IExecutionMethodReturn
and IExecutionExceptionalMethodReturn . |
IExecutionBlockStartNode
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
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.
|
IExecutionTermination.TerminationKind
Defines the possible termination kinds.
|
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.
|
Class and Description |
---|
IExecutionBaseMethodReturn
Defines the common interface of
IExecutionMethodReturn
and IExecutionExceptionalMethodReturn . |
IExecutionBlockStartNode
An extended
IExecutionNode which groups several child nodes. |
IExecutionConstraint
A constrained considered during symbolic execution.
|
IExecutionElement
Defines the basic methods and properties each element in the
symbolic execution tree model has.
|
IExecutionLink
A link between two
IExecutionNode s. |
IExecutionMethodCall
A node in the symbolic execution tree which represents a method call,
e.g.
|
IExecutionMethodReturnValue
A return value of an
IExecutionMethodReturn . |
IExecutionNode
Provides the basic methods each node in a symbolic execution tree
should have and allows to access the children.
|
IExecutionTermination
A node in the symbolic execution tree which represents the normal termination of a branch,
e.g.
|
IExecutionTermination.TerminationKind
Defines the possible termination kinds.
|
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.
|
Class and Description |
---|
IExecutionAuxiliaryContract
A node in the symbolic execution tree which represents a use block/loop contract application.
|
IExecutionBaseMethodReturn
Defines the common interface of
IExecutionMethodReturn
and IExecutionExceptionalMethodReturn . |
IExecutionBlockStartNode
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
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.
|
IExecutionTermination.TerminationKind
Defines the possible termination kinds.
|
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.
|
Class and Description |
---|
IExecutionConstraint
A constrained considered during symbolic execution.
|
IExecutionElement
Defines the basic methods and properties each element in the
symbolic execution tree model has.
|
IExecutionNode
Provides the basic methods each node in a symbolic execution tree
should have and allows to access the children.
|
IExecutionVariable
A variable value pair contained in an
IExecutionNode , e.g. |
Copyright © 2003-2019 The KeY-Project.