src/share/classes/com/sun/tools/javac/comp/LambdaToMethod.java

Mon, 21 Jan 2013 20:13:56 +0000

author
mcimadamore
date
Mon, 21 Jan 2013 20:13:56 +0000
changeset 1510
7873d37f5b37
parent 1496
f785dcac17b7
child 1515
b61e5f801f7c
permissions
-rw-r--r--

8005244: Implement overload resolution as per latest spec EDR
Summary: Add support for stuck expressions and provisional applicability
Reviewed-by: jjg

rfield@1380 1 /*
rfield@1380 2 * Copyright (c) 2010, 2012, Oracle and/or its affiliates. All rights reserved.
rfield@1380 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
rfield@1380 4 *
rfield@1380 5 * This code is free software; you can redistribute it and/or modify it
rfield@1380 6 * under the terms of the GNU General Public License version 2 only, as
rfield@1380 7 * published by the Free Software Foundation. Oracle designates this
rfield@1380 8 * particular file as subject to the "Classpath" exception as provided
rfield@1380 9 * by Oracle in the LICENSE file that accompanied this code.
rfield@1380 10 *
rfield@1380 11 * This code is distributed in the hope that it will be useful, but WITHOUT
rfield@1380 12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
rfield@1380 13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
rfield@1380 14 * version 2 for more details (a copy is included in the LICENSE file that
rfield@1380 15 * accompanied this code).
rfield@1380 16 *
rfield@1380 17 * You should have received a copy of the GNU General Public License version
rfield@1380 18 * 2 along with this work; if not, write to the Free Software Foundation,
rfield@1380 19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
rfield@1380 20 *
rfield@1380 21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
rfield@1380 22 * or visit www.oracle.com if you need additional information or have any
rfield@1380 23 * questions.
rfield@1380 24 */
rfield@1380 25 package com.sun.tools.javac.comp;
rfield@1380 26
rfield@1380 27 import com.sun.tools.javac.tree.*;
rfield@1380 28 import com.sun.tools.javac.tree.JCTree;
rfield@1380 29 import com.sun.tools.javac.tree.JCTree.*;
rfield@1380 30 import com.sun.tools.javac.tree.JCTree.JCMemberReference.ReferenceKind;
rfield@1380 31 import com.sun.tools.javac.tree.TreeMaker;
rfield@1380 32 import com.sun.tools.javac.tree.TreeScanner;
rfield@1380 33 import com.sun.tools.javac.tree.TreeTranslator;
rfield@1380 34 import com.sun.tools.javac.code.Flags;
rfield@1380 35 import com.sun.tools.javac.code.Kinds;
rfield@1380 36 import com.sun.tools.javac.code.Symbol;
rfield@1380 37 import com.sun.tools.javac.code.Symbol.ClassSymbol;
rfield@1380 38 import com.sun.tools.javac.code.Symbol.DynamicMethodSymbol;
rfield@1380 39 import com.sun.tools.javac.code.Symbol.MethodSymbol;
rfield@1380 40 import com.sun.tools.javac.code.Symbol.VarSymbol;
rfield@1380 41 import com.sun.tools.javac.code.Symtab;
rfield@1380 42 import com.sun.tools.javac.code.Type;
rfield@1380 43 import com.sun.tools.javac.code.Type.ClassType;
rfield@1380 44 import com.sun.tools.javac.code.Type.MethodType;
rfield@1380 45 import com.sun.tools.javac.code.Types;
rfield@1380 46 import com.sun.tools.javac.comp.LambdaToMethod.LambdaAnalyzer.*;
rfield@1380 47 import com.sun.tools.javac.jvm.*;
rfield@1380 48 import com.sun.tools.javac.util.*;
rfield@1380 49 import com.sun.tools.javac.util.List;
rfield@1380 50 import com.sun.tools.javac.util.JCDiagnostic.DiagnosticPosition;
rfield@1380 51 import com.sun.source.tree.MemberReferenceTree.ReferenceMode;
rfield@1380 52
rfield@1380 53 import java.util.HashMap;
rfield@1380 54 import java.util.LinkedHashMap;
rfield@1380 55 import java.util.Map;
rfield@1380 56
rfield@1380 57 import static com.sun.tools.javac.comp.LambdaToMethod.LambdaSymbolKind.*;
rfield@1380 58 import static com.sun.tools.javac.code.Flags.*;
rfield@1380 59 import static com.sun.tools.javac.code.Kinds.*;
rfield@1380 60 import static com.sun.tools.javac.code.TypeTag.BOT;
rfield@1380 61 import static com.sun.tools.javac.code.TypeTag.NONE;
rfield@1380 62 import static com.sun.tools.javac.code.TypeTag.VOID;
rfield@1380 63 import static com.sun.tools.javac.tree.JCTree.Tag.*;
rfield@1380 64
rfield@1380 65 /**
rfield@1380 66 * This pass desugars lambda expressions into static methods
rfield@1380 67 *
rfield@1380 68 * <p><b>This is NOT part of any supported API.
rfield@1380 69 * If you write code that depends on this, you do so at your own risk.
rfield@1380 70 * This code and its internal interfaces are subject to change or
rfield@1380 71 * deletion without notice.</b>
rfield@1380 72 */
rfield@1380 73 public class LambdaToMethod extends TreeTranslator {
rfield@1380 74
rfield@1380 75 private Names names;
rfield@1380 76 private Symtab syms;
rfield@1380 77 private Resolve rs;
rfield@1380 78 private TreeMaker make;
rfield@1380 79 private Types types;
rfield@1380 80 private TransTypes transTypes;
rfield@1380 81 private Env<AttrContext> attrEnv;
rfield@1380 82
rfield@1380 83 /** the analyzer scanner */
rfield@1380 84 private LambdaAnalyzer analyzer;
rfield@1380 85
rfield@1380 86 /** map from lambda trees to translation contexts */
rfield@1380 87 private Map<JCTree, TranslationContext<?>> contextMap;
rfield@1380 88
rfield@1380 89 /** current translation context (visitor argument) */
rfield@1380 90 private TranslationContext<?> context;
rfield@1380 91
rfield@1380 92 /** list of translated methods
rfield@1380 93 **/
rfield@1380 94 private ListBuffer<JCTree> translatedMethodList;
rfield@1380 95
rfield@1380 96 // <editor-fold defaultstate="collapsed" desc="Instantiating">
rfield@1380 97 private static final Context.Key<LambdaToMethod> unlambdaKey =
rfield@1380 98 new Context.Key<LambdaToMethod>();
rfield@1380 99
rfield@1380 100 public static LambdaToMethod instance(Context context) {
rfield@1380 101 LambdaToMethod instance = context.get(unlambdaKey);
rfield@1380 102 if (instance == null) {
rfield@1380 103 instance = new LambdaToMethod(context);
rfield@1380 104 }
rfield@1380 105 return instance;
rfield@1380 106 }
rfield@1380 107
rfield@1380 108 private LambdaToMethod(Context context) {
rfield@1380 109 names = Names.instance(context);
rfield@1380 110 syms = Symtab.instance(context);
rfield@1380 111 rs = Resolve.instance(context);
rfield@1380 112 make = TreeMaker.instance(context);
rfield@1380 113 types = Types.instance(context);
rfield@1380 114 transTypes = TransTypes.instance(context);
rfield@1380 115 this.analyzer = makeAnalyzer();
rfield@1380 116 }
rfield@1380 117
rfield@1380 118 private LambdaAnalyzer makeAnalyzer() {
rfield@1380 119 return new LambdaAnalyzer();
rfield@1380 120 }
rfield@1380 121 // </editor-fold>
rfield@1380 122
rfield@1380 123 // <editor-fold defaultstate="collapsed" desc="translate methods">
rfield@1380 124 @Override
rfield@1380 125 public <T extends JCTree> T translate(T tree) {
rfield@1380 126 TranslationContext<?> newContext = contextMap.get(tree);
rfield@1380 127 return translate(tree, newContext != null ? newContext : context);
rfield@1380 128 }
rfield@1380 129
rfield@1380 130 public <T extends JCTree> T translate(T tree, TranslationContext<?> newContext) {
rfield@1380 131 TranslationContext<?> prevContext = context;
rfield@1380 132 try {
rfield@1380 133 context = newContext;
rfield@1380 134 return super.translate(tree);
rfield@1380 135 }
rfield@1380 136 finally {
rfield@1380 137 context = prevContext;
rfield@1380 138 }
rfield@1380 139 }
rfield@1380 140
rfield@1380 141 public <T extends JCTree> List<T> translate(List<T> trees, TranslationContext<?> newContext) {
rfield@1380 142 ListBuffer<T> buf = ListBuffer.lb();
rfield@1380 143 for (T tree : trees) {
rfield@1380 144 buf.append(translate(tree, newContext));
rfield@1380 145 }
rfield@1380 146 return buf.toList();
rfield@1380 147 }
rfield@1380 148
rfield@1380 149 public JCTree translateTopLevelClass(Env<AttrContext> env, JCTree cdef, TreeMaker make) {
rfield@1380 150 this.make = make;
rfield@1380 151 this.attrEnv = env;
rfield@1380 152 this.context = null;
rfield@1380 153 this.contextMap = new HashMap<JCTree, TranslationContext<?>>();
rfield@1380 154 return translate(cdef);
rfield@1380 155 }
rfield@1380 156 // </editor-fold>
rfield@1380 157
rfield@1380 158 // <editor-fold defaultstate="collapsed" desc="visitor methods">
rfield@1380 159 /**
rfield@1380 160 * Visit a class.
rfield@1380 161 * Maintain the translatedMethodList across nested classes.
rfield@1380 162 * Append the translatedMethodList to the class after it is translated.
rfield@1380 163 * @param tree
rfield@1380 164 */
rfield@1380 165 @Override
rfield@1380 166 public void visitClassDef(JCClassDecl tree) {
rfield@1380 167 if (tree.sym.owner.kind == PCK) {
rfield@1380 168 //analyze class
rfield@1380 169 analyzer.analyzeClass(tree);
rfield@1380 170 }
rfield@1380 171 ListBuffer<JCTree> prevTranslated = translatedMethodList;
rfield@1380 172 try {
rfield@1380 173 translatedMethodList = ListBuffer.lb();
rfield@1380 174 super.visitClassDef(tree);
rfield@1380 175 //add all translated instance methods here
rfield@1380 176 tree.defs = tree.defs.appendList(translatedMethodList.toList());
rfield@1380 177 for (JCTree lambda : translatedMethodList) {
rfield@1380 178 tree.sym.members().enter(((JCMethodDecl)lambda).sym);
rfield@1380 179 }
rfield@1380 180 result = tree;
rfield@1380 181 } finally {
rfield@1380 182 translatedMethodList = prevTranslated;
rfield@1380 183 }
rfield@1380 184 }
rfield@1380 185
rfield@1380 186 /**
rfield@1380 187 * Translate a lambda into a method to be inserted into the class.
rfield@1380 188 * Then replace the lambda site with an invokedynamic call of to lambda
rfield@1380 189 * meta-factory, which will use the lambda method.
rfield@1380 190 * @param tree
rfield@1380 191 */
rfield@1380 192 @Override
rfield@1380 193 public void visitLambda(JCLambda tree) {
rfield@1380 194 LambdaTranslationContext localContext = (LambdaTranslationContext)context;
rfield@1380 195 MethodSymbol sym = (MethodSymbol)localContext.translatedSym;
rfield@1380 196 MethodType lambdaType = (MethodType) sym.type;
rfield@1380 197
rfield@1380 198 //create the method declaration hoisting the lambda body
rfield@1380 199 JCMethodDecl lambdaDecl = make.MethodDef(make.Modifiers(sym.flags_field),
rfield@1380 200 sym.name,
rfield@1380 201 make.QualIdent(lambdaType.getReturnType().tsym),
rfield@1380 202 List.<JCTypeParameter>nil(),
rfield@1380 203 localContext.syntheticParams,
rfield@1380 204 lambdaType.getThrownTypes() == null ?
rfield@1380 205 List.<JCExpression>nil() :
rfield@1380 206 make.Types(lambdaType.getThrownTypes()),
rfield@1380 207 null,
rfield@1380 208 null);
rfield@1380 209 lambdaDecl.sym = sym;
rfield@1380 210 lambdaDecl.type = lambdaType;
rfield@1380 211
rfield@1380 212 //translate lambda body
rfield@1380 213 //As the lambda body is translated, all references to lambda locals,
rfield@1380 214 //captured variables, enclosing members are adjusted accordingly
rfield@1380 215 //to refer to the static method parameters (rather than i.e. acessing to
rfield@1380 216 //captured members directly).
rfield@1380 217 lambdaDecl.body = translate(makeLambdaBody(tree, lambdaDecl));
rfield@1380 218
rfield@1380 219 //Add the method to the list of methods to be added to this class.
rfield@1380 220 translatedMethodList = translatedMethodList.prepend(lambdaDecl);
rfield@1380 221
rfield@1380 222 //now that we have generated a method for the lambda expression,
rfield@1380 223 //we can translate the lambda into a method reference pointing to the newly
rfield@1380 224 //created method.
rfield@1380 225 //
rfield@1380 226 //Note that we need to adjust the method handle so that it will match the
rfield@1380 227 //signature of the SAM descriptor - this means that the method reference
rfield@1380 228 //should be added the following synthetic arguments:
rfield@1380 229 //
rfield@1380 230 // * the "this" argument if it is an instance method
rfield@1380 231 // * enclosing locals captured by the lambda expression
rfield@1380 232
rfield@1380 233 ListBuffer<JCExpression> syntheticInits = ListBuffer.lb();
rfield@1380 234
rfield@1380 235 if (!sym.isStatic()) {
rfield@1380 236 syntheticInits.append(makeThis(
rfield@1380 237 sym.owner.asType(),
rfield@1380 238 localContext.owner.enclClass()));
rfield@1380 239 }
rfield@1380 240
rfield@1380 241 //add captured locals
rfield@1380 242 for (Symbol fv : localContext.getSymbolMap(CAPTURED_VAR).keySet()) {
rfield@1380 243 if (fv != localContext.self) {
rfield@1380 244 JCTree captured_local = make.Ident(fv).setType(fv.type);
rfield@1380 245 syntheticInits.append((JCExpression) captured_local);
rfield@1380 246 }
rfield@1380 247 }
rfield@1380 248
rfield@1380 249 //then, determine the arguments to the indy call
rfield@1380 250 List<JCExpression> indy_args = translate(syntheticInits.toList(), localContext.prev);
rfield@1380 251
rfield@1380 252 //build a sam instance using an indy call to the meta-factory
rfield@1380 253 int refKind = referenceKind(sym);
rfield@1380 254
rfield@1380 255 //convert to an invokedynamic call
mcimadamore@1510 256 result = makeMetaFactoryIndyCall(tree, refKind, sym, indy_args);
rfield@1380 257 }
rfield@1380 258
rfield@1380 259 private JCIdent makeThis(Type type, Symbol owner) {
rfield@1380 260 VarSymbol _this = new VarSymbol(PARAMETER | FINAL | SYNTHETIC,
rfield@1380 261 names._this,
rfield@1380 262 type,
rfield@1380 263 owner);
rfield@1380 264 return make.Ident(_this);
rfield@1380 265 }
rfield@1380 266
rfield@1380 267 /**
rfield@1380 268 * Translate a method reference into an invokedynamic call to the
rfield@1380 269 * meta-factory.
rfield@1380 270 * @param tree
rfield@1380 271 */
rfield@1380 272 @Override
rfield@1380 273 public void visitReference(JCMemberReference tree) {
rfield@1380 274 ReferenceTranslationContext localContext = (ReferenceTranslationContext)context;
rfield@1380 275
rfield@1380 276 //first determine the method symbol to be used to generate the sam instance
rfield@1380 277 //this is either the method reference symbol, or the bridged reference symbol
rfield@1380 278 Symbol refSym = localContext.needsBridge() ?
rfield@1380 279 localContext.bridgeSym :
rfield@1380 280 tree.sym;
rfield@1380 281
rfield@1380 282 //build the bridge method, if needed
rfield@1380 283 if (localContext.needsBridge()) {
rfield@1380 284 bridgeMemberReference(tree, localContext);
rfield@1380 285 }
rfield@1380 286
rfield@1380 287 //the qualifying expression is treated as a special captured arg
rfield@1380 288 JCExpression init;
rfield@1380 289 switch(tree.kind) {
rfield@1380 290
mcimadamore@1435 291 case IMPLICIT_INNER: /** Inner :: new */
mcimadamore@1435 292 case SUPER: /** super :: instMethod */
rfield@1380 293 init = makeThis(
rfield@1380 294 localContext.owner.owner.asType(),
rfield@1380 295 localContext.owner);
rfield@1380 296 break;
rfield@1380 297
mcimadamore@1435 298 case BOUND: /** Expr :: instMethod */
rfield@1380 299 init = tree.getQualifierExpression();
rfield@1380 300 break;
rfield@1380 301
mcimadamore@1435 302 case UNBOUND: /** Type :: instMethod */
mcimadamore@1435 303 case STATIC: /** Type :: staticMethod */
mcimadamore@1435 304 case TOPLEVEL: /** Top level :: new */
mcimadamore@1496 305 case ARRAY_CTOR: /** ArrayType :: new */
rfield@1380 306 init = null;
rfield@1380 307 break;
rfield@1380 308
rfield@1380 309 default:
rfield@1380 310 throw new InternalError("Should not have an invalid kind");
rfield@1380 311 }
rfield@1380 312
rfield@1380 313 List<JCExpression> indy_args = init==null? List.<JCExpression>nil() : translate(List.of(init), localContext.prev);
rfield@1380 314
rfield@1380 315
rfield@1380 316 //build a sam instance using an indy call to the meta-factory
mcimadamore@1510 317 result = makeMetaFactoryIndyCall(tree, localContext.referenceKind(), refSym, indy_args);
rfield@1380 318 }
rfield@1380 319
rfield@1380 320 /**
rfield@1380 321 * Translate identifiers within a lambda to the mapped identifier
rfield@1380 322 * @param tree
rfield@1380 323 */
rfield@1380 324 @Override
rfield@1380 325 public void visitIdent(JCIdent tree) {
rfield@1380 326 if (context == null || !analyzer.lambdaIdentSymbolFilter(tree.sym)) {
rfield@1380 327 super.visitIdent(tree);
rfield@1380 328 } else {
rfield@1380 329 LambdaTranslationContext lambdaContext = (LambdaTranslationContext) context;
rfield@1380 330 if (lambdaContext.getSymbolMap(PARAM).containsKey(tree.sym)) {
rfield@1380 331 Symbol translatedSym = lambdaContext.getSymbolMap(PARAM).get(tree.sym);
rfield@1380 332 result = make.Ident(translatedSym).setType(tree.type);
rfield@1380 333 } else if (lambdaContext.getSymbolMap(LOCAL_VAR).containsKey(tree.sym)) {
rfield@1380 334 Symbol translatedSym = lambdaContext.getSymbolMap(LOCAL_VAR).get(tree.sym);
rfield@1380 335 result = make.Ident(translatedSym).setType(tree.type);
rfield@1380 336 } else if (lambdaContext.getSymbolMap(CAPTURED_VAR).containsKey(tree.sym)) {
rfield@1380 337 Symbol translatedSym = lambdaContext.getSymbolMap(CAPTURED_VAR).get(tree.sym);
rfield@1380 338 result = make.Ident(translatedSym).setType(tree.type);
rfield@1380 339 } else {
rfield@1380 340 if (tree.sym.owner.kind == Kinds.TYP) {
rfield@1380 341 for (Map.Entry<Symbol, Symbol> encl_entry : lambdaContext.getSymbolMap(CAPTURED_THIS).entrySet()) {
rfield@1380 342 if (tree.sym.isMemberOf((ClassSymbol) encl_entry.getKey(), types)) {
rfield@1380 343 JCExpression enclRef = make.Ident(encl_entry.getValue());
rfield@1380 344 result = tree.sym.name == names._this
rfield@1380 345 ? enclRef.setType(tree.type)
rfield@1380 346 : make.Select(enclRef, tree.sym).setType(tree.type);
rfield@1380 347 result = tree;
rfield@1380 348 return;
rfield@1380 349 }
rfield@1380 350 }
rfield@1380 351 }
rfield@1380 352 //access to untranslated symbols (i.e. compile-time constants,
rfield@1380 353 //members defined inside the lambda body, etc.) )
rfield@1380 354 super.visitIdent(tree);
rfield@1380 355 }
rfield@1380 356 }
rfield@1380 357 }
rfield@1380 358
rfield@1380 359 @Override
rfield@1380 360 public void visitVarDef(JCVariableDecl tree) {
rfield@1380 361 LambdaTranslationContext lambdaContext = (LambdaTranslationContext)context;
rfield@1380 362 if (context != null && lambdaContext.getSymbolMap(LOCAL_VAR).containsKey(tree.sym)) {
rfield@1380 363 JCExpression init = translate(tree.init);
rfield@1380 364 result = make.VarDef((VarSymbol)lambdaContext.getSymbolMap(LOCAL_VAR).get(tree.sym), init);
rfield@1380 365 } else {
rfield@1380 366 super.visitVarDef(tree);
rfield@1380 367 }
rfield@1380 368 }
rfield@1380 369
rfield@1380 370 // </editor-fold>
rfield@1380 371
rfield@1380 372 // <editor-fold defaultstate="collapsed" desc="Translation helper methods">
rfield@1380 373
rfield@1380 374 private JCBlock makeLambdaBody(JCLambda tree, JCMethodDecl lambdaMethodDecl) {
rfield@1380 375 return tree.getBodyKind() == JCLambda.BodyKind.EXPRESSION ?
rfield@1380 376 makeLambdaExpressionBody((JCExpression)tree.body, lambdaMethodDecl) :
rfield@1380 377 makeLambdaStatementBody((JCBlock)tree.body, lambdaMethodDecl, tree.canCompleteNormally);
rfield@1380 378 }
rfield@1380 379
rfield@1380 380 private JCBlock makeLambdaExpressionBody(JCExpression expr, JCMethodDecl lambdaMethodDecl) {
rfield@1380 381 Type restype = lambdaMethodDecl.type.getReturnType();
rfield@1380 382 boolean isLambda_void = expr.type.hasTag(VOID);
rfield@1380 383 boolean isTarget_void = restype.hasTag(VOID);
rfield@1380 384 boolean isTarget_Void = types.isSameType(restype, types.boxedClass(syms.voidType).type);
rfield@1380 385 if (isTarget_void) {
rfield@1380 386 //target is void:
rfield@1380 387 // BODY;
rfield@1380 388 JCStatement stat = make.Exec(expr);
rfield@1380 389 return make.Block(0, List.<JCStatement>of(stat));
rfield@1380 390 } else if (isLambda_void && isTarget_Void) {
rfield@1380 391 //void to Void conversion:
rfield@1380 392 // BODY; return null;
rfield@1380 393 ListBuffer<JCStatement> stats = ListBuffer.lb();
rfield@1380 394 stats.append(make.Exec(expr));
rfield@1380 395 stats.append(make.Return(make.Literal(BOT, null).setType(syms.botType)));
rfield@1380 396 return make.Block(0, stats.toList());
rfield@1380 397 } else {
rfield@1380 398 //non-void to non-void conversion:
rfield@1380 399 // return (TYPE)BODY;
rfield@1380 400 JCExpression retExpr = transTypes.coerce(attrEnv, expr, restype);
rfield@1380 401 return make.Block(0, List.<JCStatement>of(make.Return(retExpr)));
rfield@1380 402 }
rfield@1380 403 }
rfield@1380 404
rfield@1380 405 private JCBlock makeLambdaStatementBody(JCBlock block, final JCMethodDecl lambdaMethodDecl, boolean completeNormally) {
rfield@1380 406 final Type restype = lambdaMethodDecl.type.getReturnType();
rfield@1380 407 final boolean isTarget_void = restype.hasTag(VOID);
rfield@1380 408 boolean isTarget_Void = types.isSameType(restype, types.boxedClass(syms.voidType).type);
rfield@1380 409
rfield@1380 410 class LambdaBodyTranslator extends TreeTranslator {
rfield@1380 411
rfield@1380 412 @Override
rfield@1380 413 public void visitClassDef(JCClassDecl tree) {
rfield@1380 414 //do NOT recurse on any inner classes
rfield@1380 415 result = tree;
rfield@1380 416 }
rfield@1380 417
rfield@1380 418 @Override
rfield@1380 419 public void visitLambda(JCLambda tree) {
rfield@1380 420 //do NOT recurse on any nested lambdas
rfield@1380 421 result = tree;
rfield@1380 422 }
rfield@1380 423
rfield@1380 424 @Override
rfield@1380 425 public void visitReturn(JCReturn tree) {
rfield@1380 426 boolean isLambda_void = tree.expr == null;
rfield@1380 427 if (isTarget_void && !isLambda_void) {
rfield@1380 428 //Void to void conversion:
rfield@1380 429 // { TYPE $loc = RET-EXPR; return; }
rfield@1380 430 VarSymbol loc = makeSyntheticVar(0, names.fromString("$loc"), tree.expr.type, lambdaMethodDecl.sym);
rfield@1380 431 JCVariableDecl varDef = make.VarDef(loc, tree.expr);
rfield@1380 432 result = make.Block(0, List.<JCStatement>of(varDef, make.Return(null)));
rfield@1380 433 } else if (!isTarget_void || !isLambda_void) {
rfield@1380 434 //non-void to non-void conversion:
rfield@1380 435 // return (TYPE)RET-EXPR;
rfield@1380 436 tree.expr = transTypes.coerce(attrEnv, tree.expr, restype);
rfield@1380 437 result = tree;
rfield@1380 438 } else {
rfield@1380 439 result = tree;
rfield@1380 440 }
rfield@1380 441
rfield@1380 442 }
rfield@1380 443 }
rfield@1380 444
rfield@1380 445 JCBlock trans_block = new LambdaBodyTranslator().translate(block);
rfield@1380 446 if (completeNormally && isTarget_Void) {
rfield@1380 447 //there's no return statement and the lambda (possibly inferred)
rfield@1380 448 //return type is java.lang.Void; emit a synthetic return statement
rfield@1380 449 trans_block.stats = trans_block.stats.append(make.Return(make.Literal(BOT, null).setType(syms.botType)));
rfield@1380 450 }
rfield@1380 451 return trans_block;
rfield@1380 452 }
rfield@1380 453
rfield@1380 454 /**
rfield@1380 455 * Create new synthetic method with given flags, name, type, owner
rfield@1380 456 */
rfield@1380 457 private MethodSymbol makeSyntheticMethod(long flags, Name name, Type type, Symbol owner) {
rfield@1380 458 return new MethodSymbol(flags | SYNTHETIC, name, type, owner);
rfield@1380 459 }
rfield@1380 460
rfield@1380 461 /**
rfield@1380 462 * Create new synthetic variable with given flags, name, type, owner
rfield@1380 463 */
rfield@1380 464 private VarSymbol makeSyntheticVar(long flags, String name, Type type, Symbol owner) {
rfield@1380 465 return makeSyntheticVar(flags, names.fromString(name), type, owner);
rfield@1380 466 }
rfield@1380 467
rfield@1380 468 /**
rfield@1380 469 * Create new synthetic variable with given flags, name, type, owner
rfield@1380 470 */
rfield@1380 471 private VarSymbol makeSyntheticVar(long flags, Name name, Type type, Symbol owner) {
rfield@1380 472 return new VarSymbol(flags | SYNTHETIC, name, type, owner);
rfield@1380 473 }
rfield@1380 474
rfield@1380 475 /**
rfield@1380 476 * Set varargsElement field on a given tree (must be either a new class tree
rfield@1380 477 * or a method call tree)
rfield@1380 478 */
rfield@1380 479 private void setVarargsIfNeeded(JCTree tree, Type varargsElement) {
rfield@1380 480 if (varargsElement != null) {
rfield@1380 481 switch (tree.getTag()) {
rfield@1380 482 case APPLY: ((JCMethodInvocation)tree).varargsElement = varargsElement; break;
rfield@1380 483 case NEWCLASS: ((JCNewClass)tree).varargsElement = varargsElement; break;
rfield@1380 484 default: throw new AssertionError();
rfield@1380 485 }
rfield@1380 486 }
rfield@1380 487 }
rfield@1380 488
rfield@1380 489 /**
rfield@1380 490 * Convert method/constructor arguments by inserting appropriate cast
rfield@1380 491 * as required by type-erasure - this is needed when bridging a lambda/method
rfield@1380 492 * reference, as the bridged signature might require downcast to be compatible
rfield@1380 493 * with the generated signature.
rfield@1380 494 */
rfield@1380 495 private List<JCExpression> convertArgs(Symbol meth, List<JCExpression> args, Type varargsElement) {
rfield@1380 496 Assert.check(meth.kind == Kinds.MTH);
rfield@1380 497 List<Type> formals = types.erasure(meth.type).getParameterTypes();
rfield@1380 498 if (varargsElement != null) {
rfield@1380 499 Assert.check((meth.flags() & VARARGS) != 0);
rfield@1380 500 }
rfield@1380 501 return transTypes.translateArgs(args, formals, varargsElement, attrEnv);
rfield@1380 502 }
rfield@1380 503
rfield@1380 504 // </editor-fold>
rfield@1380 505
rfield@1380 506 /**
rfield@1380 507 * Generate an adapter method "bridge" for a method reference which cannot
rfield@1380 508 * be used directly.
rfield@1380 509 */
rfield@1380 510 private class MemberReferenceBridger {
rfield@1380 511
rfield@1380 512 private final JCMemberReference tree;
rfield@1380 513 private final ReferenceTranslationContext localContext;
rfield@1380 514 private final ListBuffer<JCExpression> args = ListBuffer.lb();
rfield@1380 515 private final ListBuffer<JCVariableDecl> params = ListBuffer.lb();
rfield@1380 516
rfield@1380 517 MemberReferenceBridger(JCMemberReference tree, ReferenceTranslationContext localContext) {
rfield@1380 518 this.tree = tree;
rfield@1380 519 this.localContext = localContext;
rfield@1380 520 }
rfield@1380 521
rfield@1380 522 /**
rfield@1380 523 * Generate the bridge
rfield@1380 524 */
rfield@1380 525 JCMethodDecl bridge() {
rfield@1380 526 int prevPos = make.pos;
rfield@1380 527 try {
rfield@1380 528 make.at(tree);
rfield@1380 529 Type samDesc = localContext.bridgedRefSig();
rfield@1380 530 List<Type> samPTypes = samDesc.getParameterTypes();
rfield@1380 531
rfield@1380 532 //an extra argument is prepended to the signature of the bridge in case
rfield@1380 533 //the member reference is an instance method reference (in which case
rfield@1380 534 //the receiver expression is passed to the bridge itself).
rfield@1380 535 Type recType = null;
rfield@1380 536 switch (tree.kind) {
rfield@1380 537 case IMPLICIT_INNER:
rfield@1380 538 recType = tree.sym.owner.type.getEnclosingType();
rfield@1380 539 break;
rfield@1380 540 case BOUND:
rfield@1380 541 recType = tree.getQualifierExpression().type;
rfield@1380 542 break;
rfield@1380 543 case UNBOUND:
rfield@1380 544 recType = samPTypes.head;
rfield@1380 545 samPTypes = samPTypes.tail;
rfield@1380 546 break;
rfield@1380 547 }
rfield@1380 548
rfield@1380 549 //generate the parameter list for the bridged member reference - the
rfield@1380 550 //bridge signature will match the signature of the target sam descriptor
rfield@1380 551
rfield@1380 552 VarSymbol rcvr = (recType == null)
rfield@1380 553 ? null
rfield@1380 554 : addParameter("rec$", recType, false);
rfield@1380 555
rfield@1380 556 List<Type> refPTypes = tree.sym.type.getParameterTypes();
rfield@1380 557 int refSize = refPTypes.size();
rfield@1380 558 int samSize = samPTypes.size();
rfield@1380 559 int last = localContext.needsVarArgsConversion() ? refSize - 1 : refSize; // Last parameter to copy from referenced method
rfield@1380 560
rfield@1380 561 List<Type> l = refPTypes;
rfield@1380 562 // Use parameter types of the referenced method, excluding final var args
rfield@1380 563 for (int i = 0; l.nonEmpty() && i < last; ++i) {
rfield@1380 564 addParameter("x$" + i, l.head, true);
rfield@1380 565 l = l.tail;
rfield@1380 566 }
rfield@1380 567 // Flatten out the var args
rfield@1380 568 for (int i = last; i < samSize; ++i) {
rfield@1380 569 addParameter("xva$" + i, tree.varargsElement, true);
rfield@1380 570 }
rfield@1380 571
rfield@1380 572 //generate the bridge method declaration
rfield@1380 573 JCMethodDecl bridgeDecl = make.MethodDef(make.Modifiers(localContext.bridgeSym.flags()),
rfield@1380 574 localContext.bridgeSym.name,
rfield@1380 575 make.QualIdent(samDesc.getReturnType().tsym),
rfield@1380 576 List.<JCTypeParameter>nil(),
rfield@1380 577 params.toList(),
rfield@1380 578 tree.sym.type.getThrownTypes() == null
rfield@1380 579 ? List.<JCExpression>nil()
rfield@1380 580 : make.Types(tree.sym.type.getThrownTypes()),
rfield@1380 581 null,
rfield@1380 582 null);
rfield@1380 583 bridgeDecl.sym = (MethodSymbol) localContext.bridgeSym;
rfield@1380 584 bridgeDecl.type = localContext.bridgeSym.type = types.createMethodTypeWithParameters(samDesc, TreeInfo.types(params.toList()));
rfield@1380 585
rfield@1380 586 //bridge method body generation - this can be either a method call or a
rfield@1380 587 //new instance creation expression, depending on the member reference kind
rfield@1380 588 JCExpression bridgeExpr = (tree.getMode() == ReferenceMode.INVOKE)
rfield@1380 589 ? bridgeExpressionInvoke(rcvr)
rfield@1380 590 : bridgeExpressionNew();
rfield@1380 591
rfield@1380 592 //the body is either a return expression containing a method call,
rfield@1380 593 //or the method call itself, depending on whether the return type of
rfield@1380 594 //the bridge is non-void/void.
rfield@1380 595 bridgeDecl.body = makeLambdaExpressionBody(bridgeExpr, bridgeDecl);
rfield@1380 596
rfield@1380 597 return bridgeDecl;
rfield@1380 598 } finally {
rfield@1380 599 make.at(prevPos);
rfield@1380 600 }
rfield@1380 601 }
rfield@1380 602
rfield@1380 603 /**
rfield@1380 604 * determine the receiver of the bridged method call - the receiver can
rfield@1380 605 * be either the synthetic receiver parameter or a type qualifier; the
rfield@1380 606 * original qualifier expression is never used here, as it might refer
rfield@1380 607 * to symbols not available in the static context of the bridge
rfield@1380 608 */
rfield@1380 609 private JCExpression bridgeExpressionInvoke(VarSymbol rcvr) {
rfield@1380 610 JCExpression qualifier =
rfield@1380 611 tree.sym.isStatic() ?
rfield@1380 612 make.Type(tree.sym.owner.type) :
rfield@1380 613 (rcvr != null) ?
rfield@1380 614 make.Ident(rcvr) :
rfield@1380 615 tree.getQualifierExpression();
rfield@1380 616
rfield@1380 617 //create the qualifier expression
rfield@1380 618 JCFieldAccess select = make.Select(qualifier, tree.sym.name);
rfield@1380 619 select.sym = tree.sym;
rfield@1380 620 select.type = tree.sym.erasure(types);
rfield@1380 621
rfield@1380 622 //create the method call expression
rfield@1380 623 JCExpression apply = make.Apply(List.<JCExpression>nil(), select,
rfield@1380 624 convertArgs(tree.sym, args.toList(), tree.varargsElement)).setType(tree.sym.erasure(types).getReturnType());
rfield@1380 625
rfield@1380 626 apply = transTypes.coerce(apply, localContext.generatedRefSig().getReturnType());
rfield@1380 627 setVarargsIfNeeded(apply, tree.varargsElement);
rfield@1380 628 return apply;
rfield@1380 629 }
rfield@1380 630
rfield@1380 631 /**
rfield@1380 632 * the enclosing expression is either 'null' (no enclosing type) or set
rfield@1380 633 * to the first bridge synthetic parameter
rfield@1380 634 */
rfield@1380 635 private JCExpression bridgeExpressionNew() {
mcimadamore@1496 636 if (tree.kind == ReferenceKind.ARRAY_CTOR) {
mcimadamore@1496 637 //create the array creation expression
mcimadamore@1496 638 JCNewArray newArr = make.NewArray(make.Type(types.elemtype(tree.getQualifierExpression().type)),
mcimadamore@1496 639 List.of(make.Ident(params.first())),
mcimadamore@1496 640 null);
mcimadamore@1496 641 newArr.type = tree.getQualifierExpression().type;
mcimadamore@1496 642 return newArr;
mcimadamore@1496 643 } else {
mcimadamore@1496 644 JCExpression encl = null;
mcimadamore@1496 645 switch (tree.kind) {
mcimadamore@1496 646 case UNBOUND:
mcimadamore@1496 647 case IMPLICIT_INNER:
mcimadamore@1496 648 encl = make.Ident(params.first());
mcimadamore@1496 649 }
mcimadamore@1496 650
mcimadamore@1496 651 //create the instance creation expression
mcimadamore@1496 652 JCNewClass newClass = make.NewClass(encl,
mcimadamore@1496 653 List.<JCExpression>nil(),
mcimadamore@1496 654 make.Type(tree.getQualifierExpression().type),
mcimadamore@1496 655 convertArgs(tree.sym, args.toList(), tree.varargsElement),
mcimadamore@1496 656 null);
mcimadamore@1496 657 newClass.constructor = tree.sym;
mcimadamore@1496 658 newClass.constructorType = tree.sym.erasure(types);
mcimadamore@1496 659 newClass.type = tree.getQualifierExpression().type;
mcimadamore@1496 660 setVarargsIfNeeded(newClass, tree.varargsElement);
mcimadamore@1496 661 return newClass;
rfield@1380 662 }
rfield@1380 663 }
rfield@1380 664
rfield@1380 665 private VarSymbol addParameter(String name, Type p, boolean genArg) {
rfield@1380 666 VarSymbol vsym = new VarSymbol(0, names.fromString(name), p, localContext.bridgeSym);
rfield@1380 667 params.append(make.VarDef(vsym, null));
rfield@1380 668 if (genArg) {
rfield@1380 669 args.append(make.Ident(vsym));
rfield@1380 670 }
rfield@1380 671 return vsym;
rfield@1380 672 }
rfield@1380 673 }
rfield@1380 674
rfield@1380 675 /**
rfield@1380 676 * Bridges a member reference - this is needed when:
rfield@1380 677 * * Var args in the referenced method need to be flattened away
rfield@1380 678 * * super is used
rfield@1380 679 */
rfield@1380 680 private void bridgeMemberReference(JCMemberReference tree, ReferenceTranslationContext localContext) {
rfield@1380 681 JCMethodDecl bridgeDecl = (new MemberReferenceBridger(tree, localContext).bridge());
rfield@1380 682 translatedMethodList = translatedMethodList.prepend(bridgeDecl);
rfield@1380 683 }
rfield@1380 684
rfield@1380 685 /**
rfield@1380 686 * Generate an indy method call to the meta factory
rfield@1380 687 */
mcimadamore@1510 688 private JCExpression makeMetaFactoryIndyCall(JCFunctionalExpression tree, int refKind, Symbol refSym, List<JCExpression> indy_args) {
rfield@1380 689 //determine the static bsm args
mcimadamore@1510 690 Type mtype = types.erasure(tree.descriptorType);
mcimadamore@1510 691 MethodSymbol samSym = (MethodSymbol) types.findDescriptorSymbol(tree.type.tsym);
rfield@1380 692 List<Object> staticArgs = List.<Object>of(
mcimadamore@1510 693 new Pool.MethodHandle(ClassFile.REF_invokeInterface, types.findDescriptorSymbol(tree.type.tsym), types),
vromero@1452 694 new Pool.MethodHandle(refKind, refSym, types),
rfield@1380 695 new MethodType(mtype.getParameterTypes(),
rfield@1380 696 mtype.getReturnType(),
rfield@1380 697 mtype.getThrownTypes(),
rfield@1380 698 syms.methodClass));
rfield@1380 699
rfield@1380 700 //computed indy arg types
rfield@1380 701 ListBuffer<Type> indy_args_types = ListBuffer.lb();
rfield@1380 702 for (JCExpression arg : indy_args) {
rfield@1380 703 indy_args_types.append(arg.type);
rfield@1380 704 }
rfield@1380 705
rfield@1380 706 //finally, compute the type of the indy call
rfield@1380 707 MethodType indyType = new MethodType(indy_args_types.toList(),
rfield@1380 708 tree.type,
rfield@1380 709 List.<Type>nil(),
rfield@1380 710 syms.methodClass);
rfield@1380 711
rfield@1380 712 return makeIndyCall(tree, syms.lambdaMetafactory, names.metaFactory, staticArgs, indyType, indy_args);
rfield@1380 713 }
rfield@1380 714
rfield@1380 715 /**
rfield@1380 716 * Generate an indy method call with given name, type and static bootstrap
rfield@1380 717 * arguments types
rfield@1380 718 */
rfield@1380 719 private JCExpression makeIndyCall(DiagnosticPosition pos, Type site, Name bsmName, List<Object> staticArgs, MethodType indyType, List<JCExpression> indyArgs) {
rfield@1380 720 int prevPos = make.pos;
rfield@1380 721 try {
rfield@1380 722 make.at(pos);
rfield@1380 723 List<Type> bsm_staticArgs = List.of(syms.methodHandleLookupType,
rfield@1380 724 syms.stringType,
rfield@1380 725 syms.methodTypeType).appendList(bsmStaticArgToTypes(staticArgs));
rfield@1380 726
rfield@1380 727 Symbol bsm = rs.resolveInternalMethod(pos, attrEnv, site,
rfield@1380 728 bsmName, bsm_staticArgs, List.<Type>nil());
rfield@1380 729
rfield@1380 730 DynamicMethodSymbol dynSym =
rfield@1380 731 new DynamicMethodSymbol(names.lambda,
rfield@1380 732 syms.noSymbol,
rfield@1380 733 bsm.isStatic() ? ClassFile.REF_invokeStatic : ClassFile.REF_invokeVirtual,
rfield@1380 734 (MethodSymbol)bsm,
rfield@1380 735 indyType,
rfield@1380 736 staticArgs.toArray());
rfield@1380 737
rfield@1380 738 JCFieldAccess qualifier = make.Select(make.QualIdent(site.tsym), bsmName);
rfield@1380 739 qualifier.sym = dynSym;
rfield@1380 740 qualifier.type = indyType.getReturnType();
rfield@1380 741
rfield@1380 742 JCMethodInvocation proxyCall = make.Apply(List.<JCExpression>nil(), qualifier, indyArgs);
rfield@1380 743 proxyCall.type = indyType.getReturnType();
rfield@1380 744 return proxyCall;
rfield@1380 745 } finally {
rfield@1380 746 make.at(prevPos);
rfield@1380 747 }
rfield@1380 748 }
rfield@1380 749 //where
rfield@1380 750 private List<Type> bsmStaticArgToTypes(List<Object> args) {
rfield@1380 751 ListBuffer<Type> argtypes = ListBuffer.lb();
rfield@1380 752 for (Object arg : args) {
rfield@1380 753 argtypes.append(bsmStaticArgToType(arg));
rfield@1380 754 }
rfield@1380 755 return argtypes.toList();
rfield@1380 756 }
rfield@1380 757
rfield@1380 758 private Type bsmStaticArgToType(Object arg) {
rfield@1380 759 Assert.checkNonNull(arg);
rfield@1380 760 if (arg instanceof ClassSymbol) {
rfield@1380 761 return syms.classType;
rfield@1380 762 } else if (arg instanceof Integer) {
rfield@1380 763 return syms.intType;
rfield@1380 764 } else if (arg instanceof Long) {
rfield@1380 765 return syms.longType;
rfield@1380 766 } else if (arg instanceof Float) {
rfield@1380 767 return syms.floatType;
rfield@1380 768 } else if (arg instanceof Double) {
rfield@1380 769 return syms.doubleType;
rfield@1380 770 } else if (arg instanceof String) {
rfield@1380 771 return syms.stringType;
rfield@1380 772 } else if (arg instanceof Pool.MethodHandle) {
rfield@1380 773 return syms.methodHandleType;
rfield@1380 774 } else if (arg instanceof MethodType) {
rfield@1380 775 return syms.methodTypeType;
rfield@1380 776 } else {
rfield@1380 777 Assert.error("bad static arg " + arg.getClass());
rfield@1380 778 return null;
rfield@1380 779 }
rfield@1380 780 }
rfield@1380 781
rfield@1380 782 /**
rfield@1380 783 * Get the opcode associated with this method reference
rfield@1380 784 */
rfield@1380 785 private int referenceKind(Symbol refSym) {
rfield@1380 786 if (refSym.isConstructor()) {
rfield@1380 787 return ClassFile.REF_newInvokeSpecial;
rfield@1380 788 } else {
rfield@1380 789 if (refSym.isStatic()) {
rfield@1380 790 return ClassFile.REF_invokeStatic;
rfield@1380 791 } else if (refSym.enclClass().isInterface()) {
rfield@1380 792 return ClassFile.REF_invokeInterface;
rfield@1380 793 } else {
rfield@1380 794 return ClassFile.REF_invokeVirtual;
rfield@1380 795 }
rfield@1380 796 }
rfield@1380 797 }
rfield@1380 798 // </editor-fold>
rfield@1380 799
rfield@1380 800 // <editor-fold defaultstate="collapsed" desc="Lambda/reference analyzer">\
rfield@1380 801 /**
rfield@1380 802 * This visitor collects information about translation of a lambda expression.
rfield@1380 803 * More specifically, it keeps track of the enclosing contexts and captured locals
rfield@1380 804 * accessed by the lambda being translated (as well as other useful info).
rfield@1380 805 */
rfield@1380 806 class LambdaAnalyzer extends TreeScanner {
rfield@1380 807
rfield@1380 808 /** the frame stack - used to reconstruct translation info about enclosing scopes */
rfield@1380 809 private List<Frame> frameStack;
rfield@1380 810
rfield@1380 811 /**
rfield@1380 812 * keep the count of lambda expression (used to generate unambiguous
rfield@1380 813 * names)
rfield@1380 814 */
rfield@1380 815 private int lambdaCount = 0;
rfield@1380 816
rfield@1380 817 private void analyzeClass(JCClassDecl tree) {
rfield@1380 818 frameStack = List.nil();
rfield@1380 819 scan(tree);
rfield@1380 820 }
rfield@1380 821
rfield@1380 822 @Override
rfield@1380 823 public void visitBlock(JCBlock tree) {
rfield@1380 824 List<Frame> prevStack = frameStack;
rfield@1380 825 try {
rfield@1380 826 if (frameStack.nonEmpty() && frameStack.head.tree.hasTag(CLASSDEF)) {
rfield@1380 827 frameStack = frameStack.prepend(new Frame(tree));
rfield@1380 828 }
rfield@1380 829 super.visitBlock(tree);
rfield@1380 830 }
rfield@1380 831 finally {
rfield@1380 832 frameStack = prevStack;
rfield@1380 833 }
rfield@1380 834 }
rfield@1380 835
rfield@1380 836 @Override
rfield@1380 837 public void visitClassDef(JCClassDecl tree) {
rfield@1380 838 List<Frame> prevStack = frameStack;
rfield@1380 839 try {
rfield@1380 840 if (frameStack.nonEmpty() && enclosingLambda() != null) {
rfield@1380 841 tree.sym.owner = owner();
rfield@1380 842 LambdaTranslationContext lambdaContext = (LambdaTranslationContext)contextMap.get(enclosingLambda());
rfield@1380 843 Type encl = lambdaContext.enclosingType();
rfield@1380 844 if (encl.hasTag(NONE)) {
rfield@1380 845 //if the translated lambda body occurs in a static context,
rfield@1380 846 //any class declaration within it must be made static
rfield@1380 847 tree.sym.flags_field |= STATIC;
rfield@1380 848 ((ClassType)tree.sym.type).setEnclosingType(Type.noType);
rfield@1380 849 } else {
rfield@1380 850 //if the translated lambda body is in an instance context
rfield@1380 851 //the enclosing type of any class declaration within it
rfield@1380 852 //must be updated to point to the new enclosing type (if any)
rfield@1380 853 ((ClassType)tree.sym.type).setEnclosingType(encl);
rfield@1380 854 }
rfield@1380 855 }
rfield@1380 856 frameStack = frameStack.prepend(new Frame(tree));
rfield@1380 857 super.visitClassDef(tree);
rfield@1380 858 }
rfield@1380 859 finally {
rfield@1380 860 frameStack = prevStack;
rfield@1380 861 }
rfield@1380 862 if (frameStack.nonEmpty() && enclosingLambda() != null) {
rfield@1380 863 // Any class defined within a lambda is an implicit 'this' reference
rfield@1380 864 // because its constructor will reference the enclosing class
rfield@1380 865 ((LambdaTranslationContext) context()).addSymbol(tree.sym.type.getEnclosingType().tsym, CAPTURED_THIS);
rfield@1380 866 }
rfield@1380 867 }
rfield@1380 868
rfield@1380 869 @Override
rfield@1380 870 public void visitIdent(JCIdent tree) {
rfield@1380 871 if (context() == null || !lambdaIdentSymbolFilter(tree.sym)) {
rfield@1380 872 super.visitIdent(tree);
rfield@1380 873 } else {
rfield@1380 874 if (tree.sym.kind == VAR &&
rfield@1380 875 tree.sym.owner.kind == MTH &&
rfield@1380 876 tree.type.constValue() == null) {
rfield@1380 877 TranslationContext<?> localContext = context();
rfield@1380 878 while (localContext != null) {
rfield@1380 879 if (localContext.tree.getTag() == LAMBDA) {
rfield@1380 880 JCTree block = capturedDecl(localContext.depth, tree.sym);
rfield@1380 881 if (block == null) break;
rfield@1380 882 ((LambdaTranslationContext)localContext).addSymbol(tree.sym, CAPTURED_VAR);
rfield@1380 883 }
rfield@1380 884 localContext = localContext.prev;
rfield@1380 885 }
rfield@1380 886 } else if (tree.sym.owner.kind == TYP) {
rfield@1380 887 TranslationContext<?> localContext = context();
rfield@1380 888 while (localContext != null) {
rfield@1380 889 if (localContext.tree.hasTag(LAMBDA)) {
rfield@1380 890 JCTree block = capturedDecl(localContext.depth, tree.sym);
rfield@1380 891 if (block == null) break;
rfield@1380 892 switch (block.getTag()) {
rfield@1380 893 case CLASSDEF:
rfield@1380 894 JCClassDecl cdecl = (JCClassDecl)block;
rfield@1380 895 ((LambdaTranslationContext)localContext).addSymbol(cdecl.sym, CAPTURED_THIS);
rfield@1380 896 break;
rfield@1380 897 default:
rfield@1380 898 Assert.error("bad block kind");
rfield@1380 899 }
rfield@1380 900 }
rfield@1380 901 localContext = localContext.prev;
rfield@1380 902 }
rfield@1380 903 }
rfield@1380 904 }
rfield@1380 905 }
rfield@1380 906
rfield@1380 907 @Override
rfield@1380 908 public void visitLambda(JCLambda tree) {
rfield@1380 909 List<Frame> prevStack = frameStack;
rfield@1380 910 try {
rfield@1380 911 LambdaTranslationContext context = (LambdaTranslationContext)makeLambdaContext(tree);
rfield@1380 912 frameStack = frameStack.prepend(new Frame(tree));
rfield@1380 913 for (JCVariableDecl param : tree.params) {
rfield@1380 914 context.addSymbol(param.sym, PARAM);
rfield@1380 915 frameStack.head.addLocal(param.sym);
rfield@1380 916 }
rfield@1380 917 contextMap.put(tree, context);
rfield@1380 918 scan(tree.body);
rfield@1380 919 context.complete();
rfield@1380 920 }
rfield@1380 921 finally {
rfield@1380 922 frameStack = prevStack;
rfield@1380 923 }
rfield@1380 924 }
rfield@1380 925
rfield@1380 926 @Override
rfield@1380 927 public void visitMethodDef(JCMethodDecl tree) {
rfield@1380 928 List<Frame> prevStack = frameStack;
rfield@1380 929 try {
rfield@1380 930 frameStack = frameStack.prepend(new Frame(tree));
rfield@1380 931 super.visitMethodDef(tree);
rfield@1380 932 }
rfield@1380 933 finally {
rfield@1380 934 frameStack = prevStack;
rfield@1380 935 }
rfield@1380 936 }
rfield@1380 937
rfield@1380 938 @Override
rfield@1380 939 public void visitNewClass(JCNewClass tree) {
rfield@1380 940 if (lambdaNewClassFilter(context(), tree)) {
rfield@1380 941 ((LambdaTranslationContext) context()).addSymbol(tree.type.getEnclosingType().tsym, CAPTURED_THIS);
rfield@1380 942 }
rfield@1380 943 super.visitNewClass(tree);
rfield@1380 944 }
rfield@1380 945
rfield@1380 946 @Override
rfield@1380 947 public void visitReference(JCMemberReference tree) {
rfield@1380 948 scan(tree.getQualifierExpression());
rfield@1380 949 contextMap.put(tree, makeReferenceContext(tree));
rfield@1380 950 }
rfield@1380 951
rfield@1380 952 @Override
rfield@1380 953 public void visitSelect(JCFieldAccess tree) {
rfield@1380 954 if (context() != null && lambdaSelectSymbolFilter(tree.sym)) {
rfield@1380 955 TranslationContext<?> localContext = context();
rfield@1380 956 while (localContext != null) {
rfield@1380 957 if (localContext.tree.hasTag(LAMBDA)) {
rfield@1380 958 JCClassDecl clazz = (JCClassDecl)capturedDecl(localContext.depth, tree.sym);
rfield@1380 959 if (clazz == null) break;
rfield@1380 960 ((LambdaTranslationContext)localContext).addSymbol(clazz.sym, CAPTURED_THIS);
rfield@1380 961 }
rfield@1380 962 localContext = localContext.prev;
rfield@1380 963 }
rfield@1380 964 scan(tree.selected);
rfield@1380 965 } else {
rfield@1380 966 super.visitSelect(tree);
rfield@1380 967 }
rfield@1380 968 }
rfield@1380 969
rfield@1380 970 @Override
rfield@1380 971 public void visitVarDef(JCVariableDecl tree) {
rfield@1380 972 if (frameStack.head.tree.hasTag(LAMBDA)) {
rfield@1380 973 ((LambdaTranslationContext)context()).addSymbol(tree.sym, LOCAL_VAR);
rfield@1380 974 }
rfield@1380 975 List<Frame> prevStack = frameStack;
rfield@1380 976 try {
rfield@1380 977 if (tree.sym.owner.kind == MTH) {
rfield@1380 978 frameStack.head.addLocal(tree.sym);
rfield@1380 979 }
rfield@1380 980 frameStack = frameStack.prepend(new Frame(tree));
rfield@1380 981 super.visitVarDef(tree);
rfield@1380 982 }
rfield@1380 983 finally {
rfield@1380 984 frameStack = prevStack;
rfield@1380 985 }
rfield@1380 986 }
rfield@1380 987
rfield@1380 988 private Name lambdaName() {
rfield@1380 989 return names.lambda.append(names.fromString("$" + lambdaCount++));
rfield@1380 990 }
rfield@1380 991
rfield@1380 992 /**
rfield@1380 993 * Return a valid owner given the current declaration stack
rfield@1380 994 * (required to skip synthetic lambda symbols)
rfield@1380 995 */
rfield@1380 996 private Symbol owner() {
rfield@1380 997 List<Frame> frameStack2 = frameStack;
rfield@1380 998 while (frameStack2.nonEmpty()) {
rfield@1380 999 switch (frameStack2.head.tree.getTag()) {
rfield@1380 1000 case VARDEF:
rfield@1380 1001 if (((JCVariableDecl)frameStack2.head.tree).sym.isLocal()) {
rfield@1380 1002 frameStack2 = frameStack2.tail;
rfield@1380 1003 break;
rfield@1380 1004 }
rfield@1380 1005 JCClassDecl cdecl = (JCClassDecl)frameStack2.tail.head.tree;
rfield@1380 1006 return makeSyntheticMethod(((JCVariableDecl)frameStack2.head.tree).sym.flags() & STATIC, names.empty, null, cdecl.sym);
rfield@1380 1007 case BLOCK:
rfield@1380 1008 JCClassDecl cdecl2 = (JCClassDecl)frameStack2.tail.head.tree;
rfield@1380 1009 return makeSyntheticMethod(((JCBlock)frameStack2.head.tree).flags & STATIC | Flags.BLOCK, names.empty, null, cdecl2.sym);
rfield@1380 1010 case CLASSDEF:
rfield@1380 1011 return ((JCClassDecl)frameStack2.head.tree).sym;
rfield@1380 1012 case METHODDEF:
rfield@1380 1013 return ((JCMethodDecl)frameStack2.head.tree).sym;
rfield@1380 1014 case LAMBDA:
rfield@1380 1015 return ((LambdaTranslationContext)contextMap.get(frameStack2.head.tree)).translatedSym;
rfield@1380 1016 default:
rfield@1380 1017 frameStack2 = frameStack2.tail;
rfield@1380 1018 }
rfield@1380 1019 }
rfield@1380 1020 Assert.error();
rfield@1380 1021 return null;
rfield@1380 1022 }
rfield@1380 1023
rfield@1380 1024 private JCTree enclosingLambda() {
rfield@1380 1025 List<Frame> frameStack2 = frameStack;
rfield@1380 1026 while (frameStack2.nonEmpty()) {
rfield@1380 1027 switch (frameStack2.head.tree.getTag()) {
rfield@1380 1028 case CLASSDEF:
rfield@1380 1029 case METHODDEF:
rfield@1380 1030 return null;
rfield@1380 1031 case LAMBDA:
rfield@1380 1032 return frameStack2.head.tree;
rfield@1380 1033 default:
rfield@1380 1034 frameStack2 = frameStack2.tail;
rfield@1380 1035 }
rfield@1380 1036 }
rfield@1380 1037 Assert.error();
rfield@1380 1038 return null;
rfield@1380 1039 }
rfield@1380 1040
rfield@1380 1041 /**
rfield@1380 1042 * Return the declaration corresponding to a symbol in the enclosing
rfield@1380 1043 * scope; the depth parameter is used to filter out symbols defined
rfield@1380 1044 * in nested scopes (which do not need to undergo capture).
rfield@1380 1045 */
rfield@1380 1046 private JCTree capturedDecl(int depth, Symbol sym) {
rfield@1380 1047 int currentDepth = frameStack.size() - 1;
rfield@1380 1048 for (Frame block : frameStack) {
rfield@1380 1049 switch (block.tree.getTag()) {
rfield@1380 1050 case CLASSDEF:
rfield@1380 1051 ClassSymbol clazz = ((JCClassDecl)block.tree).sym;
rfield@1380 1052 if (sym.isMemberOf(clazz, types)) {
rfield@1380 1053 return currentDepth > depth ? null : block.tree;
rfield@1380 1054 }
rfield@1380 1055 break;
rfield@1380 1056 case VARDEF:
rfield@1380 1057 if (((JCVariableDecl)block.tree).sym == sym &&
rfield@1380 1058 sym.owner.kind == MTH) { //only locals are captured
rfield@1380 1059 return currentDepth > depth ? null : block.tree;
rfield@1380 1060 }
rfield@1380 1061 break;
rfield@1380 1062 case BLOCK:
rfield@1380 1063 case METHODDEF:
rfield@1380 1064 case LAMBDA:
rfield@1380 1065 if (block.locals != null && block.locals.contains(sym)) {
rfield@1380 1066 return currentDepth > depth ? null : block.tree;
rfield@1380 1067 }
rfield@1380 1068 break;
rfield@1380 1069 default:
rfield@1380 1070 Assert.error("bad decl kind " + block.tree.getTag());
rfield@1380 1071 }
rfield@1380 1072 currentDepth--;
rfield@1380 1073 }
rfield@1380 1074 return null;
rfield@1380 1075 }
rfield@1380 1076
rfield@1380 1077 private TranslationContext<?> context() {
rfield@1380 1078 for (Frame frame : frameStack) {
rfield@1380 1079 TranslationContext<?> context = contextMap.get(frame.tree);
rfield@1380 1080 if (context != null) {
rfield@1380 1081 return context;
rfield@1380 1082 }
rfield@1380 1083 }
rfield@1380 1084 return null;
rfield@1380 1085 }
rfield@1380 1086
rfield@1380 1087 /**
rfield@1380 1088 * This is used to filter out those identifiers that needs to be adjusted
rfield@1380 1089 * when translating away lambda expressions
rfield@1380 1090 */
rfield@1380 1091 private boolean lambdaIdentSymbolFilter(Symbol sym) {
rfield@1380 1092 return (sym.kind == VAR || sym.kind == MTH)
rfield@1380 1093 && !sym.isStatic()
rfield@1380 1094 && sym.name != names.init;
rfield@1380 1095 }
rfield@1380 1096
rfield@1380 1097 private boolean lambdaSelectSymbolFilter(Symbol sym) {
rfield@1380 1098 return (sym.kind == VAR || sym.kind == MTH) &&
rfield@1380 1099 !sym.isStatic() &&
rfield@1380 1100 (sym.name == names._this ||
rfield@1380 1101 sym.name == names._super);
rfield@1380 1102 }
rfield@1380 1103
rfield@1380 1104 /**
rfield@1380 1105 * This is used to filter out those new class expressions that need to
rfield@1380 1106 * be qualified with an enclosing tree
rfield@1380 1107 */
rfield@1380 1108 private boolean lambdaNewClassFilter(TranslationContext<?> context, JCNewClass tree) {
rfield@1380 1109 if (context != null
rfield@1380 1110 && tree.encl == null
rfield@1380 1111 && tree.def == null
rfield@1405 1112 && !tree.type.getEnclosingType().hasTag(NONE)) {
rfield@1380 1113 Type encl = tree.type.getEnclosingType();
rfield@1380 1114 Type current = context.owner.enclClass().type;
rfield@1405 1115 while (!current.hasTag(NONE)) {
rfield@1380 1116 if (current.tsym.isSubClass(encl.tsym, types)) {
rfield@1380 1117 return true;
rfield@1380 1118 }
rfield@1380 1119 current = current.getEnclosingType();
rfield@1380 1120 }
rfield@1380 1121 return false;
rfield@1380 1122 } else {
rfield@1380 1123 return false;
rfield@1380 1124 }
rfield@1380 1125 }
rfield@1380 1126
rfield@1380 1127 private TranslationContext<JCLambda> makeLambdaContext(JCLambda tree) {
rfield@1380 1128 return new LambdaTranslationContext(tree);
rfield@1380 1129 }
rfield@1380 1130
rfield@1380 1131 private TranslationContext<JCMemberReference> makeReferenceContext(JCMemberReference tree) {
rfield@1380 1132 return new ReferenceTranslationContext(tree);
rfield@1380 1133 }
rfield@1380 1134
rfield@1380 1135 private class Frame {
rfield@1380 1136 final JCTree tree;
rfield@1380 1137 List<Symbol> locals;
rfield@1380 1138
rfield@1380 1139 public Frame(JCTree tree) {
rfield@1380 1140 this.tree = tree;
rfield@1380 1141 }
rfield@1380 1142
rfield@1380 1143 void addLocal(Symbol sym) {
rfield@1380 1144 if (locals == null) {
rfield@1380 1145 locals = List.nil();
rfield@1380 1146 }
rfield@1380 1147 locals = locals.prepend(sym);
rfield@1380 1148 }
rfield@1380 1149 }
rfield@1380 1150
rfield@1380 1151 /**
rfield@1380 1152 * This class is used to store important information regarding translation of
rfield@1380 1153 * lambda expression/method references (see subclasses).
rfield@1380 1154 */
mcimadamore@1510 1155 private abstract class TranslationContext<T extends JCFunctionalExpression> {
rfield@1380 1156
rfield@1380 1157 /** the underlying (untranslated) tree */
rfield@1380 1158 T tree;
rfield@1380 1159
rfield@1380 1160 /** points to the adjusted enclosing scope in which this lambda/mref expression occurs */
rfield@1380 1161 Symbol owner;
rfield@1380 1162
rfield@1380 1163 /** the depth of this lambda expression in the frame stack */
rfield@1380 1164 int depth;
rfield@1380 1165
rfield@1380 1166 /** the enclosing translation context (set for nested lambdas/mref) */
rfield@1380 1167 TranslationContext<?> prev;
rfield@1380 1168
rfield@1380 1169 TranslationContext(T tree) {
rfield@1380 1170 this.tree = tree;
rfield@1380 1171 this.owner = owner();
rfield@1380 1172 this.depth = frameStack.size() - 1;
rfield@1380 1173 this.prev = context();
rfield@1380 1174 }
rfield@1380 1175 }
rfield@1380 1176
rfield@1380 1177 /**
rfield@1380 1178 * This class retains all the useful information about a lambda expression;
rfield@1380 1179 * the contents of this class are filled by the LambdaAnalyzer visitor,
rfield@1380 1180 * and the used by the main translation routines in order to adjust references
rfield@1380 1181 * to captured locals/members, etc.
rfield@1380 1182 */
rfield@1380 1183 private class LambdaTranslationContext extends TranslationContext<JCLambda> {
rfield@1380 1184
rfield@1380 1185 /** variable in the enclosing context to which this lambda is assigned */
rfield@1380 1186 Symbol self;
rfield@1380 1187
rfield@1380 1188 /** map from original to translated lambda parameters */
rfield@1380 1189 Map<Symbol, Symbol> lambdaParams = new LinkedHashMap<Symbol, Symbol>();
rfield@1380 1190
rfield@1380 1191 /** map from original to translated lambda locals */
rfield@1380 1192 Map<Symbol, Symbol> lambdaLocals = new LinkedHashMap<Symbol, Symbol>();
rfield@1380 1193
rfield@1380 1194 /** map from variables in enclosing scope to translated synthetic parameters */
rfield@1380 1195 Map<Symbol, Symbol> capturedLocals = new LinkedHashMap<Symbol, Symbol>();
rfield@1380 1196
rfield@1380 1197 /** map from class symbols to translated synthetic parameters (for captured member access) */
rfield@1380 1198 Map<Symbol, Symbol> capturedThis = new LinkedHashMap<Symbol, Symbol>();
rfield@1380 1199
rfield@1380 1200 /** the synthetic symbol for the method hoisting the translated lambda */
rfield@1380 1201 Symbol translatedSym;
rfield@1380 1202
rfield@1380 1203 List<JCVariableDecl> syntheticParams;
rfield@1380 1204
rfield@1380 1205 LambdaTranslationContext(JCLambda tree) {
rfield@1380 1206 super(tree);
rfield@1380 1207 Frame frame = frameStack.head;
rfield@1380 1208 if (frame.tree.hasTag(VARDEF)) {
rfield@1380 1209 self = ((JCVariableDecl)frame.tree).sym;
rfield@1380 1210 }
rfield@1380 1211 this.translatedSym = makeSyntheticMethod(0, lambdaName(), null, owner.enclClass());
rfield@1380 1212 }
rfield@1380 1213
rfield@1380 1214 /**
rfield@1380 1215 * Translate a symbol of a given kind into something suitable for the
rfield@1380 1216 * synthetic lambda body
rfield@1380 1217 */
rfield@1380 1218 Symbol translate(String name, Symbol sym, LambdaSymbolKind skind) {
rfield@1380 1219 if (skind == CAPTURED_THIS) {
rfield@1380 1220 return sym; // self represented
rfield@1380 1221 } else {
rfield@1380 1222 return makeSyntheticVar(FINAL, name, types.erasure(sym.type), translatedSym);
rfield@1380 1223 }
rfield@1380 1224 }
rfield@1380 1225
rfield@1380 1226 void addSymbol(Symbol sym, LambdaSymbolKind skind) {
rfield@1380 1227 Map<Symbol, Symbol> transMap = null;
rfield@1380 1228 String preferredName;
rfield@1380 1229 switch (skind) {
rfield@1380 1230 case CAPTURED_THIS:
rfield@1380 1231 transMap = capturedThis;
rfield@1380 1232 preferredName = "encl$" + capturedThis.size();
rfield@1380 1233 break;
rfield@1380 1234 case CAPTURED_VAR:
rfield@1380 1235 transMap = capturedLocals;
rfield@1380 1236 preferredName = "cap$" + capturedLocals.size();
rfield@1380 1237 break;
rfield@1380 1238 case LOCAL_VAR:
rfield@1380 1239 transMap = lambdaLocals;
rfield@1380 1240 preferredName = sym.name.toString();
rfield@1380 1241 break;
rfield@1380 1242 case PARAM:
rfield@1380 1243 transMap = lambdaParams;
rfield@1380 1244 preferredName = sym.name.toString();
rfield@1380 1245 break;
rfield@1380 1246 default: throw new AssertionError();
rfield@1380 1247 }
rfield@1380 1248 if (!transMap.containsKey(sym)) {
rfield@1380 1249 transMap.put(sym, translate(preferredName, sym, skind));
rfield@1380 1250 }
rfield@1380 1251 }
rfield@1380 1252
rfield@1380 1253 Map<Symbol, Symbol> getSymbolMap(LambdaSymbolKind... skinds) {
rfield@1380 1254 LinkedHashMap<Symbol, Symbol> translationMap = new LinkedHashMap<Symbol, Symbol>();
rfield@1380 1255 for (LambdaSymbolKind skind : skinds) {
rfield@1380 1256 switch (skind) {
rfield@1380 1257 case CAPTURED_THIS:
rfield@1380 1258 translationMap.putAll(capturedThis);
rfield@1380 1259 break;
rfield@1380 1260 case CAPTURED_VAR:
rfield@1380 1261 translationMap.putAll(capturedLocals);
rfield@1380 1262 break;
rfield@1380 1263 case LOCAL_VAR:
rfield@1380 1264 translationMap.putAll(lambdaLocals);
rfield@1380 1265 break;
rfield@1380 1266 case PARAM:
rfield@1380 1267 translationMap.putAll(lambdaParams);
rfield@1380 1268 break;
rfield@1380 1269 default: throw new AssertionError();
rfield@1380 1270 }
rfield@1380 1271 }
rfield@1380 1272 return translationMap;
rfield@1380 1273 }
rfield@1380 1274
rfield@1380 1275 /**
rfield@1380 1276 * The translatedSym is not complete/accurate until the analysis is
rfield@1380 1277 * finished. Once the analysis is finished, the translatedSym is
rfield@1380 1278 * "completed" -- updated with type information, access modifiers,
rfield@1380 1279 * and full parameter list.
rfield@1380 1280 */
rfield@1380 1281 void complete() {
rfield@1380 1282 if (syntheticParams != null) {
rfield@1380 1283 return;
rfield@1380 1284 }
rfield@1380 1285 boolean inInterface = translatedSym.owner.isInterface();
rfield@1380 1286 boolean thisReferenced = !getSymbolMap(CAPTURED_THIS).isEmpty();
rfield@1380 1287 boolean needInstance = thisReferenced || inInterface;
rfield@1380 1288
rfield@1380 1289 // If instance access isn't needed, make it static
rfield@1380 1290 // Interface methods much be public default methods, otherwise make it private
rfield@1380 1291 translatedSym.flags_field = SYNTHETIC | (needInstance? 0 : STATIC) | (inInterface? PUBLIC | DEFAULT : PRIVATE);
rfield@1380 1292
rfield@1380 1293 //compute synthetic params
rfield@1380 1294 ListBuffer<JCVariableDecl> params = ListBuffer.lb();
rfield@1380 1295
rfield@1380 1296 // The signature of the method is augmented with the following
rfield@1380 1297 // synthetic parameters:
rfield@1380 1298 //
rfield@1380 1299 // 1) reference to enclosing contexts captured by the lambda expression
rfield@1380 1300 // 2) enclosing locals captured by the lambda expression
rfield@1380 1301 for (Symbol thisSym : getSymbolMap(CAPTURED_VAR, PARAM).values()) {
rfield@1380 1302 params.append(make.VarDef((VarSymbol) thisSym, null));
rfield@1380 1303 }
rfield@1380 1304
rfield@1380 1305 syntheticParams = params.toList();
rfield@1380 1306
rfield@1380 1307 //prepend synthetic args to translated lambda method signature
rfield@1380 1308 translatedSym.type = (MethodType) types.createMethodTypeWithParameters(
rfield@1380 1309 (MethodType) generatedLambdaSig(),
rfield@1380 1310 TreeInfo.types(syntheticParams));
rfield@1380 1311 }
rfield@1380 1312
rfield@1380 1313 Type enclosingType() {
rfield@1380 1314 //local inner classes defined inside a lambda are always non-static
rfield@1380 1315 return owner.enclClass().type;
rfield@1380 1316 }
rfield@1380 1317
rfield@1380 1318 Type generatedLambdaSig() {
mcimadamore@1510 1319 return types.erasure(tree.descriptorType);
rfield@1380 1320 }
rfield@1380 1321 }
rfield@1380 1322
rfield@1380 1323 /**
rfield@1380 1324 * This class retains all the useful information about a method reference;
rfield@1380 1325 * the contents of this class are filled by the LambdaAnalyzer visitor,
rfield@1380 1326 * and the used by the main translation routines in order to adjust method
rfield@1380 1327 * references (i.e. in case a bridge is needed)
rfield@1380 1328 */
rfield@1380 1329 private class ReferenceTranslationContext extends TranslationContext<JCMemberReference> {
rfield@1380 1330
rfield@1380 1331 final boolean isSuper;
rfield@1380 1332 final Symbol bridgeSym;
rfield@1380 1333
rfield@1380 1334 ReferenceTranslationContext(JCMemberReference tree) {
rfield@1380 1335 super(tree);
rfield@1380 1336 this.isSuper = tree.hasKind(ReferenceKind.SUPER);
rfield@1380 1337 this.bridgeSym = needsBridge()
rfield@1380 1338 ? makeSyntheticMethod(isSuper ? 0 : STATIC,
rfield@1380 1339 lambdaName().append(names.fromString("$bridge")), null,
rfield@1380 1340 owner.enclClass())
rfield@1380 1341 : null;
rfield@1380 1342 }
rfield@1380 1343
rfield@1380 1344 /**
rfield@1380 1345 * Get the opcode associated with this method reference
rfield@1380 1346 */
rfield@1380 1347 int referenceKind() {
rfield@1380 1348 return LambdaToMethod.this.referenceKind(needsBridge() ? bridgeSym : tree.sym);
rfield@1380 1349 }
rfield@1380 1350
rfield@1380 1351 boolean needsVarArgsConversion() {
rfield@1380 1352 return tree.varargsElement != null;
rfield@1380 1353 }
rfield@1380 1354
rfield@1380 1355 /**
rfield@1380 1356 * @return Is this an array operation like clone()
rfield@1380 1357 */
rfield@1380 1358 boolean isArrayOp() {
rfield@1380 1359 return tree.sym.owner == syms.arrayClass;
rfield@1380 1360 }
rfield@1380 1361
rfield@1380 1362 /**
rfield@1380 1363 * Does this reference needs a bridge (i.e. var args need to be
rfield@1380 1364 * expanded or "super" is used)
rfield@1380 1365 */
rfield@1380 1366 final boolean needsBridge() {
rfield@1380 1367 return isSuper || needsVarArgsConversion() || isArrayOp();
rfield@1380 1368 }
rfield@1380 1369
rfield@1380 1370 Type generatedRefSig() {
rfield@1380 1371 return types.erasure(tree.sym.type);
rfield@1380 1372 }
rfield@1380 1373
rfield@1380 1374 Type bridgedRefSig() {
mcimadamore@1510 1375 return types.erasure(types.findDescriptorSymbol(tree.targets.head).type);
rfield@1380 1376 }
rfield@1380 1377 }
rfield@1380 1378 }
rfield@1380 1379 // </editor-fold>
rfield@1380 1380
rfield@1380 1381 enum LambdaSymbolKind {
rfield@1380 1382 CAPTURED_VAR,
rfield@1380 1383 CAPTURED_THIS,
rfield@1380 1384 LOCAL_VAR,
rfield@1380 1385 PARAM;
rfield@1380 1386 }
rfield@1380 1387 }

mercurial