Adding ParameterizedTypeImpl to getGenericSuperclass method.
[jpf-core.git] / src / peers / gov / nasa / jpf / vm / JPF_java_lang_reflect_Method.java
index 48aff58..fa6ceee 100644 (file)
@@ -141,7 +141,7 @@ public class JPF_java_lang_reflect_Method extends NativePeer {
     for(int j = 0; j < parameterizedTypes.length; j++) {
       if (Types.isTypeParameter(parameterizedTypes[j], methodGenericSig) ||
           Types.isTypeParameter(parameterizedTypes[j], classGenericSig)) {
-        types[j] = getTypeVariableImplObject(env, objRef, mi, parameterizedTypes[j]);
+        types[j] = getTypeVariableImplObject(env, objRef, parameterizedTypes[j]);
       } else {
         ClassInfo pci = cli.getResolvedClassInfo(parameterizedTypes[j]);
         if (!pci.isRegistered()) {
@@ -172,7 +172,7 @@ public class JPF_java_lang_reflect_Method extends NativePeer {
     return paramTypeRef;
   }
 
-  private static int getTypeVariableImplObject(MJIEnv env, int objRef, MethodInfo mi, String parameterizedType) {
+  private static int getTypeVariableImplObject(MJIEnv env, int objRef, String parameterizedType) {
 
     ClassLoaderInfo cli = env.getSystemClassLoaderInfo();
     ClassInfo ci = cli.getResolvedClassInfo("sun.reflect.generics.reflectiveObjects.TypeVariableImpl");