0a76996010bba55c2e68ac34b9fd583028969229
[jpf-core.git] / examples / ClassDemo.java
1 import java.lang.*;
2 import java.lang.reflect.*;
3 import java.util.*;
4 import java.math.*;
5
6 public class ClassDemo {
7
8    public static void main(String[] args) throws Exception {
9
10       // returns an array of TypeVariable object
11       TypeVariable[] tValue = List.class.getTypeParameters();
12       //System.out.println(tValue[0].getName());
13           System.out.println(tValue[0]);
14           
15           BigInteger bi = new BigInteger("-1");
16           System.out.println(bi);
17    }
18