public interface IExecutionLoopStatement extends IExecutionBlockStartNode<LoopStatement>
A node in the symbolic execution tree which represents a loop.
e.g. while(x >= 0). The loop condition (x >= 0) itself
is represented as IExecutionLoopCondition instance.
The default implementation is ExecutionLoopStatement which
is instantiated via a SymbolicExecutionTreeBuilder instance.
SymbolicExecutionTreeBuilder,
ExecutionLoopStatementINTERNAL_NODE_NAME_END, INTERNAL_NODE_NAME_STARTgetBlockCompletions, 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, isDisposed