2 * Copyright (C) 2014, United States Government, as represented by the
3 * Administrator of the National Aeronautics and Space Administration.
6 * The Java Pathfinder core (jpf-core) platform is licensed under the
7 * Apache License, Version 2.0 (the "License"); you may not use this file except
8 * in compliance with the License. You may obtain a copy of the License at
10 * http://www.apache.org/licenses/LICENSE-2.0.
12 * Unless required by applicable law or agreed to in writing, software
13 * distributed under the License is distributed on an "AS IS" BASIS,
14 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
15 * See the License for the specific language governing permissions and
16 * limitations under the License.
18 package java.lang.reflect;
20 import java.lang.annotation.Annotation;
23 * minimal Method reflection support.
24 * Note that we share peer code between Method and Constructor (which aren't
25 * really different on the JPF side), so don't change field names!
27 public final class Method extends AccessibleObject implements Member {
28 int regIdx; // the link to the corresponding MethodInfo
29 String name; // deferred set by the NativePeer getName()
32 public native String getName();
33 public String toGenericString() {
34 // TODO: return real generic string
37 public native Object invoke (Object object, Object... args)
38 throws IllegalAccessException, InvocationTargetException;
41 public native int getModifiers();
42 public native Class<?> getReturnType();
43 public native Class<?>[] getParameterTypes();
44 public native Type[] getGenericParameterTypes();
45 public native Class<?>[] getExceptionTypes();
48 public native Class<?> getDeclaringClass();
51 public native Annotation[] getAnnotations();
53 public native Annotation[] getDeclaredAnnotations();
55 public native <T extends Annotation> T getAnnotation( Class<T> annotationCls);
56 public native Annotation[][] getParameterAnnotations();
59 public boolean isSynthetic (){
60 return Modifier.isSynthetic(getModifiers());
64 public native String toString();
66 // for Annotations - return the default value of the annotation member
67 // represented by this method
68 public native Object getDefaultValue();
71 public native boolean equals (Object obj);
73 public boolean isVarArgs (){
74 return (getModifiers() & Modifier.VARARGS) != 0;
78 public native int hashCode ();
80 public boolean isBridge (){
81 return (getModifiers() & Modifier.BRIDGE) != 0;