Mercurial > hg > Members > kono > jpf-core
diff src/main/gov/nasa/jpf/vm/FunctionObjectFactory.java @ 28:7be90179bb3b
Provided support for double colon operator used for lamabda expressions. Fixed a bug related to generating names for funcation object classes (by supporting double colon operator, a new stragety needed to generate unique names for function objects. To achive that the bootstrap ids are incorporated into names). Finally modified the method that retrieves the SAM from functional interfaces.
author | nastaran <nastaran.shafiei@gmail.com> |
---|---|
date | Thu, 25 Jun 2015 13:20:50 -0700 |
parents | cb7500a46eab |
children |
line wrap: on
line diff
--- a/src/main/gov/nasa/jpf/vm/FunctionObjectFactory.java Mon May 11 12:17:18 2015 -0700 +++ b/src/main/gov/nasa/jpf/vm/FunctionObjectFactory.java Thu Jun 25 13:20:50 2015 -0700 @@ -22,12 +22,12 @@ */ public class FunctionObjectFactory { - public int getFunctionObject(ThreadInfo ti, ClassInfo fiClassInfo, String samUniqueName, BootstrapMethodInfo bmi, + public int getFunctionObject(int bsIdx, ThreadInfo ti, ClassInfo fiClassInfo, String samUniqueName, BootstrapMethodInfo bmi, String[] freeVariableTypeNames, Object[] freeVariableValues) { ClassLoaderInfo cli = bmi.enclosingClass.getClassLoaderInfo(); - ClassInfo funcObjType = cli.getResolvedFuncObjType(fiClassInfo, samUniqueName, bmi, freeVariableTypeNames); + ClassInfo funcObjType = cli.getResolvedFuncObjType(bsIdx, fiClassInfo, samUniqueName, bmi, freeVariableTypeNames); funcObjType.registerClass(ti);