public interface IExecutionStart extends IExecutionNode<SourceElement>
The start node of a symbolic execution tree.
The default implementation is ExecutionStart
which
is instantiated via a SymbolicExecutionTreeBuilder
instance.
SymbolicExecutionTreeBuilder
,
ExecutionStart
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
DEFAULT_START_NODE_NAME
The default name of an
IExecutionStart . |
INTERNAL_NODE_NAME_END, INTERNAL_NODE_NAME_START
Modifier and Type | Method and Description |
---|---|
ImmutableList<IExecutionTermination> |
getTerminations()
Returns the up to now discovered
IExecutionTermination s. |
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
static final java.lang.String DEFAULT_START_NODE_NAME
IExecutionStart
.ImmutableList<IExecutionTermination> getTerminations()
IExecutionTermination
s.IExecutionTermination
s.