Fixing a bug in manual_write-non_conflict + setSet conflicts
[jpf-core.git] / examples / ClassDemo.java
1 import java.lang.*;
2 import java.lang.reflect.*;
3 import java.util.*;
4 import java.math.*;
5 import java.lang.ClassLoader;
6
7 public class ClassDemo {
8
9    public static void main(String[] args) throws Exception {
10    
11       ClassLoader cl = new ClassLoader();
12       byte[] bytes = new byte[150];
13       Class cls = cl.defineClass("sun.reflect.MagicAccessorImpl", bytes, 0, bytes.length);
14
15       // returns an array of TypeVariable object
16       TypeVariable[] tValue = List.class.getTypeParameters();
17       //System.out.println(tValue[0].getName());
18           System.out.println(tValue[0]);
19           
20           BigInteger bi = new BigInteger("-1");
21           System.out.println(bi);
22    }
23