Fixing the ClassLoader.defineClass() method issue that could not find the necessary...

[jpf-core.git] / src / main / gov / nasa / jpf / vm / ClassLoaderInfo.java

diff --git a/src/main/gov/nasa/jpf/vm/ClassLoaderInfo.java b/src/main/gov/nasa/jpf/vm/ClassLoaderInfo.java
index 07fbf5fe3a1564b4e244dd6bcd6acff2b2ae87ce..dec242358d124d16318d35659c517bc6fdd1faf4 100644 (file)
--- a/src/main/gov/nasa/jpf/vm/ClassLoaderInfo.java
+++ b/src/main/gov/nasa/jpf/vm/ClassLoaderInfo.java
@@ -585,7 +585,12 @@ public class ClassLoaderInfo
           }          
         }
       }
           }          
         }
       }

-      
+      // TODO: Fix for Groovy's model-checking
+      // TODO: May need to do a recursive lookup
+      if (parent != null) {
+        return parent.loadClass(typeName);
+      }
+

       // initiate the roundtrip & bail out
       pushloadClassFrame(typeName);
       throw new LoadOnJPFRequired(typeName);
       // initiate the roundtrip & bail out
       pushloadClassFrame(typeName);
       throw new LoadOnJPFRequired(typeName);