de.uka.ilkd.key.symbolic_execution.model

Interface IExecutionExceptionalMethodReturn

All Superinterfaces:

IExecutionBaseMethodReturn<Throw>, IExecutionElement, IExecutionNode<Throw>

All Known Implementing Classes:

ExecutionExceptionalMethodReturn, ExecutionNodeReader.KeYlessExceptionalMethodReturn

public interface IExecutionExceptionalMethodReturn
extends IExecutionBaseMethodReturn<Throw>

A node in the symbolic execution tree which represents a exceptional method return.

The default implementation is ExecutionExceptionalMethodReturn which is instantiated via a SymbolicExecutionTreeBuilder instance.

Author:

Martin Hentschel

See Also:

SymbolicExecutionTreeBuilder, ExecutionExceptionalMethodReturn

Field Summary

Fields inherited from interface de.uka.ilkd.key.symbolic_execution.model.IExecutionNode

INTERNAL_NODE_NAME_END, INTERNAL_NODE_NAME_START

Method Summary

Methods inherited from interface de.uka.ilkd.key.symbolic_execution.model.IExecutionBaseMethodReturn

getCallStateVariables, getFormatedMethodReturnCondition, getMethodCall, getMethodReturnCondition, getSignature

Methods inherited from interface de.uka.ilkd.key.symbolic_execution.model.IExecutionNode

getActivePositionInfo, getActiveStatement, getBlockCompletionCondition, getCallStack, getChildren, getCompletedBlocks, getConstraints, getCurrentLayout, getFormatedBlockCompletionCondition, getFormatedPathCondition, getInitialLayout, getLayoutsCount, getLayoutsEquivalenceClasses, getParent, getPathCondition, getVariables, getVariables, isPathConditionChanged

Methods inherited from interface de.uka.ilkd.key.symbolic_execution.model.IExecutionElement

getAppliedRuleApp, getElementType, getInitConfig, getModalityPIO, getName, getProof, getProofNode, getProofNodeInfo, getServices, getSettings, isDisposed