Cleaning up a bit Reflection.java.

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

diff --git a/examples/Reflection.java b/examples/Reflection.java
index ac036c2282b337771991cf372ab8676d508d54f5..312248fae527671f1f97bf6120965501d78ca650 100644 (file)
--- a/examples/Reflection.java
+++ b/examples/Reflection.java
@@ -75,24 +75,16 @@ public class Reflection {
       //  Method[] methods = Class.class.getMethods();
         Method method = null;
         for(Method meth : methods) {
-                               System.out.println("===========================");
-                               //System.out.println("Method: " + meth.toString());
-                               Type[] parameters = meth.getGenericParameterTypes();
-                               for (int i = 0; i < parameters.length; i++) {
-                                       System.out.println(parameters[i]);
-                               }
-                               Type returnType = meth.getGenericReturnType();
-                               System.out.println(returnType);
-                               System.out.println("===========================");
+                       System.out.println("===========================");
+                       //System.out.println("Method: " + meth.toString());
+                       Type[] parameters = meth.getGenericParameterTypes();
+                       for (int i = 0; i < parameters.length; i++) {
+                               System.out.println(parameters[i]);
+                       }
+                       Type returnType = meth.getGenericReturnType();
+                       System.out.println(returnType);
+                       System.out.println("===========================");
         }
-        Type[] parameters = method.getGenericParameterTypes();
-      //Type[] parameters = methods[0].getGenericParameterTypes();
-      for (int i = 0; i < parameters.length; i++) {
-         System.out.println(parameters[i]);
-      }
-      System.out.println();
-      Type returnType = method.getGenericReturnType();
-      System.out.println(returnType);
          
         /* TODO: This is an excerpt of the BigInteger library
                int radix = 10;