A clean implementation for getTypeParameters' native method version.

[jpf-core.git] / examples / Reflection.java

diff --git a/examples/Reflection.java b/examples/Reflection.java
index 0a021b2f180d87d77e402098a5aa3c0f959b25cd..ae0e8537e9b55bc40224dae0d6d4b7039c77f490 100644 (file)
--- a/examples/Reflection.java
+++ b/examples/Reflection.java
@@ -9,6 +9,9 @@ import java.util.Arrays;
 
 public class Reflection {
 
+       class GenericShort<TUVW,ABCD> {
+       }
+
        class Generic<TUVW,ABCD,KLM,NOP> {
        
        }
@@ -52,7 +55,7 @@ public class Reflection {
  
       }
       System.out.println();*/
-      TypeVariable[] typeParameters = Generic.class.getTypeParameters();
+      TypeVariable[] typeParameters = GenericShort.class.getTypeParameters();
       //TypeVariable[] typeParameters = SampleClass.class.getTypeParameters();
       for(TypeVariable typeVar: typeParameters){
          System.out.println(typeVar);