public interface IExecutionMethodReturn extends IExecutionBaseMethodReturn<SourceElement>
A node in the symbolic execution tree which represents a method return,
e.g. return 42
.
The default implementation is ExecutionMethodReturn
which
is instantiated via a SymbolicExecutionTreeBuilder
instance.
SymbolicExecutionTreeBuilder
,
ExecutionMethodReturn
INTERNAL_NODE_NAME_END, INTERNAL_NODE_NAME_START
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getNameIncludingReturnValue()
Returns the human readable node name including the return value (
getReturnValues() ). |
IExecutionMethodReturnValue[] |
getReturnValues()
Returns the possible return values.
|
java.lang.String |
getSignatureIncludingReturnValue()
Returns the human readable signature including the return value (
getReturnValues() ). |
boolean |
isReturnValuesComputed()
Checks if the values of
getReturnValues() are already computed. |
getCallStateVariables, getFormatedMethodReturnCondition, getMethodCall, getMethodReturnCondition, getSignature
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
java.lang.String getNameIncludingReturnValue() throws ProofInputException
getReturnValues()
).ProofInputException
- Occurred Exception.java.lang.String getSignatureIncludingReturnValue() throws ProofInputException
getReturnValues()
).ProofInputException
- Occurred Exception.boolean isReturnValuesComputed()
getReturnValues()
are already computed.true
value of getReturnValues()
are already computed, false
values of getReturnValues()
needs to be computed.IExecutionMethodReturnValue[] getReturnValues() throws ProofInputException
ProofInputException
- Occurred Exception.