|
| |
|
| de.uka.ilkd.key.java.recoderext.MethodCallStatement
| MethodCallStatement | | public class MethodCallStatement extends JavaStatement implements StatementContainer,ExpressionContainer(Code) | | The statement inserted by KeY if a method call is executed.
|
| Method Summary | |
| public void | accept(SourceVisitor v)
| | public Object | deepClone()
Deep clone. | | public Statement | getBody()
Get body. | | public ProgramElement | getChildAt(int index)
| | public int | getChildCount()
Returns the number of children of this node. | | public int | getChildPositionCode(ProgramElement child)
| | public ExecutionContext | getExecutionContext()
| | public Expression | getExpressionAt(int index)
Return the expression at the specified index in this node's
"virtual" expression array.
Parameters:
index - an index for a expression. | | public int | getExpressionCount()
Get the number of expressions in this container. | | public SourceElement | getFirstElement()
Finds the source element that occurs first in the source. | | public SourceElement | getLastElement()
Finds the source element that occurs last in the source. | | public Expression | getResultVariable()
Get the result variable. | | public Statement | getStatementAt(int index)
Return the statement at the specified index in this node's
"virtual" statement array.
Parameters:
index - an index for a statement. | | public int | getStatementCount()
Get the number of statements in this container. | | public void | makeParentRoleValid()
Ensures that each child has "this" as syntactical parent. | | public boolean | replaceChild(ProgramElement p, ProgramElement q)
Replace a single child in the current node.
The child to replace is matched by identity and hence must be known
exactly. | | public void | setBody(Statement body)
Set body. | | public void | setResultVariable(Expression resultVar)
Set the result variable. |
| body | | protected Statement body(Code) | | Body.
|
| resultVar | | protected Expression resultVar(Code) | | resultVar (should be a VariableReference, but the parser can't enforce this)
|
| MethodCallStatement | | public MethodCallStatement(Expression resultVar, ExecutionContext ec, StatementBlock body)(Code) | | MethodCallStatement.
Parameters:
resultVar - the ProgramVariable the return value is assigned to
Parameters:
body - a Statement containing the method body ofthe called method |
| MethodCallStatement | | protected MethodCallStatement(MethodCallStatement proto)(Code) | | MethodCallStatement.
Parameters:
proto - a MethodCallStatement |
| accept | | public void accept(SourceVisitor v)(Code) | | |
| deepClone | | public Object deepClone()(Code) | | Deep clone.
the object |
| getBody | | public Statement getBody()(Code) | | Get body.
the Statement |
| getChildAt | | public ProgramElement getChildAt(int index)(Code) | | Returns the child at the specified index in this node's "virtual"
child array
Parameters:
index - an index into this node's "virtual" child array the program element at the given position
exception:
ArrayIndexOutOfBoundsException - if index is outof bounds |
| getChildCount | | public int getChildCount()(Code) | | Returns the number of children of this node.
an int giving the number of children of this node |
| getChildPositionCode | | public int getChildPositionCode(ProgramElement child)(Code) | | |
| getExpressionAt | | public Expression getExpressionAt(int index)(Code) | | Return the expression at the specified index in this node's
"virtual" expression array.
Parameters:
index - an index for a expression. the expression with the given index.
exception:
ArrayIndexOutOfBoundsException - if index is outof bounds. |
| getExpressionCount | | public int getExpressionCount()(Code) | | Get the number of expressions in this container.
the number of expressions. |
| getFirstElement | | public SourceElement getFirstElement()(Code) | | Finds the source element that occurs first in the source.
Returns the first element of the first child.
the last source element in the syntactical representation ofthis element, may be equals to this element. |
| getLastElement | | public SourceElement getLastElement()(Code) | | Finds the source element that occurs last in the source.
Returns the last element of the body.
the last source element in the syntactical representation ofthis element, may be equals to this element. |
| getResultVariable | | public Expression getResultVariable()(Code) | | Get the result variable.
the VariableReference |
| getStatementAt | | public Statement getStatementAt(int index)(Code) | | Return the statement at the specified index in this node's
"virtual" statement array.
Parameters:
index - an index for a statement. the statement with the given index.
exception:
ArrayIndexOutOfBoundsException - if index is outof bounds. |
| getStatementCount | | public int getStatementCount()(Code) | | Get the number of statements in this container.
the number of statements. |
| makeParentRoleValid | | public void makeParentRoleValid()(Code) | | Ensures that each child has "this" as syntactical parent.
|
| replaceChild | | public boolean replaceChild(ProgramElement p, ProgramElement q)(Code) | | Replace a single child in the current node.
The child to replace is matched by identity and hence must be known
exactly. The replacement element can be null - in that case, the child
is effectively removed.
The parent role of the new child is validated, while the
parent link of the replaced child is left untouched.
Parameters:
p - the old child.
Parameters:
q - the new child. true if a replacement has occured, false otherwise.
exception:
ClassCastException - if the new child cannot take overthe role of the old one. |
| setBody | | public void setBody(Statement body)(Code) | | Set body.
Parameters:
body - the Statement |
| setResultVariable | | public void setResultVariable(Expression resultVar)(Code) | | Set the result variable.
Parameters:
resultVar - the result variable |
|
|
|