Cleaning up: Removing the full-blown graph traversal.
[jpf-core.git] / examples / ReflectionTest.java
1 import java.lang.reflect.*;
2 import java.util.Collection;
3
4 public class ReflectionTest {
5
6     public Collection<String> c;
7
8     public static void main(String[] args) throws NoSuchFieldException {
9         System.out.println(Collection.class.getTypeParameters()[0]); // E
10         Field field = ReflectionTest.class.getField("c");
11         System.out.println(field.getGenericType()); // java.util.Collection<java.lang.String>
12     }
13
14 }