Reimplementing DPOR Phase 1: First trace execution, cycle detection, R/W field access...

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

diff --git a/examples/ClassDemo.java b/examples/ClassDemo.java
index 0a76996010bba55c2e68ac34b9fd583028969229..d0e10a1cdadc05f459166255a76b19061922e476 100644 (file)
--- a/examples/ClassDemo.java
+++ b/examples/ClassDemo.java
@@ -2,10 +2,15 @@ import java.lang.*;
 import java.lang.reflect.*;
 import java.util.*;
 import java.math.*;
+import java.lang.ClassLoader;
 
 public class ClassDemo {
 
    public static void main(String[] args) throws Exception {
+   
+      ClassLoader cl = new ClassLoader();
+      byte[] bytes = new byte[150];
+      Class cls = cl.defineClass("sun.reflect.MagicAccessorImpl", bytes, 0, bytes.length);
 
       // returns an array of TypeVariable object
       TypeVariable[] tValue = List.class.getTypeParameters();