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
,
ExecutionBranchStatement
INTERNAL_NODE_NAME_END, INTERNAL_NODE_NAME_START
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