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

diff --git a/src/main/gov/nasa/jpf/jvm/JVMClassInfo.java b/src/main/gov/nasa/jpf/jvm/JVMClassInfo.java
index 7f3309f31de05f687d17c5fabd895a697de81b41..9c3159abafa394e0371151d53853baa7773879fb 100644 (file)
--- a/src/main/gov/nasa/jpf/jvm/JVMClassInfo.java
+++ b/src/main/gov/nasa/jpf/jvm/JVMClassInfo.java
@@ -116,10 +116,12 @@ public class JVMClassInfo extends ClassInfo {
     }
     
     @Override
     }
     
     @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 lambdaRefKind = cf.mhRefTypeAt(cpArgs[1]);

-      
+

       int mrefIdx = cf.mhMethodRefIndexAt(cpArgs[1]);
       String clsName = cf.methodClassNameAt(mrefIdx).replace('/', '.');
       ClassInfo eclosingLambdaCls;
       int mrefIdx = cf.mhMethodRefIndexAt(cpArgs[1]);
       String clsName = cf.methodClassNameAt(mrefIdx).replace('/', '.');
       ClassInfo eclosingLambdaCls;