| de.uka.ilkd.key.java.recoderext.RMethodCallStatement
| RMethodCallStatement | | public class RMethodCallStatement extends JavaStatement implements StatementContainer,KeYRecoderExtension(Code) | | |
| Field Summary | |
| protected Statement | body
Body. |
| body | | protected Statement body(Code) | | Body.
|
| RMethodCallStatement | | public RMethodCallStatement(ProgramVariableSVWrapper resultVar, ExecutionContext ecsvw, Statement body)(Code) | | Labeled statement.
Parameters:
resultVar - the ProgramVariable the return value is assigned to
Parameters:
ecsvw - the ExecutionContext
Parameters:
body - a Statement containing the method body ofthe called method |
| accept | | public void accept(SourceVisitor v)(Code) | | |
| getBody | | public Statement getBody()(Code) | | Get body.
the statement. |
| getChild | | public Statement getChild()(Code) | | Get child.
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) | | |
| getChildPositionCode | | public int getChildPositionCode(ProgramElement child)(Code) | | |
| getStatementAt | | public Statement getStatementAt(int index)(Code) | | |
| getStatementCount | | public int getStatementCount()(Code) | | Get the number of statements in this container.
the number of statements. |
| makeParentRoleValid | | public void makeParentRoleValid()(Code) | | Make parent role valid.
|
| 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. |
|
|