public class RMethodCallStatement extends JavaStatement implements StatementContainer, KeYRecoderExtension
ProgramElement.TreeStructure
SourceElement.Position
Modifier and Type | Field and Description |
---|---|
protected Statement |
body
Body.
|
private ExecutionContext |
ecsvw
schemavariable needed by method call
|
private ProgramVariableSVWrapper |
resultVar
schemavariable needed by meta construct
|
private static long |
serialVersionUID |
parent
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Constructor and Description |
---|
RMethodCallStatement(ProgramVariableSVWrapper resultVar,
ExecutionContext ecsvw,
Statement body)
Labeled statement.
|
Modifier and Type | Method and Description |
---|---|
void |
accept(SourceVisitor v) |
JavaStatement |
deepClone() |
Statement |
getBody()
Get body.
|
Statement |
getChild()
Get child.
|
ProgramElement |
getChildAt(int index)
Returns the child at the specified index in this node's "virtual"
child array
|
int |
getChildCount() |
int |
getChildPositionCode(ProgramElement child) |
ExecutionContext |
getExecutionContext() |
Statement |
getStatementAt(int index) |
int |
getStatementCount()
Get the number of statements in this container.
|
ProgramVariableSVWrapper |
getVariableSV() |
void |
makeParentRoleValid()
Make parent role valid.
|
boolean |
replaceChild(ProgramElement p,
ProgramElement q)
Replace a single child in the current node.
|
void |
setVariableSV(ProgramVariableSVWrapper sv)
schemavariable needed by the metaconstruct (needed by method-call)
|
getASTParent, getStatementContainer, setStatementContainer
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
getComments, setComments, validate
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
getASTParent, getComments, setComments
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
private static final long serialVersionUID
private ProgramVariableSVWrapper resultVar
private ExecutionContext ecsvw
protected Statement body
public RMethodCallStatement(ProgramVariableSVWrapper resultVar, ExecutionContext ecsvw, Statement body)
resultVar
- the ProgramVariable the return value is assigned toecsvw
- the ExecutionContextbody
- a Statement containing the method body of
the called methodpublic void makeParentRoleValid()
makeParentRoleValid
in interface NonTerminalProgramElement
makeParentRoleValid
in class JavaNonTerminalProgramElement
public int getChildCount()
getChildCount
in interface NonTerminalProgramElement
public ProgramElement getChildAt(int index)
getChildAt
in interface NonTerminalProgramElement
index
- an index into this node's "virtual" child arrayjava.lang.ArrayIndexOutOfBoundsException
- if index is out
of boundspublic int getChildPositionCode(ProgramElement child)
getChildPositionCode
in interface NonTerminalProgramElement
public int getStatementCount()
getStatementCount
in interface StatementContainer
public boolean replaceChild(ProgramElement p, ProgramElement q)
replaceChild
in interface NonTerminalProgramElement
p
- the old child.q
- the new child.java.lang.ClassCastException
- if the new child cannot take over
the role of the old one.public Statement getChild()
public Statement getBody()
public void setVariableSV(ProgramVariableSVWrapper sv)
public ProgramVariableSVWrapper getVariableSV()
public ExecutionContext getExecutionContext()
public Statement getStatementAt(int index)
getStatementAt
in interface StatementContainer
public void accept(SourceVisitor v)
accept
in interface SourceElement
public JavaStatement deepClone()
deepClone
in interface SourceElement
deepClone
in interface Statement