X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=examples%2FReflection.java;h=c49ce47fa6d9c6a96667b53d833556517cd744bd;hb=2e1ede99e28cc7890562ec5c3b6b14a3ccf5429b;hp=f2feb06eaf5491190945dfd566f69f6dc075dcd7;hpb=73fe7b28c24f2ebf671dbd724e5954f0378c679d;p=jpf-core.git

diff --git a/examples/Reflection.java b/examples/Reflection.java
index f2feb06..c49ce47 100644
--- a/examples/Reflection.java
+++ b/examples/Reflection.java
@@ -16,10 +16,10 @@ public class Reflection {
 	
 	}
 
-	class SampleClass {
+	class SampleClass<U> {
 	   private String sampleField;
 
-	   public Generic<Integer,String,Double,Short> setSampleField(List<String> listString, Map<Integer,String> mapString,
+	   public Generic<Integer,String,Double,Short> setSampleField(Class<U> 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; 
@@ -43,7 +43,7 @@ public class Reflection {
    public static void main(String[] args) {
 
       Method[] methods = SampleClass.class.getMethods();
-      Type[] parameters = methods[0].getGenericParameterTypes();
+      Type[] parameters = methods[3].getGenericParameterTypes();
       //Type[] parameters = methods[0].getGenericParameterTypes();
       for (int i = 0; i < parameters.length; i++) {
          System.out.println(parameters[i]);