de.uka.ilkd.key.symbolic_execution.model

Interface IExecutionMethodCall

All Superinterfaces:

IExecutionElement, IExecutionNode<MethodBodyStatement>

All Known Implementing Classes:

ExecutionMethodCall, ExecutionNodeReader.KeYlessMethodCall

public interface IExecutionMethodCall
extends IExecutionNode<MethodBodyStatement>

A node in the symbolic execution tree which represents a method call, e.g. foo().

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

Author:

Martin Hentschel

See Also:

SymbolicExecutionTreeBuilder, ExecutionMethodCall

Field Summary

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

INTERNAL_NODE_NAME_END, INTERNAL_NODE_NAME_START

Method Summary

Modifier and Type	Method and Description
MethodReference	getExplicitConstructorMethodReference() Returns a copy of the MethodReference which calls the explicit constructor instead of the implicit constructor.
IProgramMethod	getExplicitConstructorProgramMethod() Returns the explicit constructor.
MethodReference	getMethodReference() Returns the MethodReference instance of the called method.
ImmutableList<IExecutionBaseMethodReturn<?>>	getMethodReturns() Returns the up to now discovered IExecutionBaseMethodReturns.
IProgramMethod	getProgramMethod() Returns the called IProgramMethod.
boolean	isImplicitConstructor() Checks if an implicit constructor is called.

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

getActivePositionInfo, getActiveStatement, getBlockCompletionCondition, getCallStack, getChildren, getCompletedBlocks, getConstraints, getCurrentLayout, getFormatedBlockCompletionCondition, getFormatedPathCondition, getIncomingLink, getIncomingLinks, getInitialLayout, getLayoutsCount, getLayoutsEquivalenceClasses, getOutgoingLink, getOutgoingLinks, 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

Method Detail

getMethodReference

MethodReference getMethodReference()

Returns the MethodReference instance of the called method.

Returns:

The MethodReference of the called method.

getProgramMethod

IProgramMethod getProgramMethod()

Returns the called IProgramMethod.

Returns:

The called IProgramMethod.

isImplicitConstructor

boolean isImplicitConstructor()

Checks if an implicit constructor is called.

Returns:

true implicit constructor is called, false method or explicit constructor is called.

getExplicitConstructorMethodReference

MethodReference getExplicitConstructorMethodReference()

Returns a copy of the MethodReference which calls the explicit constructor instead of the implicit constructor.

Returns:

The MethodReference to the explicit constructor or null if no constructor is called.

getExplicitConstructorProgramMethod

IProgramMethod getExplicitConstructorProgramMethod()

Returns the explicit constructor.

Returns:

The explicit constructor or null if no constructor is called.

getMethodReturns

ImmutableList<IExecutionBaseMethodReturn<?>> getMethodReturns()

Returns the up to now discovered IExecutionBaseMethodReturns.

Returns:

The up to now discovered IExecutionBaseMethodReturns.