public static class ExecutionNodeReader.KeYlessExceptionalMethodReturn extends ExecutionNodeReader.AbstractKeYlessBaseExecutionNode<Throw> implements IExecutionExceptionalMethodReturn
IExecutionExceptionalMethodReturn which is independent
from KeY and provides such only children and default attributes.INTERNAL_NODE_NAME_END, INTERNAL_NODE_NAME_START| Constructor and Description |
|---|
KeYlessExceptionalMethodReturn(IExecutionNode<?> parent,
String name,
String formatedPathCondition,
boolean pathConditionChanged,
String signature,
String formatedMethodReturn)
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
String |
getElementType()
Returns a human readable element type name.
|
addCallStateVariable, getCallStateVariables, getFormatedMethodReturnCondition, getMethodCall, getMethodReturnCondition, getSignatureaddCallStackEntry, addChild, addCompletedBlock, addConstraint, addVariable, getActivePositionInfo, getActiveStatement, getBlockCompletionCondition, getCallStack, getChildren, getCompletedBlocks, getConstraints, getCurrentLayout, getFormatedBlockCompletionCondition, getFormatedPathCondition, getInitialLayout, getLayoutsCount, getLayoutsEquivalenceClasses, getModalityPIO, getParent, getPathCondition, getVariables, getVariables, isPathConditionChangedgetAppliedRuleApp, getInitConfig, getName, getProof, getProofNode, getProofNodeInfo, getServices, getSettings, isDisposed, toStringclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitgetCallStateVariables, getFormatedMethodReturnCondition, getMethodCall, getMethodReturnCondition, getSignaturegetActivePositionInfo, getActiveStatement, getBlockCompletionCondition, getCallStack, getChildren, getCompletedBlocks, getConstraints, getCurrentLayout, getFormatedBlockCompletionCondition, getFormatedPathCondition, getInitialLayout, getLayoutsCount, getLayoutsEquivalenceClasses, getParent, getPathCondition, getVariables, getVariables, isPathConditionChangedgetAppliedRuleApp, getInitConfig, getModalityPIO, getName, getProof, getProofNode, getProofNodeInfo, getServices, getSettings, isDisposedpublic KeYlessExceptionalMethodReturn(IExecutionNode<?> parent, String name, String formatedPathCondition, boolean pathConditionChanged, String signature, String formatedMethodReturn)
parent - The parent IExecutionNode.name - The name of this node.formatedPathCondition - The formated path condition.pathConditionChanged - Is the path condition changed compared to parent?signature - The signature.formatedMethodReturn - The formated method return condition.public String getElementType()
getElementType in interface IExecutionElement