Fixing a bug: the specification is not accurate for WildcardTypeImpl. The com.sun...
authorrtrimana <rtrimana@uci.edu>
Tue, 25 Jun 2019 18:31:41 +0000 (11:31 -0700)
committerrtrimana <rtrimana@uci.edu>
Tue, 25 Jun 2019 18:31:41 +0000 (11:31 -0700)
src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Method.java

index 5a890df..123cbbb 100644 (file)
@@ -221,6 +221,7 @@ public class JPF_java_lang_reflect_Method extends NativePeer {
         // Set lowerBounds
         lRef = env.newObjectArray("Ljava/lang/reflect/Type;", 1);
         env.setReferenceArrayElement(lRef, 0, tpRef);
+        uRef = env.newObjectArray("Ljava/lang/reflect/Type;", 0);
       }
     } else {
 
@@ -286,7 +287,6 @@ public class JPF_java_lang_reflect_Method extends NativePeer {
     for (int i = 0; i < argTypeNames.length; i++) {
       env.setReferenceArrayElement(aRef, i, ar[i]);
     }
-
     return aRef;
   }