Starting our own version of JPF with support for generics.

[jpf-core.git] / src / classes / java / lang / reflect / Method.java

diff --git a/src/classes/java/lang/reflect/Method.java b/src/classes/java/lang/reflect/Method.java
index 40b188867a2131c97c6c36dabb7a14bb6db27774..073d8741e26c320a2f392dd9ca4b2aa7ee85e465 100644 (file)
--- a/src/classes/java/lang/reflect/Method.java
+++ b/src/classes/java/lang/reflect/Method.java
@@ -43,6 +43,8 @@ public final class Method extends AccessibleObject implements Member {
   public native Class<?>[] getParameterTypes();
   public native Type[] getGenericParameterTypes();
   public native Class<?>[] getExceptionTypes();
+  // TODO: DIRTY HACKS
+  public native Type getGenericReturnType();
 
   @Override
   public native Class<?> getDeclaringClass();