public interface IExecutionBaseMethodReturn<S extends SourceElement> extends IExecutionNode<S>
IExecutionMethodReturn
and IExecutionExceptionalMethodReturn
.INTERNAL_NODE_NAME_END, INTERNAL_NODE_NAME_START
Modifier and Type | Method and Description |
---|---|
IExecutionVariable[] |
getCallStateVariables()
Returns the variable value pairs of the state when the method has been called.
|
java.lang.String |
getFormatedMethodReturnCondition()
Returns the human readable condition under which this method return is reached from
the calling
IExecutionMethodCall . |
IExecutionMethodCall |
getMethodCall()
A reference to the
IExecutionMethodCall which is now returned. |
Term |
getMethodReturnCondition()
Returns the condition under which this method return is reached from
the calling
IExecutionMethodCall . |
java.lang.String |
getSignature()
Returns a human readable signature which describes this element.
|
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
IExecutionMethodCall getMethodCall()
IExecutionMethodCall
which is now returned.java.lang.String getSignature() throws ProofInputException
ProofInputException
- Occurred Exception.Term getMethodReturnCondition() throws ProofInputException
IExecutionMethodCall
.IExecutionMethodCall
as Term
.ProofInputException
java.lang.String getFormatedMethodReturnCondition() throws ProofInputException
IExecutionMethodCall
.IExecutionMethodCall
.ProofInputException
IExecutionVariable[] getCallStateVariables() throws ProofInputException
ProofInputException