Fixing a new bug: Considering parameters with Type and Type array, e.g., T and T[].
[jpf-core.git] / src / main / gov / nasa / jpf / jvm / JVMClassInfo.java
index 7f3309f..9c3159a 100644 (file)
@@ -116,10 +116,12 @@ public class JVMClassInfo extends ClassInfo {
     }
     
     @Override
-    public void setBootstrapMethod (ClassFile cf, Object tag, int idx, int refKind, String cls, String mth, String descriptor, int[] cpArgs) {    
-   
+    public void setBootstrapMethod (ClassFile cf, Object tag, int idx, int refKind, String cls, String mth, String descriptor, int[] cpArgs) {
+
+      // TODO: Fix for Groovy's model-checking
+      // TODO: Probably a bug here since cpArgs could be of length 1 sometimes!
       int lambdaRefKind = cf.mhRefTypeAt(cpArgs[1]);
-      
+
       int mrefIdx = cf.mhMethodRefIndexAt(cpArgs[1]);
       String clsName = cf.methodClassNameAt(mrefIdx).replace('/', '.');
       ClassInfo eclosingLambdaCls;