public interface IExecutionJoin extends IExecutionNode<SourceElement>
A node in the symbolic execution tree which represents a join.
The default implementation is ExecutionJoin
which
is instantiated via a SymbolicExecutionTreeBuilder
instance.
SymbolicExecutionTreeBuilder
,
ExecutionJoin
INTERNAL_NODE_NAME_END, INTERNAL_NODE_NAME_START
Modifier and Type | Method and Description |
---|---|
boolean |
isWeakeningVerificationSupported()
Checks if the weakening verification is supported.
|
boolean |
isWeakeningVerified()
Checks if the weakening is verified.
|
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 isWeakeningVerified()
true
is verified, false
is not verified.boolean isWeakeningVerificationSupported()
true
supported, false
not supported.