Starting our own version of JPF with support for generics.
[jpf-core.git] / examples / ClassDemo.java
1 import java.lang.*;
2 import java.lang.reflect.*;
3 import java.util.*;
4
5 public class ClassDemo {
6
7    public static void main(String[] args) throws Exception {
8
9       // returns an array of TypeVariable object
10       TypeVariable[] tValue = List.class.getTypeParameters();
11       //System.out.println(tValue[0].getName());
12           System.out.println(tValue[0]);
13    }
14