Fixing a potential bug: if statement that contains updateBacktrackSetsFromGraph was...

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

diff --git a/examples/SunClassLoader.java b/examples/SunClassLoader.java
index 195c3a6e84fc369005cb6e63c31db352b33c18e6..88aa81e84ee101d5d4379a2436c715e6df3b05ee 100644 (file)
--- a/examples/SunClassLoader.java
+++ b/examples/SunClassLoader.java
@@ -9,6 +9,7 @@ import java.util.HashMap;
  * Special class loader, which when running on Sun VM allows to generate accessor classes for any method
  */
 public class SunClassLoader extends ClassLoader implements Opcodes {
+
     private void loadMagic() {
         ClassWriter cw = new ClassWriter(ClassWriter.COMPUTE_MAXS);
         cw.visit(Opcodes.V1_4, Opcodes.ACC_PUBLIC, "sun/reflect/GroovyMagic", null, "sun/reflect/MagicAccessorImpl", null);
@@ -27,12 +28,15 @@ public class SunClassLoader extends ClassLoader implements Opcodes {
     protected void define(byte[] bytes, final String name) {
         //knownClasses.put(name, defineClass(name, bytes, 0, bytes.length));
         Class cls = defineClass(name, bytes, 0, bytes.length);
+        //Class cls2 = defineClass(name, bytes, 0, bytes.length);
     }
 
     protected final Map<String,Class> knownClasses = new HashMap<String,Class>();
 
-    public static void main(String[] args) {
+    public static void main(String[] args) throws Exception {
         SunClassLoader sun = new SunClassLoader();
         sun.loadMagic();
+        
+        Class cls2 = sun.loadClass("java/lang/Object");
     }
 }