Cleaning up for the real fixes.

[jpf-core.git] / src / peers / gov / nasa / jpf / vm / JPF_java_lang_reflect_Method.java

diff --git a/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Method.java b/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Method.java
index 8d13a0c9462dccaf375df369fb627ccf57c8441c..964968d2b32d92519fb29b5925ac26435986250b 100644 (file)
--- a/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Method.java
+++ b/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Method.java
@@ -86,7 +86,7 @@ public class JPF_java_lang_reflect_Method extends NativePeer {
     MethodInfo mi = getMethodInfo(env, objRef);
     return mi.getModifiers();
   }
-  
+
   static int getParameterTypes( MJIEnv env, MethodInfo mi) {
     ThreadInfo ti = env.getThreadInfo();
     String[] argTypeNames = mi.getArgumentTypeNames();
@@ -108,11 +108,24 @@ public class JPF_java_lang_reflect_Method extends NativePeer {
 
     return aRef;
   }
-  
+
   @MJI
   public int getParameterTypes_____3Ljava_lang_Class_2 (MJIEnv env, int objRef){
     return getParameterTypes(env, getMethodInfo(env, objRef));
   }
+
+  // TODO: Fix for Groovy's model-checking
+  @MJI
+  public int getGenericParameterTypes_____3Ljava_lang_reflect_Type_2 (MJIEnv env, int objRef){
+    //return getGenericParameterTypes(env, getMethodInfo(env, objRef));
+    return getParameterTypes_____3Ljava_lang_Class_2 (env, objRef);
+  }
+
+  @MJI
+  public int getGenericReturnType____Ljava_lang_reflect_Type_2 (MJIEnv env, int objRef){
+    return getReturnType____Ljava_lang_Class_2(env, objRef);
+  }
+  // TODO: Fix for Groovy's model-checking
   
   int getExceptionTypes(MJIEnv env, MethodInfo mi) {
     ThreadInfo ti = env.getThreadInfo();