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,
ExecutionLoopConditionINTERNAL_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, isBlockOpenedgetActivePositionInfo, getActiveStatement, getBlockCompletionCondition, getCallStack, getChildren, getCompletedBlocks, getConstraints, getCurrentLayout, getFormatedBlockCompletionCondition, getFormatedPathCondition, getIncomingLink, getIncomingLinks, getInitialLayout, getLayoutsCount, getLayoutsEquivalenceClasses, getOutgoingLink, getOutgoingLinks, getParent, getPathCondition, getVariables, getVariables, isPathConditionChangedgetAppliedRuleApp, getElementType, getInitConfig, getModalityPIO, getName, getProof, getProofNode, getProofNodeInfo, getServices, getSettings, isDisposedExpression getGuardExpression()
PositionInfo getGuardExpressionPositionInfo()
getGuardExpression()).