public interface IExecutionLoopCondition extends IExecutionBlockStartNode<JavaStatement>
A node in the symbolic execution tree which represents a loop condition,
e.g. x >= 0
.
The default implementation is ExecutionLoopCondition
which
is instantiated via a SymbolicExecutionTreeBuilder
instance.
SymbolicExecutionTreeBuilder
,
ExecutionLoopCondition
INTERNAL_NODE_NAME_END, INTERNAL_NODE_NAME_START
Modifier and Type | Method and Description |
---|---|
Expression |
getGuardExpression()
Returns the loop expression which is executed.
|
PositionInfo |
getGuardExpressionPositionInfo()
Returns the code position of the executed loop expression (
getGuardExpression() ). |
getBlockCompletions, isBlockOpened
getActivePositionInfo, getActiveStatement, getBlockCompletionCondition, getCallStack, getChildren, getCompletedBlocks, getConstraints, getCurrentLayout, getFormatedBlockCompletionCondition, getFormatedPathCondition, getIncomingLink, getIncomingLinks, getInitialLayout, getLayoutsCount, getLayoutsEquivalenceClasses, getOutgoingLink, getOutgoingLinks, getParent, getPathCondition, getVariables, getVariables, isPathConditionChanged
getAppliedRuleApp, getElementType, getInitConfig, getModalityPIO, getName, getProof, getProofNode, getProofNodeInfo, getServices, getSettings, isDisposed
Expression getGuardExpression()
PositionInfo getGuardExpressionPositionInfo()
getGuardExpression()
).