| de.uka.ilkd.key.java.recoderext.RMethodBodyStatement
| RMethodBodyStatement | | public class RMethodBodyStatement extends JavaStatement implements KeYRecoderExtension,TypeReferenceContainer,ExpressionContainer,NamedProgramElement(Code) | | |
| RMethodBodyStatement | | public RMethodBodyStatement(TypeReference typeRef, ProgramVariableSVWrapper resVar, ReferencePrefix prefix, Identifier methodName, ExpressionMutableList arguments)(Code) | | |
| accept | | public void accept(SourceVisitor visitor)(Code) | | |
| getBodySource | | public TypeReference getBodySource()(Code) | | |
| 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) | | |
| getExpressionCount | | public int getExpressionCount()(Code) | | |
| getIdentifier | | public Identifier getIdentifier()(Code) | | |
| getMethodReference | | public MethodReference getMethodReference()(Code) | | |
| getTypeReferenceAt | | public TypeReference getTypeReferenceAt(int index)(Code) | | |
| getTypeReferenceCount | | public int getTypeReferenceCount()(Code) | | |
| 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. |
| setIdentifier | | public void setIdentifier(Identifier methodName)(Code) | | |
| setMethodReference | | public void setMethodReference(MethodReference methRef)(Code) | | Set the MethodReference that caused this call.
|
|
|