| 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.reference.MethodReference
| Constructor Summary | |
| public | MethodReference(ArrayOfExpression args, MethodName n, ReferencePrefix p)
| | public | MethodReference(ArrayOfExpression args, MethodName n, ReferencePrefix p, PositionInfo pos)
| | public | MethodReference(ExtList children, MethodName n, ReferencePrefix p)
| | public | MethodReference(ExtList children, MethodName n, ReferencePrefix p, PositionInfo pos)
|
| arguments | | final protected ArrayOfExpression arguments(Code) | | Arguments.
|
| getArgumentAt | | public Expression getArgumentAt(int index)(Code) | | Gets index-th argument
the expression |
| getArguments | | public ArrayOfExpression getArguments()(Code) | | Get arguments.
the expression array wrapper. |
| 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 |
| getExpressionCount | | public int getExpressionCount()(Code) | | Get the number of expressions in this container.
the number of expressions. |
| getMethodSignature | | public ListOfKeYJavaType getMethodSignature(Services services, ExecutionContext ec)(Code) | | determines the arguments types and constructs a signature of the current
method
|
| getName | | final public String getName()(Code) | | Get name.
the string. |
| getReferencePrefix | | public ReferencePrefix getReferencePrefix()(Code) | | Get reference prefix.
the reference prefix. |
| getTypeReferenceCount | | public int getTypeReferenceCount()(Code) | | Get the number of type references in this container.
the number of type references. |
| implicit | | public boolean implicit()(Code) | | |
| method | | public ProgramMethod method(Services services, KeYJavaType classType, ListOfKeYJavaType signature, KeYJavaType context)(Code) | |
Parameters:
services - the Services class offering access to metamodel information
Parameters:
classType - the KeYJavaType where to start looking for the declared method
Parameters:
signature - the ListOfKeYJavaType of the arguments types
Parameters:
context - the KeYJavaType from where the method is called the found program method |
| 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 |
|
|