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.
SymbolicExecutionTreeBuilder
,
ExecutionMethodCall
INTERNAL_NODE_NAME_END, INTERNAL_NODE_NAME_START
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
IExecutionBaseMethodReturn s. |
IProgramMethod |
getProgramMethod()
Returns the called
IProgramMethod . |
boolean |
isImplicitConstructor()
Checks if an implicit constructor is called.
|
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
MethodReference getMethodReference()
MethodReference
instance of the called method.MethodReference
of the called method.IProgramMethod getProgramMethod()
IProgramMethod
.IProgramMethod
.boolean isImplicitConstructor()
true
implicit constructor is called, false
method or explicit constructor is called.MethodReference getExplicitConstructorMethodReference()
MethodReference
which calls the
explicit constructor instead of the implicit constructor.MethodReference
to the explicit constructor or null
if no constructor is called.IProgramMethod getExplicitConstructorProgramMethod()
null
if no constructor is called.ImmutableList<IExecutionBaseMethodReturn<?>> getMethodReturns()
IExecutionBaseMethodReturn
s.IExecutionBaseMethodReturn
s.