edu.rice.cs.cunit.subAnnot
Class MethodEx

java.lang.Object
  extended by edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
      extended by edu.rice.cs.cunit.subAnnot.MethodEx
All Implemented Interfaces:
AnnotatedElementEx

public class MethodEx
extends AAnnotatedElementEx

Extended Method class to support annotations with subclassing.

Author:
Mathias Ricken

Field Summary
private  RuntimeVisibleLocalVariableAnnotationsAttributeInfo _lvai
          Local variable annotation attribute.
private  RuntimeVisibleParameterAnnotationsAttributeInfo _pai
          Parameter annotation attribute.
 java.lang.reflect.Method java
          The java.lang.reflect.Method object that represents the method.
 
Fields inherited from class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
_ai, _classFileNotFound, _classLoader, _classPath
 
Constructor Summary
MethodEx(java.lang.reflect.Method m)
          Create an extended Method instance for the specified method.
MethodEx(java.lang.reflect.Method m, java.lang.ClassLoader cl)
          Create an extended Method instance for the specified method.
 
Method Summary
 boolean equals(java.lang.Object obj)
          Compares this Method against the specified object.
protected  java.lang.reflect.AnnotatedElement getAnnotatedElement()
          Return the annotated element.
 java.lang.Object getDefaultValue()
          Returns the default value for the annotation member represented by this Method instance.
 ClassEx[] getExceptionTypes()
          Returns an array of Class objects that represent the types of the exceptions declared to be thrown by the underlying method represented by this Method object.
 java.lang.reflect.Type[] getGenericExceptionTypes()
          Returns an array of Type objects that represent the exceptions declared to be thrown by this Method object.
 java.lang.reflect.Type[] getGenericParameterTypes()
          Returns an array of Type objects that represent the formal parameter types, in declaration order, of the method represented by this Method object.
 java.lang.reflect.Type getGenericReturnType()
          Returns a Type object that represents the formal return type of the method represented by this Method object.
 java.util.Map<java.lang.String,java.lang.annotation.Annotation[]> getLocalVariableAnnotations()
          Returns a map from local variable names to arrays of annotations associated with them.
 int getModifiers()
          Returns the Java language modifiers for the method represented by this Method object, as an integer.
 java.lang.String getName()
          Returns the name of the method represented by this Method object, as a String.
 java.lang.annotation.Annotation[][] getParameterAnnotations()
          Returns an array of arrays that represent the annotations on the formal parameters, in declaration order, of the method represented by this Method object.
 ClassEx[] getParameterTypes()
          Returns an array of Class objects that represent the formal parameter types, in declaration order, of the method represented by this Method object.
 ClassEx<?> getReturnType()
          Returns a Class object that represents the formal return type of the method represented by this Method object.
 java.lang.reflect.TypeVariable<java.lang.reflect.Method>[] getTypeParameters()
          Returns an array of TypeVariable objects that represent the type variables declared by the generic declaration represented by this GenericDeclaration object, in declaration order.
 int hashCode()
          Returns a hashcode for this Method.
 java.lang.Object invoke(java.lang.Object obj, java.lang.Object... args)
          Invokes the underlying method represented by this Method object, on the specified object with the specified parameters.
 boolean isBridge()
          Returns true if this method is a bridge method; returns false otherwise.
 boolean isSynthetic()
          Returns true if this method is a synthetic method; returns false otherwise.
 boolean isVarArgs()
          Returns true if this method was declared to take a variable number of arguments; returns false otherwise.
 java.lang.String toGenericString()
          Returns a string describing this Method, including type parameters.
 java.lang.String toString()
          Returns a string describing this Method.
 
Methods inherited from class edu.rice.cs.cunit.subAnnot.AAnnotatedElementEx
findMethodAnnotationsAttributeInfo, getAnnotations, getAnnotations, getAnnotations, getClassLoader, getDeclaredAnnotations, getDeclaredAnnotations, getDeclaredAnnotations, getLocalVarAnnotationsAttributeInfo, getParameterAnnotationsAttributeInfo, isAnnotationPresent, isAnnotationPresent, isAvailable, isDeclaredAnnotationPresent, isDeclaredAnnotationPresent, setClassFileNotFound
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

java

public final java.lang.reflect.Method java
The java.lang.reflect.Method object that represents the method.


_pai

private RuntimeVisibleParameterAnnotationsAttributeInfo _pai
Parameter annotation attribute.


_lvai

private RuntimeVisibleLocalVariableAnnotationsAttributeInfo _lvai
Local variable annotation attribute.

Constructor Detail

MethodEx

public MethodEx(java.lang.reflect.Method m)
Create an extended Method instance for the specified method.

Parameters:
m - method

MethodEx

public MethodEx(java.lang.reflect.Method m,
                java.lang.ClassLoader cl)
Create an extended Method instance for the specified method.

Parameters:
m - method
cl - class loader
Method Detail

getAnnotatedElement

protected java.lang.reflect.AnnotatedElement getAnnotatedElement()
Return the annotated element.

Specified by:
getAnnotatedElement in class AAnnotatedElementEx
Returns:
annotated element

getName

public java.lang.String getName()
Returns the name of the method represented by this Method object, as a String.

Returns:
name

getModifiers

public int getModifiers()
Returns the Java language modifiers for the method represented by this Method object, as an integer. The Modifier class should be used to decode the modifiers.

Returns:
modifiers
See Also:
Modifier

getTypeParameters

public java.lang.reflect.TypeVariable<java.lang.reflect.Method>[] getTypeParameters()
Returns an array of TypeVariable objects that represent the type variables declared by the generic declaration represented by this GenericDeclaration object, in declaration order. Returns an array of length 0 if the underlying generic declaration declares no type variables.

Returns:
an array of TypeVariable objects that represent the type variables declared by this generic declaration
Throws:
java.lang.reflect.GenericSignatureFormatError - if the generic signature of this generic declaration does not conform to the format specified in the Java Virtual Machine Specification, 3rd edition
Since:
1.5

getReturnType

public ClassEx<?> getReturnType()
Returns a Class object that represents the formal return type of the method represented by this Method object.

Returns:
the return type for the method this object represents

getGenericReturnType

public java.lang.reflect.Type getGenericReturnType()
Returns a Type object that represents the formal return type of the method represented by this Method object.

If the return type is a parameterized type, the Type object returned must accurately reflect the actual type parameters used in the source code.

If the return type is a type variable or a parameterized type, it is created. Otherwise, it is resolved.

Returns:
a Type object that represents the formal return type of the underlying method
Throws:
java.lang.reflect.GenericSignatureFormatError - if the generic method signature does not conform to the format specified in the Java Virtual Machine Specification, 3rd edition
java.lang.TypeNotPresentException - if the underlying method's return type refers to a non-existent type declaration
java.lang.reflect.MalformedParameterizedTypeException - if the underlying method's return typed refers to a parameterized type that cannot be instantiated for any reason
Since:
1.5

getParameterTypes

public ClassEx[] getParameterTypes()
Returns an array of Class objects that represent the formal parameter types, in declaration order, of the method represented by this Method object. Returns an array of length 0 if the underlying method takes no parameters.

Returns:
the parameter types for the method this object represents

getGenericParameterTypes

public java.lang.reflect.Type[] getGenericParameterTypes()
Returns an array of Type objects that represent the formal parameter types, in declaration order, of the method represented by this Method object. Returns an array of length 0 if the underlying method takes no parameters.

If a formal parameter type is a parameterized type, the Type object returned for it must accurately reflect the actual type parameters used in the source code.

If a formal parameter type is a type variable or a parameterized type, it is created. Otherwise, it is resolved.

Returns:
an array of Types that represent the formal parameter types of the underlying method, in declaration order
Throws:
java.lang.reflect.GenericSignatureFormatError - if the generic method signature does not conform to the format specified in the Java Virtual Machine Specification, 3rd edition
java.lang.TypeNotPresentException - if any of the parameter types of the underlying method refers to a non-existent type declaration
java.lang.reflect.MalformedParameterizedTypeException - if any of the underlying method's parameter types refer to a parameterized type that cannot be instantiated for any reason
Since:
1.5

getExceptionTypes

public ClassEx[] getExceptionTypes()
Returns an array of Class objects that represent the types of the exceptions declared to be thrown by the underlying method represented by this Method object. Returns an array of length 0 if the method declares no exceptions in its throws clause.

Returns:
the exception types declared as being thrown by the method this object represents

getGenericExceptionTypes

public java.lang.reflect.Type[] getGenericExceptionTypes()
Returns an array of Type objects that represent the exceptions declared to be thrown by this Method object. Returns an array of length 0 if the underlying method declares no exceptions in its throws clause.

If an exception type is a parameterized type, the Type object returned for it must accurately reflect the actual type parameters used in the source code.

If an exception type is a type variable or a parameterized type, it is created. Otherwise, it is resolved.

Returns:
an array of Types that represent the exception types thrown by the underlying method
Throws:
java.lang.reflect.GenericSignatureFormatError - if the generic method signature does not conform to the format specified in the Java Virtual Machine Specification, 3rd edition
java.lang.TypeNotPresentException - if the underlying method's throws clause refers to a non-existent type declaration
java.lang.reflect.MalformedParameterizedTypeException - if the underlying method's throws clause refers to a parameterized type that cannot be instantiated for any reason
Since:
1.5

equals

public boolean equals(java.lang.Object obj)
Compares this Method against the specified object. Returns true if the objects are the same. Two Methods are the same if they were declared by the same class and have the same name and formal parameter types and return type.

Overrides:
equals in class java.lang.Object

hashCode

public int hashCode()
Returns a hashcode for this Method. The hashcode is computed as the exclusive-or of the hashcodes for the underlying method's declaring class name and the method's name.

Overrides:
hashCode in class java.lang.Object

toString

public java.lang.String toString()
Returns a string describing this Method. The string is formatted as the method access modifiers, if any, followed by the method return type, followed by a space, followed by the class declaring the method, followed by a period, followed by the method name, followed by a parenthesized, comma-separated list of the method's formal parameter types. If the method throws checked exceptions, the parameter list is followed by a space, followed by the word throws followed by a comma-separated list of the thrown exception types. For example:
    public boolean java.lang.Object.equals(java.lang.Object)
 

The access modifiers are placed in canonical order as specified by "The Java Language Specification". This is public, protected or private first, and then other modifiers in the following order: abstract, static, final, synchronized native.

Overrides:
toString in class java.lang.Object

toGenericString

public java.lang.String toGenericString()
Returns a string describing this Method, including type parameters. The string is formatted as the method access modifiers, if any, followed by an angle-bracketed comma-separated list of the method's type parameters, if any, followed by the method's generic return type, followed by a space, followed by the class declaring the method, followed by a period, followed by the method name, followed by a parenthesized, comma-separated list of the method's generic formal parameter types. A space is used to separate access modifiers from one another and from the type parameters or return type. If there are no type parameters, the type parameter list is elided; if the type parameter list is present, a space separates the list from the class name. If the method is declared to throw exceptions, the parameter list is followed by a space, followed by the word throws followed by a comma-separated list of the generic thrown exception types. If there are no type parameters, the type parameter list is elided.

The access modifiers are placed in canonical order as specified by "The Java Language Specification". This is public, protected or private first, and then other modifiers in the following order: abstract, static, final, synchronized native.

Returns:
a string describing this Method, include type parameters
Since:
1.5

invoke

public java.lang.Object invoke(java.lang.Object obj,
                               java.lang.Object... args)
                        throws java.lang.IllegalAccessException,
                               java.lang.IllegalArgumentException,
                               java.lang.reflect.InvocationTargetException
Invokes the underlying method represented by this Method object, on the specified object with the specified parameters. Individual parameters are automatically unwrapped to match primitive formal parameters, and both primitive and reference parameters are subject to method invocation conversions as necessary.

If the underlying method is static, then the specified obj argument is ignored. It may be null.

If the number of formal parameters required by the underlying method is 0, the supplied args array may be of length 0 or null.

If the underlying method is an instance method, it is invoked using dynamic method lookup as documented in The Java Language Specification, Second Edition, section 15.12.4.4; in particular, overriding based on the runtime type of the target object will occur.

If the underlying method is static, the class that declared the method is initialized if it has not already been initialized.

If the method completes normally, the value it returns is returned to the caller of invoke; if the value has a primitive type, it is first appropriately wrapped in an object. However, if the value has the type of an array of a primitive type, the elements of the array are not wrapped in objects; in other words, an array of primitive type is returned. If the underlying method return type is void, the invocation returns null.

Parameters:
obj - the object the underlying method is invoked from
args - the arguments used for the method call
Returns:
the result of dispatching the method represented by this object on obj with parameters args
Throws:
java.lang.IllegalAccessException - if this Method object enforces Java language access control and the underlying method is inaccessible.
java.lang.IllegalArgumentException - if the method is an instance method and the specified object argument is not an instance of the class or interface declaring the underlying method (or of a subclass or implementor thereof); if the number of actual and formal parameters differ; if an unwrapping conversion for primitive arguments fails; or if, after possible unwrapping, a parameter value cannot be converted to the corresponding formal parameter type by a method invocation conversion.
java.lang.reflect.InvocationTargetException - if the underlying method throws an exception.
java.lang.NullPointerException - if the specified object is null and the method is an instance method.
java.lang.ExceptionInInitializerError - if the initialization provoked by this method fails.

isBridge

public boolean isBridge()
Returns true if this method is a bridge method; returns false otherwise.

Returns:
true if and only if this method is a bridge method as defined by the Java Language Specification.
Since:
1.5

isVarArgs

public boolean isVarArgs()
Returns true if this method was declared to take a variable number of arguments; returns false otherwise.

Returns:
true if an only if this method was declared to take a variable number of arguments.
Since:
1.5

isSynthetic

public boolean isSynthetic()
Returns true if this method is a synthetic method; returns false otherwise.

Returns:
true if and only if this method is a synthetic method as defined by the Java Language Specification.
Since:
1.5

getDefaultValue

public java.lang.Object getDefaultValue()
Returns the default value for the annotation member represented by this Method instance. If the member is of a primitive type, an instance of the corresponding wrapper type is returned. Returns null if no default is associated with the member, or if the method instance does not represent a declared member of an annotation type.

Returns:
the default value for the annotation member represented by this Method instance.
Throws:
java.lang.TypeNotPresentException - if the annotation is of type Class and no definition can be found for the default class value.
Since:
1.5

getParameterAnnotations

public java.lang.annotation.Annotation[][] getParameterAnnotations()
Returns an array of arrays that represent the annotations on the formal parameters, in declaration order, of the method represented by this Method object. (Returns an array of length zero if the underlying method is parameterless. If the method has one or more parameters, a nested array of length zero is returned for each parameter with no annotations.) The annotation objects contained in the returned arrays are serializable. The caller of this method is free to modify the returned arrays; it will have no effect on the arrays returned to other callers.

Returns:
an array of arrays that represent the annotations on the formal parameters, in declaration order, of the method represented by this Method object
Since:
1.5

getLocalVariableAnnotations

public java.util.Map<java.lang.String,java.lang.annotation.Annotation[]> getLocalVariableAnnotations()
Returns a map from local variable names to arrays of annotations associated with them.

Returns:
map from local variable name to arrays of annotations