public interface IExecutionBranchStatement extends IExecutionBlockStartNode<BranchStatement>
A node in the symbolic execution tree which represents a node which
creates multiple child branches defined by branch conditions (ISEDBranchCondition),
e.g. if(x >= 0).
The default implementation is ExecutionBranchStatement which
is instantiated via a SymbolicExecutionTreeBuilder instance.
SymbolicExecutionTreeBuilder,
ExecutionBranchStatementINTERNAL_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