public static class ExecutionNodeReader.KeYlessMethodCall extends ExecutionNodeReader.AbstractKeYlessExecutionNode<MethodBodyStatement> implements IExecutionMethodCall
IExecutionMethodCall
which is independent
from KeY and provides such only children and default attributes.Modifier and Type | Field and Description |
---|---|
private ImmutableList<IExecutionBaseMethodReturn<?>> |
methodReturns
The up to now discovered {@link IExecutionBaseMethodReturn
|
INTERNAL_NODE_NAME_END, INTERNAL_NODE_NAME_START
Constructor and Description |
---|
KeYlessMethodCall(IExecutionNode<?> parent,
java.lang.String name,
java.lang.String formatedPathCondition,
boolean pathConditionChanged)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
addMethodReturn(IExecutionBaseMethodReturn<?> methodReturn)
Adds the given {@link IExecutionBaseMethodReturn
|
java.lang.String |
getElementType()
Returns a human readable element type name.
|
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.
|
addCallStackEntry, addChild, addCompletedBlock, addConstraint, addIncomingLink, addOutgoingLink, addVariable, getActivePositionInfo, getActiveStatement, getBlockCompletionCondition, getCallStack, getChildren, getCompletedBlocks, getConstraints, getCurrentLayout, getFormatedBlockCompletionCondition, getFormatedPathCondition, getIncomingLink, getIncomingLinks, getInitialLayout, getLayoutsCount, getLayoutsEquivalenceClasses, getModalityPIO, getOutgoingLink, getOutgoingLinks, getParent, getPathCondition, getVariables, getVariables, isPathConditionChanged
getAppliedRuleApp, getInitConfig, getName, getProof, getProofNode, getProofNodeInfo, getServices, getSettings, isDisposed, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getActivePositionInfo, getActiveStatement, getBlockCompletionCondition, getCallStack, getChildren, getCompletedBlocks, getConstraints, getCurrentLayout, getFormatedBlockCompletionCondition, getFormatedPathCondition, getIncomingLink, getIncomingLinks, getInitialLayout, getLayoutsCount, getLayoutsEquivalenceClasses, getOutgoingLink, getOutgoingLinks, getParent, getPathCondition, getVariables, getVariables, isPathConditionChanged
getAppliedRuleApp, getInitConfig, getModalityPIO, getName, getProof, getProofNode, getProofNodeInfo, getServices, getSettings, isDisposed
private ImmutableList<IExecutionBaseMethodReturn<?>> methodReturns
IExecutionBaseMethodReturn>
s.public KeYlessMethodCall(IExecutionNode<?> parent, java.lang.String name, java.lang.String formatedPathCondition, boolean pathConditionChanged)
parent
- The parent IExecutionNode
.name
- The name of this node.formatedPathCondition
- The formated path condition.pathConditionChanged
- Is the path condition changed compared to parent?public MethodReference getMethodReference()
MethodReference
instance of the called method.getMethodReference
in interface IExecutionMethodCall
MethodReference
of the called method.public IProgramMethod getProgramMethod()
IProgramMethod
.getProgramMethod
in interface IExecutionMethodCall
IProgramMethod
.public java.lang.String getElementType()
getElementType
in interface IExecutionElement
public boolean isImplicitConstructor()
isImplicitConstructor
in interface IExecutionMethodCall
true
implicit constructor is called, false
method or explicit constructor is called.public MethodReference getExplicitConstructorMethodReference()
MethodReference
which calls the
explicit constructor instead of the implicit constructor.getExplicitConstructorMethodReference
in interface IExecutionMethodCall
MethodReference
to the explicit constructor or null
if no constructor is called.public IProgramMethod getExplicitConstructorProgramMethod()
getExplicitConstructorProgramMethod
in interface IExecutionMethodCall
null
if no constructor is called.public ImmutableList<IExecutionBaseMethodReturn<?>> getMethodReturns()
IExecutionBaseMethodReturn
s.getMethodReturns
in interface IExecutionMethodCall
IExecutionBaseMethodReturn
s.public void addMethodReturn(IExecutionBaseMethodReturn<?> methodReturn)
IExecutionBaseMethodReturn>
.methodReturn
- The IExecutionBaseMethodReturn>
to add.