| java.lang.Object
 de.uka.ilkd.key.java.JavaSourceElement
de.uka.ilkd.key.java.JavaProgramElement
de.uka.ilkd.key.java.JavaNonTerminalProgramElement
de.uka.ilkd.key.java.statement.MethodBodyStatement
| MethodBodyStatement | | public class MethodBodyStatement extends JavaNonTerminalProgramElement implements Statement,NonTerminalProgramElement(Code) | | A shortcut-statement for a method body, i.e. no dynamic dispatching
any longer.
Please take care:
only the method name plus the class in which class the method
is implemented is part of the syntax representation of such a
statement, but not the methods complete syntax. If there are
two methods with an equal name, but different signature (i.e.
parameter types), the pure syntax is ambigious. In fact the concrete body
this method body statement represents depends on the static type of
its arguments.
Therefore: Transformation of a method body statement MUST keep
the static type of the arguments unchanged.
|
| MethodBodyStatement | | public MethodBodyStatement(TypeReference bodySource, IProgramVariable resultVar, MethodReference methodReference)(Code) | | Construct a method body shortcut
Parameters:
bodySource - exact class where the body is declared
Parameters:
resultVar - the IProgramVariable to which the method's return value is assigned
Parameters:
methodReference - the MethodReference encapsulating the method's signature |
| MethodBodyStatement | | public MethodBodyStatement(ExtList list)(Code) | | |
| getArguments | | public ArrayOfExpression getArguments()(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 |
| replaceBySpecification | | public boolean replaceBySpecification()(Code) | | |
| visit | | public void visit(Visitor v)(Code) | | calls the corresponding method of a visitor in order to
perform some action/transformation on this element
Parameters:
v - the Visitor |
|
|