Finalizing the beta version of the implementation for Groovy extension in JPF: JPF...

[jpf-core.git] / src / peers / gov / nasa / jpf / vm / JPF_java_lang_Class.java

diff --git a/src/peers/gov/nasa/jpf/vm/JPF_java_lang_Class.java b/src/peers/gov/nasa/jpf/vm/JPF_java_lang_Class.java
index 20c59e8c4b50488058315a6802d180f1c96f3fb3..ef0d782b998fb735dfa40828b1ed1c98600ace24 100644 (file)
--- a/src/peers/gov/nasa/jpf/vm/JPF_java_lang_Class.java
+++ b/src/peers/gov/nasa/jpf/vm/JPF_java_lang_Class.java
@@ -161,7 +161,6 @@ public class JPF_java_lang_Class extends NativePeer {
     return typeVarRef;
   }
 
-  // TODO: Fix for Groovy's model-checking
   @MJI
   public int getGenericSuperclass____Ljava_lang_reflect_Type_2 (MJIEnv env, int robj){
     ClassInfo ci = env.getReferredClassInfo( robj);
@@ -251,7 +250,9 @@ public class JPF_java_lang_Class extends NativePeer {
     ClassInfo pdci = cli.getResolvedClassInfo("java.security.ProtectionDomain");
 
     int proDomRef = MJIEnv.NULL;
-    /* TODO: Defer the following to future implementations
+    /*
+    TODO: Defer the following to future implementations
+    TODO: Currently Groovy runs well without actually instantiating a ProtectionDomain object properly
     int proDomRef = env.newObject(pdci);
     ElementInfo ei = env.getModifiableElementInfo(proDomRef);
     ei.setReferenceField("codesource", MJIEnv.NULL);