public interface IExecutionBlockStartNode<S extends SourceElement> extends IExecutionNode<S>
IExecutionNode
which groups several child nodes.INTERNAL_NODE_NAME_END, INTERNAL_NODE_NAME_START
Modifier and Type | Method and Description |
---|---|
ImmutableList<IExecutionNode<?>> |
getBlockCompletions()
Returns the up to now discovered
IExecutionNode s. |
boolean |
isBlockOpened()
Checks if a block might be opened.
|
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
boolean isBlockOpened()
false
block is definitively not opened, true
block is or might be opened.ImmutableList<IExecutionNode<?>> getBlockCompletions()
IExecutionNode
s.IExecutionNode
s.