More tests on the Class<U> case.
authorrtrimana <rtrimana@uci.edu>
Thu, 20 Jun 2019 20:11:28 +0000 (13:11 -0700)
committerrtrimana <rtrimana@uci.edu>
Thu, 20 Jun 2019 20:11:28 +0000 (13:11 -0700)
examples/Reflection.java
src/main/gov/nasa/jpf/vm/Types.java

index c49ce47..f2bff8a 100644 (file)
@@ -16,10 +16,10 @@ public class Reflection {
        
        }
 
-       class SampleClass<U> {
+       class SampleClass<VWXZ> {
           private String sampleField;
 
-          public Generic<Integer,String,Double,Short> setSampleField(Class<U> clazz, List<String> listString, Map<Integer,String> mapString,
+          public Generic<Integer,String,Double,Short> setSampleField(Class<VWXZ> clazz, List<String> listString, Map<Integer,String> mapString,
                                Generic<Integer,String,Double,Short> test,
                                String sampleField, int one, short two, double three, Object obj) {
                  this.sampleField = sampleField; 
index 2e98b25..16ee295 100644 (file)
@@ -919,7 +919,8 @@ public class Types {
       return signature.substring(1, len1).replace('/', '.').
               replaceAll(";L", ", ").
               replace("<L","<").
-              replace(";>", ">");
+              replace(";>", ">").
+              replaceAll("<T", "<");
     }