A proper implementation for getGenericParameterTypes using the class ParameterizedTyp...

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

diff --git a/examples/Reflection.java b/examples/Reflection.java
index ae0e8537e9b55bc40224dae0d6d4b7039c77f490..fe2927c8bd25d3e9083aef918f35bef394dcd502 100644 (file)
--- a/examples/Reflection.java
+++ b/examples/Reflection.java
@@ -42,25 +42,25 @@ public class Reflection {
 
    public static void main(String[] args) {
 
-      /*Method[] methods = SampleClass.class.getMethods();
+      Method[] methods = SampleClass.class.getMethods();
       Type[] parameters = methods[0].getGenericParameterTypes();
       //Type[] parameters = methods[0].getGenericParameterTypes();
       for (int i = 0; i < parameters.length; i++) {
          System.out.println(parameters[i]);
       }
       System.out.println();
-      Class[] parameterTypes = methods[0].getParameterTypes();
+      /*Class[] parameterTypes = methods[0].getParameterTypes();
       for(Class parameterType: parameterTypes){
          System.out.println(parameterType.getName());   
  
       }
       System.out.println();*/
-      TypeVariable[] typeParameters = GenericShort.class.getTypeParameters();
+      /*TypeVariable[] typeParameters = GenericShort.class.getTypeParameters();
       //TypeVariable[] typeParameters = SampleClass.class.getTypeParameters();
       for(TypeVariable typeVar: typeParameters){
          System.out.println(typeVar);   
  
-      }
+      }*/
       System.out.println();
       /*
       Type returnType = methods[0].getGenericReturnType();