Mon, 23 Jun 2014 13:14:32 -0700
8046060: Different results of floating point multiplication for lambda code block
Summary: propogate strictfp into lambda body
Reviewed-by: vromero, jlahoda
rfield@1380 | 1 | /* |
ksrini@2251 | 2 | * Copyright (c) 2010, 2014, 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.JCMemberReference.ReferenceKind; |
rfield@1380 | 30 | import com.sun.tools.javac.tree.TreeMaker; |
rfield@1380 | 31 | import com.sun.tools.javac.tree.TreeTranslator; |
jjg@1755 | 32 | import com.sun.tools.javac.code.Attribute; |
rfield@1380 | 33 | import com.sun.tools.javac.code.Kinds; |
rfield@1587 | 34 | import com.sun.tools.javac.code.Scope; |
rfield@1380 | 35 | import com.sun.tools.javac.code.Symbol; |
rfield@1380 | 36 | import com.sun.tools.javac.code.Symbol.ClassSymbol; |
rfield@1380 | 37 | import com.sun.tools.javac.code.Symbol.DynamicMethodSymbol; |
rfield@1380 | 38 | import com.sun.tools.javac.code.Symbol.MethodSymbol; |
rfield@2381 | 39 | import com.sun.tools.javac.code.Symbol.TypeSymbol; |
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.MethodType; |
rfield@1380 | 44 | import com.sun.tools.javac.code.Types; |
rfield@1717 | 45 | import com.sun.tools.javac.comp.LambdaToMethod.LambdaAnalyzerPreprocessor.*; |
mcimadamore@1612 | 46 | import com.sun.tools.javac.comp.Lower.BasicFreeVarCollector; |
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.JCDiagnostic.DiagnosticPosition; |
rfield@1380 | 50 | import com.sun.source.tree.MemberReferenceTree.ReferenceMode; |
rfield@1380 | 51 | |
ksrini@2155 | 52 | import java.util.EnumMap; |
rfield@1380 | 53 | import java.util.HashMap; |
rfield@2381 | 54 | import java.util.HashSet; |
rfield@1380 | 55 | import java.util.LinkedHashMap; |
rfield@1380 | 56 | import java.util.Map; |
rfield@2381 | 57 | import java.util.Set; |
rfield@1380 | 58 | |
rfield@1380 | 59 | import static com.sun.tools.javac.comp.LambdaToMethod.LambdaSymbolKind.*; |
rfield@1380 | 60 | import static com.sun.tools.javac.code.Flags.*; |
rfield@1380 | 61 | import static com.sun.tools.javac.code.Kinds.*; |
rfield@1587 | 62 | import static com.sun.tools.javac.code.TypeTag.*; |
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 | |
ksrini@2155 | 75 | private Attr attr; |
mcimadamore@1817 | 76 | private JCDiagnostic.Factory diags; |
mcimadamore@1817 | 77 | private Log log; |
mcimadamore@1612 | 78 | private Lower lower; |
rfield@1380 | 79 | private Names names; |
rfield@1380 | 80 | private Symtab syms; |
rfield@1380 | 81 | private Resolve rs; |
rfield@1380 | 82 | private TreeMaker make; |
rfield@1380 | 83 | private Types types; |
rfield@1380 | 84 | private TransTypes transTypes; |
rfield@1380 | 85 | private Env<AttrContext> attrEnv; |
rfield@1380 | 86 | |
rfield@1380 | 87 | /** the analyzer scanner */ |
rfield@1717 | 88 | private LambdaAnalyzerPreprocessor analyzer; |
rfield@1380 | 89 | |
rfield@1380 | 90 | /** map from lambda trees to translation contexts */ |
rfield@1380 | 91 | private Map<JCTree, TranslationContext<?>> contextMap; |
rfield@1380 | 92 | |
rfield@1380 | 93 | /** current translation context (visitor argument) */ |
rfield@1380 | 94 | private TranslationContext<?> context; |
rfield@1380 | 95 | |
rfield@1587 | 96 | /** info about the current class being processed */ |
rfield@1587 | 97 | private KlassInfo kInfo; |
rfield@1587 | 98 | |
mcimadamore@1817 | 99 | /** dump statistics about lambda code generation */ |
mcimadamore@1817 | 100 | private boolean dumpLambdaToMethodStats; |
mcimadamore@1817 | 101 | |
ksrini@2251 | 102 | /** force serializable representation, for stress testing **/ |
ksrini@2251 | 103 | private final boolean forceSerializable; |
ksrini@2251 | 104 | |
rfield@1587 | 105 | /** Flag for alternate metafactories indicating the lambda object is intended to be serializable */ |
rfield@1587 | 106 | public static final int FLAG_SERIALIZABLE = 1 << 0; |
rfield@1587 | 107 | |
rfield@1587 | 108 | /** Flag for alternate metafactories indicating the lambda object has multiple targets */ |
rfield@1587 | 109 | public static final int FLAG_MARKERS = 1 << 1; |
rfield@1587 | 110 | |
mcimadamore@1882 | 111 | /** Flag for alternate metafactories indicating the lambda object requires multiple bridges */ |
mcimadamore@1882 | 112 | public static final int FLAG_BRIDGES = 1 << 2; |
mcimadamore@1882 | 113 | |
ksrini@2155 | 114 | // <editor-fold defaultstate="collapsed" desc="Instantiating"> |
ksrini@2155 | 115 | protected static final Context.Key<LambdaToMethod> unlambdaKey = |
ksrini@2155 | 116 | new Context.Key<LambdaToMethod>(); |
ksrini@2155 | 117 | |
ksrini@2155 | 118 | public static LambdaToMethod instance(Context context) { |
ksrini@2155 | 119 | LambdaToMethod instance = context.get(unlambdaKey); |
ksrini@2155 | 120 | if (instance == null) { |
ksrini@2155 | 121 | instance = new LambdaToMethod(context); |
ksrini@2155 | 122 | } |
ksrini@2155 | 123 | return instance; |
ksrini@2155 | 124 | } |
ksrini@2155 | 125 | private LambdaToMethod(Context context) { |
ksrini@2155 | 126 | context.put(unlambdaKey, this); |
ksrini@2155 | 127 | diags = JCDiagnostic.Factory.instance(context); |
ksrini@2155 | 128 | log = Log.instance(context); |
ksrini@2155 | 129 | lower = Lower.instance(context); |
ksrini@2155 | 130 | names = Names.instance(context); |
ksrini@2155 | 131 | syms = Symtab.instance(context); |
ksrini@2155 | 132 | rs = Resolve.instance(context); |
ksrini@2155 | 133 | make = TreeMaker.instance(context); |
ksrini@2155 | 134 | types = Types.instance(context); |
ksrini@2155 | 135 | transTypes = TransTypes.instance(context); |
ksrini@2155 | 136 | analyzer = new LambdaAnalyzerPreprocessor(); |
ksrini@2155 | 137 | Options options = Options.instance(context); |
ksrini@2155 | 138 | dumpLambdaToMethodStats = options.isSet("dumpLambdaToMethodStats"); |
ksrini@2155 | 139 | attr = Attr.instance(context); |
ksrini@2251 | 140 | forceSerializable = options.isSet("forceSerializable"); |
ksrini@2155 | 141 | } |
ksrini@2155 | 142 | // </editor-fold> |
ksrini@2155 | 143 | |
rfield@1587 | 144 | private class KlassInfo { |
rfield@1587 | 145 | |
rfield@1587 | 146 | /** |
rfield@1587 | 147 | * list of methods to append |
rfield@1587 | 148 | */ |
rfield@1587 | 149 | private ListBuffer<JCTree> appendedMethodList; |
rfield@1587 | 150 | |
rfield@1587 | 151 | /** |
rfield@1587 | 152 | * list of deserialization cases |
rfield@1587 | 153 | */ |
rfield@1587 | 154 | private final Map<String, ListBuffer<JCStatement>> deserializeCases; |
rfield@1587 | 155 | |
rfield@1587 | 156 | /** |
rfield@1587 | 157 | * deserialize method symbol |
rfield@1587 | 158 | */ |
rfield@1587 | 159 | private final MethodSymbol deserMethodSym; |
rfield@1587 | 160 | |
rfield@1587 | 161 | /** |
rfield@1587 | 162 | * deserialize method parameter symbol |
rfield@1587 | 163 | */ |
rfield@1587 | 164 | private final VarSymbol deserParamSym; |
rfield@1587 | 165 | |
jlahoda@2165 | 166 | private final JCClassDecl clazz; |
jlahoda@2165 | 167 | |
jlahoda@2165 | 168 | private KlassInfo(JCClassDecl clazz) { |
jlahoda@2165 | 169 | this.clazz = clazz; |
alundblad@2047 | 170 | appendedMethodList = new ListBuffer<>(); |
rfield@1587 | 171 | deserializeCases = new HashMap<String, ListBuffer<JCStatement>>(); |
rfield@1587 | 172 | MethodType type = new MethodType(List.of(syms.serializedLambdaType), syms.objectType, |
rfield@1587 | 173 | List.<Type>nil(), syms.methodClass); |
jlahoda@2165 | 174 | deserMethodSym = makePrivateSyntheticMethod(STATIC, names.deserializeLambda, type, clazz.sym); |
mcimadamore@1595 | 175 | deserParamSym = new VarSymbol(FINAL, names.fromString("lambda"), |
mcimadamore@1595 | 176 | syms.serializedLambdaType, deserMethodSym); |
rfield@1587 | 177 | } |
rfield@1587 | 178 | |
rfield@1587 | 179 | private void addMethod(JCTree decl) { |
rfield@1587 | 180 | appendedMethodList = appendedMethodList.prepend(decl); |
rfield@1587 | 181 | } |
rfield@1587 | 182 | } |
rfield@1380 | 183 | |
rfield@1380 | 184 | // <editor-fold defaultstate="collapsed" desc="translate methods"> |
rfield@1380 | 185 | @Override |
rfield@1380 | 186 | public <T extends JCTree> T translate(T tree) { |
rfield@1380 | 187 | TranslationContext<?> newContext = contextMap.get(tree); |
rfield@1380 | 188 | return translate(tree, newContext != null ? newContext : context); |
rfield@1380 | 189 | } |
rfield@1380 | 190 | |
rfield@1762 | 191 | <T extends JCTree> T translate(T tree, TranslationContext<?> newContext) { |
rfield@1380 | 192 | TranslationContext<?> prevContext = context; |
rfield@1380 | 193 | try { |
rfield@1380 | 194 | context = newContext; |
rfield@1380 | 195 | return super.translate(tree); |
rfield@1380 | 196 | } |
rfield@1380 | 197 | finally { |
rfield@1380 | 198 | context = prevContext; |
rfield@1380 | 199 | } |
rfield@1380 | 200 | } |
rfield@1380 | 201 | |
rfield@1762 | 202 | <T extends JCTree> List<T> translate(List<T> trees, TranslationContext<?> newContext) { |
alundblad@2047 | 203 | ListBuffer<T> buf = new ListBuffer<>(); |
rfield@1380 | 204 | for (T tree : trees) { |
rfield@1380 | 205 | buf.append(translate(tree, newContext)); |
rfield@1380 | 206 | } |
rfield@1380 | 207 | return buf.toList(); |
rfield@1380 | 208 | } |
rfield@1380 | 209 | |
rfield@1380 | 210 | public JCTree translateTopLevelClass(Env<AttrContext> env, JCTree cdef, TreeMaker make) { |
rfield@1380 | 211 | this.make = make; |
rfield@1380 | 212 | this.attrEnv = env; |
rfield@1380 | 213 | this.context = null; |
rfield@1380 | 214 | this.contextMap = new HashMap<JCTree, TranslationContext<?>>(); |
rfield@1380 | 215 | return translate(cdef); |
rfield@1380 | 216 | } |
rfield@1380 | 217 | // </editor-fold> |
rfield@1380 | 218 | |
rfield@1380 | 219 | // <editor-fold defaultstate="collapsed" desc="visitor methods"> |
rfield@1380 | 220 | /** |
rfield@1380 | 221 | * Visit a class. |
rfield@1380 | 222 | * Maintain the translatedMethodList across nested classes. |
rfield@1380 | 223 | * Append the translatedMethodList to the class after it is translated. |
rfield@1380 | 224 | * @param tree |
rfield@1380 | 225 | */ |
rfield@1380 | 226 | @Override |
rfield@1380 | 227 | public void visitClassDef(JCClassDecl tree) { |
rfield@1380 | 228 | if (tree.sym.owner.kind == PCK) { |
rfield@1380 | 229 | //analyze class |
rfield@1717 | 230 | tree = analyzer.analyzeAndPreprocessClass(tree); |
rfield@1380 | 231 | } |
rfield@1587 | 232 | KlassInfo prevKlassInfo = kInfo; |
rfield@1380 | 233 | try { |
jlahoda@2165 | 234 | kInfo = new KlassInfo(tree); |
rfield@1380 | 235 | super.visitClassDef(tree); |
rfield@1587 | 236 | if (!kInfo.deserializeCases.isEmpty()) { |
jlahoda@2165 | 237 | int prevPos = make.pos; |
jlahoda@2165 | 238 | try { |
jlahoda@2165 | 239 | make.at(tree); |
jlahoda@2165 | 240 | kInfo.addMethod(makeDeserializeMethod(tree.sym)); |
jlahoda@2165 | 241 | } finally { |
jlahoda@2165 | 242 | make.at(prevPos); |
jlahoda@2165 | 243 | } |
rfield@1587 | 244 | } |
rfield@1380 | 245 | //add all translated instance methods here |
rfield@1587 | 246 | List<JCTree> newMethods = kInfo.appendedMethodList.toList(); |
rfield@1587 | 247 | tree.defs = tree.defs.appendList(newMethods); |
rfield@1587 | 248 | for (JCTree lambda : newMethods) { |
rfield@1380 | 249 | tree.sym.members().enter(((JCMethodDecl)lambda).sym); |
rfield@1380 | 250 | } |
rfield@1380 | 251 | result = tree; |
rfield@1380 | 252 | } finally { |
rfield@1587 | 253 | kInfo = prevKlassInfo; |
rfield@1380 | 254 | } |
rfield@1380 | 255 | } |
rfield@1380 | 256 | |
rfield@1380 | 257 | /** |
rfield@1380 | 258 | * Translate a lambda into a method to be inserted into the class. |
rfield@1380 | 259 | * Then replace the lambda site with an invokedynamic call of to lambda |
rfield@1380 | 260 | * meta-factory, which will use the lambda method. |
rfield@1380 | 261 | * @param tree |
rfield@1380 | 262 | */ |
rfield@1380 | 263 | @Override |
rfield@1380 | 264 | public void visitLambda(JCLambda tree) { |
rfield@1380 | 265 | LambdaTranslationContext localContext = (LambdaTranslationContext)context; |
rfield@1380 | 266 | MethodSymbol sym = (MethodSymbol)localContext.translatedSym; |
rfield@1380 | 267 | MethodType lambdaType = (MethodType) sym.type; |
rfield@1380 | 268 | |
jjg@1755 | 269 | { |
jjg@1969 | 270 | Symbol owner = localContext.owner; |
jjg@1755 | 271 | ListBuffer<Attribute.TypeCompound> ownerTypeAnnos = new ListBuffer<Attribute.TypeCompound>(); |
jjg@1755 | 272 | ListBuffer<Attribute.TypeCompound> lambdaTypeAnnos = new ListBuffer<Attribute.TypeCompound>(); |
jjg@1755 | 273 | |
jjg@1755 | 274 | for (Attribute.TypeCompound tc : owner.getRawTypeAttributes()) { |
jjg@1755 | 275 | if (tc.position.onLambda == tree) { |
jjg@1755 | 276 | lambdaTypeAnnos.append(tc); |
jjg@1755 | 277 | } else { |
jjg@1755 | 278 | ownerTypeAnnos.append(tc); |
jjg@1755 | 279 | } |
jjg@1755 | 280 | } |
jjg@1755 | 281 | if (lambdaTypeAnnos.nonEmpty()) { |
jjg@1802 | 282 | owner.setTypeAttributes(ownerTypeAnnos.toList()); |
jjg@1802 | 283 | sym.setTypeAttributes(lambdaTypeAnnos.toList()); |
jjg@1755 | 284 | } |
jjg@1755 | 285 | } |
jjg@1755 | 286 | |
rfield@1380 | 287 | //create the method declaration hoisting the lambda body |
rfield@1380 | 288 | JCMethodDecl lambdaDecl = make.MethodDef(make.Modifiers(sym.flags_field), |
rfield@1380 | 289 | sym.name, |
rfield@1380 | 290 | make.QualIdent(lambdaType.getReturnType().tsym), |
rfield@1380 | 291 | List.<JCTypeParameter>nil(), |
rfield@1380 | 292 | localContext.syntheticParams, |
rfield@1380 | 293 | lambdaType.getThrownTypes() == null ? |
rfield@1380 | 294 | List.<JCExpression>nil() : |
rfield@1380 | 295 | make.Types(lambdaType.getThrownTypes()), |
rfield@1380 | 296 | null, |
rfield@1380 | 297 | null); |
rfield@1380 | 298 | lambdaDecl.sym = sym; |
rfield@1380 | 299 | lambdaDecl.type = lambdaType; |
rfield@1380 | 300 | |
rfield@1380 | 301 | //translate lambda body |
rfield@1380 | 302 | //As the lambda body is translated, all references to lambda locals, |
rfield@1380 | 303 | //captured variables, enclosing members are adjusted accordingly |
rfield@1380 | 304 | //to refer to the static method parameters (rather than i.e. acessing to |
rfield@1380 | 305 | //captured members directly). |
rfield@1380 | 306 | lambdaDecl.body = translate(makeLambdaBody(tree, lambdaDecl)); |
rfield@1380 | 307 | |
rfield@1380 | 308 | //Add the method to the list of methods to be added to this class. |
rfield@1587 | 309 | kInfo.addMethod(lambdaDecl); |
rfield@1380 | 310 | |
rfield@1380 | 311 | //now that we have generated a method for the lambda expression, |
rfield@1380 | 312 | //we can translate the lambda into a method reference pointing to the newly |
rfield@1380 | 313 | //created method. |
rfield@1380 | 314 | // |
rfield@1380 | 315 | //Note that we need to adjust the method handle so that it will match the |
rfield@1380 | 316 | //signature of the SAM descriptor - this means that the method reference |
rfield@1380 | 317 | //should be added the following synthetic arguments: |
rfield@1380 | 318 | // |
rfield@1380 | 319 | // * the "this" argument if it is an instance method |
rfield@1380 | 320 | // * enclosing locals captured by the lambda expression |
rfield@1380 | 321 | |
alundblad@2047 | 322 | ListBuffer<JCExpression> syntheticInits = new ListBuffer<>(); |
rfield@1380 | 323 | |
rfield@1380 | 324 | if (!sym.isStatic()) { |
rfield@1380 | 325 | syntheticInits.append(makeThis( |
rfield@1587 | 326 | sym.owner.enclClass().asType(), |
rfield@1380 | 327 | localContext.owner.enclClass())); |
rfield@1380 | 328 | } |
rfield@1380 | 329 | |
rfield@1380 | 330 | //add captured locals |
rfield@1380 | 331 | for (Symbol fv : localContext.getSymbolMap(CAPTURED_VAR).keySet()) { |
rfield@1380 | 332 | if (fv != localContext.self) { |
rfield@1380 | 333 | JCTree captured_local = make.Ident(fv).setType(fv.type); |
rfield@1380 | 334 | syntheticInits.append((JCExpression) captured_local); |
rfield@1380 | 335 | } |
rfield@1380 | 336 | } |
rfield@1380 | 337 | |
rfield@1380 | 338 | //then, determine the arguments to the indy call |
rfield@1380 | 339 | List<JCExpression> indy_args = translate(syntheticInits.toList(), localContext.prev); |
rfield@1380 | 340 | |
rfield@1380 | 341 | //build a sam instance using an indy call to the meta-factory |
rfield@1380 | 342 | int refKind = referenceKind(sym); |
rfield@1380 | 343 | |
rfield@1380 | 344 | //convert to an invokedynamic call |
mcimadamore@1882 | 345 | result = makeMetafactoryIndyCall(context, refKind, sym, indy_args); |
rfield@1380 | 346 | } |
rfield@1380 | 347 | |
rfield@1380 | 348 | private JCIdent makeThis(Type type, Symbol owner) { |
rfield@1380 | 349 | VarSymbol _this = new VarSymbol(PARAMETER | FINAL | SYNTHETIC, |
rfield@1380 | 350 | names._this, |
rfield@1380 | 351 | type, |
rfield@1380 | 352 | owner); |
rfield@1380 | 353 | return make.Ident(_this); |
rfield@1380 | 354 | } |
rfield@1380 | 355 | |
rfield@1380 | 356 | /** |
rfield@1380 | 357 | * Translate a method reference into an invokedynamic call to the |
rfield@1380 | 358 | * meta-factory. |
rfield@1380 | 359 | * @param tree |
rfield@1380 | 360 | */ |
rfield@1380 | 361 | @Override |
rfield@1380 | 362 | public void visitReference(JCMemberReference tree) { |
rfield@1380 | 363 | ReferenceTranslationContext localContext = (ReferenceTranslationContext)context; |
rfield@1380 | 364 | |
rfield@1380 | 365 | //first determine the method symbol to be used to generate the sam instance |
rfield@1380 | 366 | //this is either the method reference symbol, or the bridged reference symbol |
rfield@2202 | 367 | Symbol refSym = localContext.needsBridge() |
rfield@2202 | 368 | ? localContext.bridgeSym |
rfield@2202 | 369 | : localContext.isSignaturePolymorphic() |
rfield@2202 | 370 | ? localContext.sigPolySym |
rfield@2202 | 371 | : tree.sym; |
rfield@1380 | 372 | |
rfield@1380 | 373 | //build the bridge method, if needed |
rfield@1380 | 374 | if (localContext.needsBridge()) { |
rfield@1380 | 375 | bridgeMemberReference(tree, localContext); |
rfield@1380 | 376 | } |
rfield@1380 | 377 | |
rfield@1380 | 378 | //the qualifying expression is treated as a special captured arg |
rfield@1380 | 379 | JCExpression init; |
rfield@1380 | 380 | switch(tree.kind) { |
rfield@1380 | 381 | |
mcimadamore@1435 | 382 | case IMPLICIT_INNER: /** Inner :: new */ |
mcimadamore@1435 | 383 | case SUPER: /** super :: instMethod */ |
rfield@1380 | 384 | init = makeThis( |
rfield@1587 | 385 | localContext.owner.enclClass().asType(), |
rfield@1587 | 386 | localContext.owner.enclClass()); |
rfield@1380 | 387 | break; |
rfield@1380 | 388 | |
mcimadamore@1435 | 389 | case BOUND: /** Expr :: instMethod */ |
rfield@1380 | 390 | init = tree.getQualifierExpression(); |
vromero@2043 | 391 | init = attr.makeNullCheck(init); |
rfield@1380 | 392 | break; |
rfield@1380 | 393 | |
mcimadamore@1435 | 394 | case UNBOUND: /** Type :: instMethod */ |
mcimadamore@1435 | 395 | case STATIC: /** Type :: staticMethod */ |
mcimadamore@1435 | 396 | case TOPLEVEL: /** Top level :: new */ |
mcimadamore@1496 | 397 | case ARRAY_CTOR: /** ArrayType :: new */ |
rfield@1380 | 398 | init = null; |
rfield@1380 | 399 | break; |
rfield@1380 | 400 | |
rfield@1380 | 401 | default: |
rfield@1380 | 402 | throw new InternalError("Should not have an invalid kind"); |
rfield@1380 | 403 | } |
rfield@1380 | 404 | |
rfield@1380 | 405 | List<JCExpression> indy_args = init==null? List.<JCExpression>nil() : translate(List.of(init), localContext.prev); |
rfield@1380 | 406 | |
rfield@1380 | 407 | |
rfield@1380 | 408 | //build a sam instance using an indy call to the meta-factory |
mcimadamore@1882 | 409 | result = makeMetafactoryIndyCall(localContext, localContext.referenceKind(), refSym, indy_args); |
rfield@1380 | 410 | } |
rfield@1380 | 411 | |
rfield@1380 | 412 | /** |
rfield@1380 | 413 | * Translate identifiers within a lambda to the mapped identifier |
rfield@1380 | 414 | * @param tree |
rfield@1380 | 415 | */ |
rfield@1380 | 416 | @Override |
rfield@1380 | 417 | public void visitIdent(JCIdent tree) { |
rfield@1380 | 418 | if (context == null || !analyzer.lambdaIdentSymbolFilter(tree.sym)) { |
rfield@1380 | 419 | super.visitIdent(tree); |
rfield@1380 | 420 | } else { |
jlahoda@2165 | 421 | int prevPos = make.pos; |
jlahoda@2165 | 422 | try { |
jlahoda@2165 | 423 | make.at(tree); |
jlahoda@2165 | 424 | |
jlahoda@2165 | 425 | LambdaTranslationContext lambdaContext = (LambdaTranslationContext) context; |
jlahoda@2165 | 426 | JCTree ltree = lambdaContext.translate(tree); |
jlahoda@2165 | 427 | if (ltree != null) { |
jlahoda@2165 | 428 | result = ltree; |
jlahoda@2165 | 429 | } else { |
jlahoda@2165 | 430 | //access to untranslated symbols (i.e. compile-time constants, |
jlahoda@2165 | 431 | //members defined inside the lambda body, etc.) ) |
jlahoda@2165 | 432 | super.visitIdent(tree); |
jlahoda@2165 | 433 | } |
jlahoda@2165 | 434 | } finally { |
jlahoda@2165 | 435 | make.at(prevPos); |
rfield@1380 | 436 | } |
rfield@1380 | 437 | } |
rfield@1380 | 438 | } |
rfield@1380 | 439 | |
rfield@1380 | 440 | @Override |
rfield@1380 | 441 | public void visitVarDef(JCVariableDecl tree) { |
rfield@1380 | 442 | LambdaTranslationContext lambdaContext = (LambdaTranslationContext)context; |
rfield@1380 | 443 | if (context != null && lambdaContext.getSymbolMap(LOCAL_VAR).containsKey(tree.sym)) { |
rfield@2380 | 444 | tree.init = translate(tree.init); |
rfield@2380 | 445 | tree.sym = (VarSymbol) lambdaContext.getSymbolMap(LOCAL_VAR).get(tree.sym); |
rfield@2380 | 446 | result = tree; |
rfield@1587 | 447 | } else if (context != null && lambdaContext.getSymbolMap(TYPE_VAR).containsKey(tree.sym)) { |
rfield@1587 | 448 | JCExpression init = translate(tree.init); |
rfield@1587 | 449 | VarSymbol xsym = (VarSymbol)lambdaContext.getSymbolMap(TYPE_VAR).get(tree.sym); |
jlahoda@2165 | 450 | int prevPos = make.pos; |
jlahoda@2165 | 451 | try { |
jlahoda@2165 | 452 | result = make.at(tree).VarDef(xsym, init); |
jlahoda@2165 | 453 | } finally { |
jlahoda@2165 | 454 | make.at(prevPos); |
jlahoda@2165 | 455 | } |
rfield@1587 | 456 | // Replace the entered symbol for this variable |
rfield@1587 | 457 | Scope sc = tree.sym.owner.members(); |
rfield@1587 | 458 | if (sc != null) { |
rfield@1587 | 459 | sc.remove(tree.sym); |
rfield@1587 | 460 | sc.enter(xsym); |
rfield@1587 | 461 | } |
rfield@1380 | 462 | } else { |
rfield@1380 | 463 | super.visitVarDef(tree); |
rfield@1380 | 464 | } |
rfield@1380 | 465 | } |
rfield@1380 | 466 | |
rfield@1380 | 467 | // </editor-fold> |
rfield@1380 | 468 | |
rfield@1380 | 469 | // <editor-fold defaultstate="collapsed" desc="Translation helper methods"> |
rfield@1380 | 470 | |
rfield@1380 | 471 | private JCBlock makeLambdaBody(JCLambda tree, JCMethodDecl lambdaMethodDecl) { |
rfield@1380 | 472 | return tree.getBodyKind() == JCLambda.BodyKind.EXPRESSION ? |
rfield@1380 | 473 | makeLambdaExpressionBody((JCExpression)tree.body, lambdaMethodDecl) : |
rfield@1380 | 474 | makeLambdaStatementBody((JCBlock)tree.body, lambdaMethodDecl, tree.canCompleteNormally); |
rfield@1380 | 475 | } |
rfield@1380 | 476 | |
rfield@1380 | 477 | private JCBlock makeLambdaExpressionBody(JCExpression expr, JCMethodDecl lambdaMethodDecl) { |
rfield@1380 | 478 | Type restype = lambdaMethodDecl.type.getReturnType(); |
rfield@1380 | 479 | boolean isLambda_void = expr.type.hasTag(VOID); |
rfield@1380 | 480 | boolean isTarget_void = restype.hasTag(VOID); |
rfield@1380 | 481 | boolean isTarget_Void = types.isSameType(restype, types.boxedClass(syms.voidType).type); |
jlahoda@2165 | 482 | int prevPos = make.pos; |
jlahoda@2165 | 483 | try { |
jlahoda@2165 | 484 | if (isTarget_void) { |
jlahoda@2165 | 485 | //target is void: |
jlahoda@2165 | 486 | // BODY; |
jlahoda@2165 | 487 | JCStatement stat = make.at(expr).Exec(expr); |
jlahoda@2165 | 488 | return make.Block(0, List.<JCStatement>of(stat)); |
jlahoda@2165 | 489 | } else if (isLambda_void && isTarget_Void) { |
jlahoda@2165 | 490 | //void to Void conversion: |
jlahoda@2165 | 491 | // BODY; return null; |
jlahoda@2165 | 492 | ListBuffer<JCStatement> stats = new ListBuffer<>(); |
jlahoda@2165 | 493 | stats.append(make.at(expr).Exec(expr)); |
jlahoda@2165 | 494 | stats.append(make.Return(make.Literal(BOT, null).setType(syms.botType))); |
jlahoda@2165 | 495 | return make.Block(0, stats.toList()); |
jlahoda@2165 | 496 | } else { |
jlahoda@2165 | 497 | //non-void to non-void conversion: |
jlahoda@2165 | 498 | // return (TYPE)BODY; |
jlahoda@2165 | 499 | JCExpression retExpr = transTypes.coerce(attrEnv, expr, restype); |
jlahoda@2165 | 500 | return make.at(retExpr).Block(0, List.<JCStatement>of(make.Return(retExpr))); |
jlahoda@2165 | 501 | } |
jlahoda@2165 | 502 | } finally { |
jlahoda@2165 | 503 | make.at(prevPos); |
rfield@1380 | 504 | } |
rfield@1380 | 505 | } |
rfield@1380 | 506 | |
rfield@1380 | 507 | private JCBlock makeLambdaStatementBody(JCBlock block, final JCMethodDecl lambdaMethodDecl, boolean completeNormally) { |
rfield@1380 | 508 | final Type restype = lambdaMethodDecl.type.getReturnType(); |
rfield@1380 | 509 | final boolean isTarget_void = restype.hasTag(VOID); |
rfield@1380 | 510 | boolean isTarget_Void = types.isSameType(restype, types.boxedClass(syms.voidType).type); |
rfield@1380 | 511 | |
rfield@1380 | 512 | class LambdaBodyTranslator extends TreeTranslator { |
rfield@1380 | 513 | |
rfield@1380 | 514 | @Override |
rfield@1380 | 515 | public void visitClassDef(JCClassDecl tree) { |
rfield@1380 | 516 | //do NOT recurse on any inner classes |
rfield@1380 | 517 | result = tree; |
rfield@1380 | 518 | } |
rfield@1380 | 519 | |
rfield@1380 | 520 | @Override |
rfield@1380 | 521 | public void visitLambda(JCLambda tree) { |
rfield@1380 | 522 | //do NOT recurse on any nested lambdas |
rfield@1380 | 523 | result = tree; |
rfield@1380 | 524 | } |
rfield@1380 | 525 | |
rfield@1380 | 526 | @Override |
rfield@1380 | 527 | public void visitReturn(JCReturn tree) { |
rfield@1380 | 528 | boolean isLambda_void = tree.expr == null; |
rfield@1380 | 529 | if (isTarget_void && !isLambda_void) { |
rfield@1380 | 530 | //Void to void conversion: |
rfield@1380 | 531 | // { TYPE $loc = RET-EXPR; return; } |
rfield@1380 | 532 | VarSymbol loc = makeSyntheticVar(0, names.fromString("$loc"), tree.expr.type, lambdaMethodDecl.sym); |
rfield@1380 | 533 | JCVariableDecl varDef = make.VarDef(loc, tree.expr); |
rfield@1380 | 534 | result = make.Block(0, List.<JCStatement>of(varDef, make.Return(null))); |
rfield@1380 | 535 | } else if (!isTarget_void || !isLambda_void) { |
rfield@1380 | 536 | //non-void to non-void conversion: |
rfield@1380 | 537 | // return (TYPE)RET-EXPR; |
rfield@1380 | 538 | tree.expr = transTypes.coerce(attrEnv, tree.expr, restype); |
rfield@1380 | 539 | result = tree; |
rfield@1380 | 540 | } else { |
rfield@1380 | 541 | result = tree; |
rfield@1380 | 542 | } |
rfield@1380 | 543 | |
rfield@1380 | 544 | } |
rfield@1380 | 545 | } |
rfield@1380 | 546 | |
rfield@1380 | 547 | JCBlock trans_block = new LambdaBodyTranslator().translate(block); |
rfield@1380 | 548 | if (completeNormally && isTarget_Void) { |
rfield@1380 | 549 | //there's no return statement and the lambda (possibly inferred) |
rfield@1380 | 550 | //return type is java.lang.Void; emit a synthetic return statement |
rfield@1380 | 551 | trans_block.stats = trans_block.stats.append(make.Return(make.Literal(BOT, null).setType(syms.botType))); |
rfield@1380 | 552 | } |
rfield@1380 | 553 | return trans_block; |
rfield@1380 | 554 | } |
rfield@1380 | 555 | |
rfield@1587 | 556 | private JCMethodDecl makeDeserializeMethod(Symbol kSym) { |
alundblad@2047 | 557 | ListBuffer<JCCase> cases = new ListBuffer<>(); |
alundblad@2047 | 558 | ListBuffer<JCBreak> breaks = new ListBuffer<>(); |
rfield@1587 | 559 | for (Map.Entry<String, ListBuffer<JCStatement>> entry : kInfo.deserializeCases.entrySet()) { |
rfield@1587 | 560 | JCBreak br = make.Break(null); |
rfield@1587 | 561 | breaks.add(br); |
rfield@1587 | 562 | List<JCStatement> stmts = entry.getValue().append(br).toList(); |
rfield@1587 | 563 | cases.add(make.Case(make.Literal(entry.getKey()), stmts)); |
rfield@1587 | 564 | } |
rfield@1587 | 565 | JCSwitch sw = make.Switch(deserGetter("getImplMethodName", syms.stringType), cases.toList()); |
rfield@1587 | 566 | for (JCBreak br : breaks) { |
rfield@1587 | 567 | br.target = sw; |
rfield@1587 | 568 | } |
rfield@1587 | 569 | JCBlock body = make.Block(0L, List.<JCStatement>of( |
rfield@1587 | 570 | sw, |
rfield@1587 | 571 | make.Throw(makeNewClass( |
rfield@1587 | 572 | syms.illegalArgumentExceptionType, |
rfield@1587 | 573 | List.<JCExpression>of(make.Literal("Invalid lambda deserialization")))))); |
rfield@1587 | 574 | JCMethodDecl deser = make.MethodDef(make.Modifiers(kInfo.deserMethodSym.flags()), |
rfield@1587 | 575 | names.deserializeLambda, |
rfield@1587 | 576 | make.QualIdent(kInfo.deserMethodSym.getReturnType().tsym), |
rfield@1587 | 577 | List.<JCTypeParameter>nil(), |
rfield@1587 | 578 | List.of(make.VarDef(kInfo.deserParamSym, null)), |
rfield@1587 | 579 | List.<JCExpression>nil(), |
rfield@1587 | 580 | body, |
rfield@1587 | 581 | null); |
rfield@1587 | 582 | deser.sym = kInfo.deserMethodSym; |
rfield@1587 | 583 | deser.type = kInfo.deserMethodSym.type; |
rfield@1587 | 584 | //System.err.printf("DESER: '%s'\n", deser); |
rfield@1587 | 585 | return deser; |
rfield@1587 | 586 | } |
rfield@1587 | 587 | |
rfield@1587 | 588 | /** Make an attributed class instance creation expression. |
rfield@1587 | 589 | * @param ctype The class type. |
rfield@1587 | 590 | * @param args The constructor arguments. |
rfield@1717 | 591 | * @param cons The constructor symbol |
rfield@1587 | 592 | */ |
rfield@1717 | 593 | JCNewClass makeNewClass(Type ctype, List<JCExpression> args, Symbol cons) { |
rfield@1587 | 594 | JCNewClass tree = make.NewClass(null, |
rfield@1587 | 595 | null, make.QualIdent(ctype.tsym), args, null); |
rfield@1717 | 596 | tree.constructor = cons; |
rfield@1587 | 597 | tree.type = ctype; |
rfield@1587 | 598 | return tree; |
rfield@1587 | 599 | } |
rfield@1587 | 600 | |
rfield@1717 | 601 | /** Make an attributed class instance creation expression. |
rfield@1717 | 602 | * @param ctype The class type. |
rfield@1717 | 603 | * @param args The constructor arguments. |
rfield@1717 | 604 | */ |
rfield@1717 | 605 | JCNewClass makeNewClass(Type ctype, List<JCExpression> args) { |
rfield@1717 | 606 | return makeNewClass(ctype, args, |
rfield@1717 | 607 | rs.resolveConstructor(null, attrEnv, ctype, TreeInfo.types(args), List.<Type>nil())); |
rfield@1717 | 608 | } |
rfield@1717 | 609 | |
rfield@1587 | 610 | private void addDeserializationCase(int implMethodKind, Symbol refSym, Type targetType, MethodSymbol samSym, |
rfield@1587 | 611 | DiagnosticPosition pos, List<Object> staticArgs, MethodType indyType) { |
rfield@1587 | 612 | String functionalInterfaceClass = classSig(targetType); |
rfield@1587 | 613 | String functionalInterfaceMethodName = samSym.getSimpleName().toString(); |
rfield@2158 | 614 | String functionalInterfaceMethodSignature = typeSig(types.erasure(samSym.type)); |
rfield@1622 | 615 | String implClass = classSig(types.erasure(refSym.owner.type)); |
rfield@1587 | 616 | String implMethodName = refSym.getQualifiedName().toString(); |
rfield@2158 | 617 | String implMethodSignature = typeSig(types.erasure(refSym.type)); |
rfield@1587 | 618 | |
rfield@1587 | 619 | JCExpression kindTest = eqTest(syms.intType, deserGetter("getImplMethodKind", syms.intType), make.Literal(implMethodKind)); |
alundblad@2047 | 620 | ListBuffer<JCExpression> serArgs = new ListBuffer<>(); |
rfield@1587 | 621 | int i = 0; |
rfield@1587 | 622 | for (Type t : indyType.getParameterTypes()) { |
alundblad@2047 | 623 | List<JCExpression> indexAsArg = new ListBuffer<JCExpression>().append(make.Literal(i)).toList(); |
alundblad@2047 | 624 | List<Type> argTypes = new ListBuffer<Type>().append(syms.intType).toList(); |
rfield@1587 | 625 | serArgs.add(make.TypeCast(types.erasure(t), deserGetter("getCapturedArg", syms.objectType, argTypes, indexAsArg))); |
rfield@1587 | 626 | ++i; |
rfield@1587 | 627 | } |
rfield@1587 | 628 | JCStatement stmt = make.If( |
rfield@1587 | 629 | deserTest(deserTest(deserTest(deserTest(deserTest( |
rfield@1587 | 630 | kindTest, |
rfield@1587 | 631 | "getFunctionalInterfaceClass", functionalInterfaceClass), |
rfield@1587 | 632 | "getFunctionalInterfaceMethodName", functionalInterfaceMethodName), |
rfield@1587 | 633 | "getFunctionalInterfaceMethodSignature", functionalInterfaceMethodSignature), |
rfield@1587 | 634 | "getImplClass", implClass), |
rfield@1587 | 635 | "getImplMethodSignature", implMethodSignature), |
rfield@1587 | 636 | make.Return(makeIndyCall( |
rfield@1587 | 637 | pos, |
rfield@1587 | 638 | syms.lambdaMetafactory, |
mcimadamore@1882 | 639 | names.altMetafactory, |
mcimadamore@1882 | 640 | staticArgs, indyType, serArgs.toList(), samSym.name)), |
rfield@1587 | 641 | null); |
rfield@1587 | 642 | ListBuffer<JCStatement> stmts = kInfo.deserializeCases.get(implMethodName); |
rfield@1587 | 643 | if (stmts == null) { |
alundblad@2047 | 644 | stmts = new ListBuffer<>(); |
rfield@1587 | 645 | kInfo.deserializeCases.put(implMethodName, stmts); |
rfield@1587 | 646 | } |
rfield@1587 | 647 | /**** |
rfield@1587 | 648 | System.err.printf("+++++++++++++++++\n"); |
rfield@1587 | 649 | System.err.printf("*functionalInterfaceClass: '%s'\n", functionalInterfaceClass); |
rfield@1587 | 650 | System.err.printf("*functionalInterfaceMethodName: '%s'\n", functionalInterfaceMethodName); |
rfield@1587 | 651 | System.err.printf("*functionalInterfaceMethodSignature: '%s'\n", functionalInterfaceMethodSignature); |
rfield@1587 | 652 | System.err.printf("*implMethodKind: %d\n", implMethodKind); |
rfield@1587 | 653 | System.err.printf("*implClass: '%s'\n", implClass); |
rfield@1587 | 654 | System.err.printf("*implMethodName: '%s'\n", implMethodName); |
rfield@1587 | 655 | System.err.printf("*implMethodSignature: '%s'\n", implMethodSignature); |
rfield@1587 | 656 | ****/ |
rfield@1587 | 657 | stmts.append(stmt); |
rfield@1587 | 658 | } |
rfield@1587 | 659 | |
rfield@1587 | 660 | private JCExpression eqTest(Type argType, JCExpression arg1, JCExpression arg2) { |
rfield@1587 | 661 | JCBinary testExpr = make.Binary(JCTree.Tag.EQ, arg1, arg2); |
rfield@1587 | 662 | testExpr.operator = rs.resolveBinaryOperator(null, JCTree.Tag.EQ, attrEnv, argType, argType); |
rfield@1587 | 663 | testExpr.setType(syms.booleanType); |
rfield@1587 | 664 | return testExpr; |
rfield@1587 | 665 | } |
rfield@1587 | 666 | |
rfield@1587 | 667 | private JCExpression deserTest(JCExpression prev, String func, String lit) { |
rfield@1587 | 668 | MethodType eqmt = new MethodType(List.of(syms.objectType), syms.booleanType, List.<Type>nil(), syms.methodClass); |
rfield@1587 | 669 | Symbol eqsym = rs.resolveQualifiedMethod(null, attrEnv, syms.objectType, names.equals, List.of(syms.objectType), List.<Type>nil()); |
rfield@1587 | 670 | JCMethodInvocation eqtest = make.Apply( |
rfield@1587 | 671 | List.<JCExpression>nil(), |
rfield@1587 | 672 | make.Select(deserGetter(func, syms.stringType), eqsym).setType(eqmt), |
rfield@1587 | 673 | List.<JCExpression>of(make.Literal(lit))); |
rfield@1587 | 674 | eqtest.setType(syms.booleanType); |
rfield@1587 | 675 | JCBinary compound = make.Binary(JCTree.Tag.AND, prev, eqtest); |
rfield@1587 | 676 | compound.operator = rs.resolveBinaryOperator(null, JCTree.Tag.AND, attrEnv, syms.booleanType, syms.booleanType); |
rfield@1587 | 677 | compound.setType(syms.booleanType); |
rfield@1587 | 678 | return compound; |
rfield@1587 | 679 | } |
rfield@1587 | 680 | |
rfield@1587 | 681 | private JCExpression deserGetter(String func, Type type) { |
rfield@1587 | 682 | return deserGetter(func, type, List.<Type>nil(), List.<JCExpression>nil()); |
rfield@1587 | 683 | } |
rfield@1587 | 684 | |
rfield@1587 | 685 | private JCExpression deserGetter(String func, Type type, List<Type> argTypes, List<JCExpression> args) { |
rfield@1587 | 686 | MethodType getmt = new MethodType(argTypes, type, List.<Type>nil(), syms.methodClass); |
rfield@1587 | 687 | Symbol getsym = rs.resolveQualifiedMethod(null, attrEnv, syms.serializedLambdaType, names.fromString(func), argTypes, List.<Type>nil()); |
rfield@1587 | 688 | return make.Apply( |
rfield@1587 | 689 | List.<JCExpression>nil(), |
rfield@1587 | 690 | make.Select(make.Ident(kInfo.deserParamSym).setType(syms.serializedLambdaType), getsym).setType(getmt), |
rfield@1587 | 691 | args).setType(type); |
rfield@1587 | 692 | } |
rfield@1587 | 693 | |
rfield@1380 | 694 | /** |
rfield@1380 | 695 | * Create new synthetic method with given flags, name, type, owner |
rfield@1380 | 696 | */ |
rfield@2107 | 697 | private MethodSymbol makePrivateSyntheticMethod(long flags, Name name, Type type, Symbol owner) { |
rfield@2107 | 698 | return new MethodSymbol(flags | SYNTHETIC | PRIVATE, name, type, owner); |
rfield@1380 | 699 | } |
rfield@1380 | 700 | |
rfield@1380 | 701 | /** |
rfield@1380 | 702 | * Create new synthetic variable with given flags, name, type, owner |
rfield@1380 | 703 | */ |
rfield@1380 | 704 | private VarSymbol makeSyntheticVar(long flags, String name, Type type, Symbol owner) { |
rfield@1380 | 705 | return makeSyntheticVar(flags, names.fromString(name), type, owner); |
rfield@1380 | 706 | } |
rfield@1380 | 707 | |
rfield@1380 | 708 | /** |
rfield@1380 | 709 | * Create new synthetic variable with given flags, name, type, owner |
rfield@1380 | 710 | */ |
rfield@1380 | 711 | private VarSymbol makeSyntheticVar(long flags, Name name, Type type, Symbol owner) { |
rfield@1380 | 712 | return new VarSymbol(flags | SYNTHETIC, name, type, owner); |
rfield@1380 | 713 | } |
rfield@1380 | 714 | |
rfield@1380 | 715 | /** |
rfield@1380 | 716 | * Set varargsElement field on a given tree (must be either a new class tree |
rfield@1380 | 717 | * or a method call tree) |
rfield@1380 | 718 | */ |
rfield@1380 | 719 | private void setVarargsIfNeeded(JCTree tree, Type varargsElement) { |
rfield@1380 | 720 | if (varargsElement != null) { |
rfield@1380 | 721 | switch (tree.getTag()) { |
rfield@1380 | 722 | case APPLY: ((JCMethodInvocation)tree).varargsElement = varargsElement; break; |
rfield@1380 | 723 | case NEWCLASS: ((JCNewClass)tree).varargsElement = varargsElement; break; |
rfield@1380 | 724 | default: throw new AssertionError(); |
rfield@1380 | 725 | } |
rfield@1380 | 726 | } |
rfield@1380 | 727 | } |
rfield@1380 | 728 | |
rfield@1380 | 729 | /** |
rfield@1380 | 730 | * Convert method/constructor arguments by inserting appropriate cast |
rfield@1380 | 731 | * as required by type-erasure - this is needed when bridging a lambda/method |
rfield@1380 | 732 | * reference, as the bridged signature might require downcast to be compatible |
rfield@1380 | 733 | * with the generated signature. |
rfield@1380 | 734 | */ |
rfield@1380 | 735 | private List<JCExpression> convertArgs(Symbol meth, List<JCExpression> args, Type varargsElement) { |
rfield@1380 | 736 | Assert.check(meth.kind == Kinds.MTH); |
rfield@1380 | 737 | List<Type> formals = types.erasure(meth.type).getParameterTypes(); |
rfield@1380 | 738 | if (varargsElement != null) { |
rfield@1380 | 739 | Assert.check((meth.flags() & VARARGS) != 0); |
rfield@1380 | 740 | } |
rfield@1380 | 741 | return transTypes.translateArgs(args, formals, varargsElement, attrEnv); |
rfield@1380 | 742 | } |
rfield@1380 | 743 | |
rfield@1380 | 744 | // </editor-fold> |
rfield@1380 | 745 | |
rfield@1380 | 746 | /** |
rfield@1380 | 747 | * Generate an adapter method "bridge" for a method reference which cannot |
rfield@1380 | 748 | * be used directly. |
rfield@1380 | 749 | */ |
rfield@1380 | 750 | private class MemberReferenceBridger { |
rfield@1380 | 751 | |
rfield@1380 | 752 | private final JCMemberReference tree; |
rfield@1380 | 753 | private final ReferenceTranslationContext localContext; |
alundblad@2047 | 754 | private final ListBuffer<JCExpression> args = new ListBuffer<>(); |
alundblad@2047 | 755 | private final ListBuffer<JCVariableDecl> params = new ListBuffer<>(); |
rfield@1380 | 756 | |
rfield@1380 | 757 | MemberReferenceBridger(JCMemberReference tree, ReferenceTranslationContext localContext) { |
rfield@1380 | 758 | this.tree = tree; |
rfield@1380 | 759 | this.localContext = localContext; |
rfield@1380 | 760 | } |
rfield@1380 | 761 | |
rfield@1380 | 762 | /** |
rfield@1380 | 763 | * Generate the bridge |
rfield@1380 | 764 | */ |
rfield@1380 | 765 | JCMethodDecl bridge() { |
rfield@1380 | 766 | int prevPos = make.pos; |
rfield@1380 | 767 | try { |
rfield@1380 | 768 | make.at(tree); |
rfield@1380 | 769 | Type samDesc = localContext.bridgedRefSig(); |
rfield@1380 | 770 | List<Type> samPTypes = samDesc.getParameterTypes(); |
rfield@1380 | 771 | |
rfield@1380 | 772 | //an extra argument is prepended to the signature of the bridge in case |
rfield@1380 | 773 | //the member reference is an instance method reference (in which case |
rfield@1380 | 774 | //the receiver expression is passed to the bridge itself). |
rfield@1380 | 775 | Type recType = null; |
rfield@1380 | 776 | switch (tree.kind) { |
rfield@1380 | 777 | case IMPLICIT_INNER: |
rfield@1380 | 778 | recType = tree.sym.owner.type.getEnclosingType(); |
rfield@1380 | 779 | break; |
rfield@1380 | 780 | case BOUND: |
rfield@1380 | 781 | recType = tree.getQualifierExpression().type; |
rfield@1380 | 782 | break; |
rfield@1380 | 783 | case UNBOUND: |
rfield@1380 | 784 | recType = samPTypes.head; |
rfield@1380 | 785 | samPTypes = samPTypes.tail; |
rfield@1380 | 786 | break; |
rfield@1380 | 787 | } |
rfield@1380 | 788 | |
rfield@1380 | 789 | //generate the parameter list for the bridged member reference - the |
rfield@1380 | 790 | //bridge signature will match the signature of the target sam descriptor |
rfield@1380 | 791 | |
rfield@1380 | 792 | VarSymbol rcvr = (recType == null) |
rfield@1380 | 793 | ? null |
rfield@1380 | 794 | : addParameter("rec$", recType, false); |
rfield@1380 | 795 | |
rfield@1380 | 796 | List<Type> refPTypes = tree.sym.type.getParameterTypes(); |
rfield@1380 | 797 | int refSize = refPTypes.size(); |
rfield@1380 | 798 | int samSize = samPTypes.size(); |
mcimadamore@1595 | 799 | // Last parameter to copy from referenced method |
mcimadamore@1595 | 800 | int last = localContext.needsVarArgsConversion() ? refSize - 1 : refSize; |
rfield@1380 | 801 | |
rfield@1380 | 802 | List<Type> l = refPTypes; |
rfield@1380 | 803 | // Use parameter types of the referenced method, excluding final var args |
rfield@1380 | 804 | for (int i = 0; l.nonEmpty() && i < last; ++i) { |
rfield@1380 | 805 | addParameter("x$" + i, l.head, true); |
rfield@1380 | 806 | l = l.tail; |
rfield@1380 | 807 | } |
rfield@1380 | 808 | // Flatten out the var args |
rfield@1380 | 809 | for (int i = last; i < samSize; ++i) { |
rfield@1380 | 810 | addParameter("xva$" + i, tree.varargsElement, true); |
rfield@1380 | 811 | } |
rfield@1380 | 812 | |
rfield@1380 | 813 | //generate the bridge method declaration |
rfield@1380 | 814 | JCMethodDecl bridgeDecl = make.MethodDef(make.Modifiers(localContext.bridgeSym.flags()), |
rfield@1380 | 815 | localContext.bridgeSym.name, |
rfield@1380 | 816 | make.QualIdent(samDesc.getReturnType().tsym), |
rfield@1380 | 817 | List.<JCTypeParameter>nil(), |
rfield@1380 | 818 | params.toList(), |
rfield@1380 | 819 | tree.sym.type.getThrownTypes() == null |
rfield@1380 | 820 | ? List.<JCExpression>nil() |
rfield@1380 | 821 | : make.Types(tree.sym.type.getThrownTypes()), |
rfield@1380 | 822 | null, |
rfield@1380 | 823 | null); |
rfield@1380 | 824 | bridgeDecl.sym = (MethodSymbol) localContext.bridgeSym; |
mcimadamore@1595 | 825 | bridgeDecl.type = localContext.bridgeSym.type = |
mcimadamore@1595 | 826 | types.createMethodTypeWithParameters(samDesc, TreeInfo.types(params.toList())); |
rfield@1380 | 827 | |
rfield@1380 | 828 | //bridge method body generation - this can be either a method call or a |
rfield@1380 | 829 | //new instance creation expression, depending on the member reference kind |
rfield@1380 | 830 | JCExpression bridgeExpr = (tree.getMode() == ReferenceMode.INVOKE) |
mcimadamore@1614 | 831 | ? bridgeExpressionInvoke(makeReceiver(rcvr)) |
rfield@1380 | 832 | : bridgeExpressionNew(); |
rfield@1380 | 833 | |
rfield@1380 | 834 | //the body is either a return expression containing a method call, |
rfield@1380 | 835 | //or the method call itself, depending on whether the return type of |
rfield@1380 | 836 | //the bridge is non-void/void. |
rfield@1380 | 837 | bridgeDecl.body = makeLambdaExpressionBody(bridgeExpr, bridgeDecl); |
rfield@1380 | 838 | |
rfield@1380 | 839 | return bridgeDecl; |
rfield@1380 | 840 | } finally { |
rfield@1380 | 841 | make.at(prevPos); |
rfield@1380 | 842 | } |
rfield@1380 | 843 | } |
mcimadamore@1614 | 844 | //where |
mcimadamore@1614 | 845 | private JCExpression makeReceiver(VarSymbol rcvr) { |
mcimadamore@1614 | 846 | if (rcvr == null) return null; |
mcimadamore@1614 | 847 | JCExpression rcvrExpr = make.Ident(rcvr); |
mcimadamore@1614 | 848 | Type rcvrType = tree.sym.enclClass().type; |
mcimadamore@1614 | 849 | if (!rcvr.type.tsym.isSubClass(rcvrType.tsym, types)) { |
mcimadamore@1614 | 850 | rcvrExpr = make.TypeCast(make.Type(rcvrType), rcvrExpr).setType(rcvrType); |
mcimadamore@1614 | 851 | } |
mcimadamore@1614 | 852 | return rcvrExpr; |
mcimadamore@1614 | 853 | } |
rfield@1380 | 854 | |
rfield@1380 | 855 | /** |
rfield@1380 | 856 | * determine the receiver of the bridged method call - the receiver can |
rfield@1380 | 857 | * be either the synthetic receiver parameter or a type qualifier; the |
rfield@1380 | 858 | * original qualifier expression is never used here, as it might refer |
rfield@1380 | 859 | * to symbols not available in the static context of the bridge |
rfield@1380 | 860 | */ |
mcimadamore@1614 | 861 | private JCExpression bridgeExpressionInvoke(JCExpression rcvr) { |
rfield@1380 | 862 | JCExpression qualifier = |
rfield@1380 | 863 | tree.sym.isStatic() ? |
rfield@1380 | 864 | make.Type(tree.sym.owner.type) : |
rfield@1380 | 865 | (rcvr != null) ? |
mcimadamore@1614 | 866 | rcvr : |
rfield@1380 | 867 | tree.getQualifierExpression(); |
rfield@1380 | 868 | |
rfield@1380 | 869 | //create the qualifier expression |
rfield@1380 | 870 | JCFieldAccess select = make.Select(qualifier, tree.sym.name); |
rfield@1380 | 871 | select.sym = tree.sym; |
rfield@1380 | 872 | select.type = tree.sym.erasure(types); |
rfield@1380 | 873 | |
rfield@1380 | 874 | //create the method call expression |
rfield@1380 | 875 | JCExpression apply = make.Apply(List.<JCExpression>nil(), select, |
mcimadamore@1595 | 876 | convertArgs(tree.sym, args.toList(), tree.varargsElement)). |
mcimadamore@1595 | 877 | setType(tree.sym.erasure(types).getReturnType()); |
rfield@1380 | 878 | |
rfield@1380 | 879 | apply = transTypes.coerce(apply, localContext.generatedRefSig().getReturnType()); |
rfield@1380 | 880 | setVarargsIfNeeded(apply, tree.varargsElement); |
rfield@1380 | 881 | return apply; |
rfield@1380 | 882 | } |
rfield@1380 | 883 | |
rfield@1380 | 884 | /** |
rfield@1380 | 885 | * the enclosing expression is either 'null' (no enclosing type) or set |
rfield@1380 | 886 | * to the first bridge synthetic parameter |
rfield@1380 | 887 | */ |
rfield@1380 | 888 | private JCExpression bridgeExpressionNew() { |
mcimadamore@1496 | 889 | if (tree.kind == ReferenceKind.ARRAY_CTOR) { |
mcimadamore@1496 | 890 | //create the array creation expression |
mcimadamore@1595 | 891 | JCNewArray newArr = make.NewArray( |
mcimadamore@1595 | 892 | make.Type(types.elemtype(tree.getQualifierExpression().type)), |
mcimadamore@1496 | 893 | List.of(make.Ident(params.first())), |
mcimadamore@1496 | 894 | null); |
mcimadamore@1496 | 895 | newArr.type = tree.getQualifierExpression().type; |
mcimadamore@1496 | 896 | return newArr; |
mcimadamore@1496 | 897 | } else { |
mcimadamore@1496 | 898 | JCExpression encl = null; |
mcimadamore@1496 | 899 | switch (tree.kind) { |
mcimadamore@1496 | 900 | case UNBOUND: |
mcimadamore@1496 | 901 | case IMPLICIT_INNER: |
mcimadamore@1496 | 902 | encl = make.Ident(params.first()); |
mcimadamore@1496 | 903 | } |
mcimadamore@1496 | 904 | |
mcimadamore@1496 | 905 | //create the instance creation expression |
mcimadamore@1496 | 906 | JCNewClass newClass = make.NewClass(encl, |
mcimadamore@1496 | 907 | List.<JCExpression>nil(), |
mcimadamore@1496 | 908 | make.Type(tree.getQualifierExpression().type), |
mcimadamore@1496 | 909 | convertArgs(tree.sym, args.toList(), tree.varargsElement), |
mcimadamore@1496 | 910 | null); |
mcimadamore@1496 | 911 | newClass.constructor = tree.sym; |
mcimadamore@1496 | 912 | newClass.constructorType = tree.sym.erasure(types); |
mcimadamore@1496 | 913 | newClass.type = tree.getQualifierExpression().type; |
mcimadamore@1496 | 914 | setVarargsIfNeeded(newClass, tree.varargsElement); |
mcimadamore@1496 | 915 | return newClass; |
rfield@1380 | 916 | } |
rfield@1380 | 917 | } |
rfield@1380 | 918 | |
rfield@1380 | 919 | private VarSymbol addParameter(String name, Type p, boolean genArg) { |
rfield@1380 | 920 | VarSymbol vsym = new VarSymbol(0, names.fromString(name), p, localContext.bridgeSym); |
rfield@1380 | 921 | params.append(make.VarDef(vsym, null)); |
rfield@1380 | 922 | if (genArg) { |
rfield@1380 | 923 | args.append(make.Ident(vsym)); |
rfield@1380 | 924 | } |
rfield@1380 | 925 | return vsym; |
rfield@1380 | 926 | } |
rfield@1380 | 927 | } |
rfield@1380 | 928 | |
rfield@1380 | 929 | /** |
rfield@1380 | 930 | * Bridges a member reference - this is needed when: |
rfield@1380 | 931 | * * Var args in the referenced method need to be flattened away |
rfield@1380 | 932 | * * super is used |
rfield@1380 | 933 | */ |
rfield@1380 | 934 | private void bridgeMemberReference(JCMemberReference tree, ReferenceTranslationContext localContext) { |
rfield@1587 | 935 | kInfo.addMethod(new MemberReferenceBridger(tree, localContext).bridge()); |
rfield@1380 | 936 | } |
rfield@1380 | 937 | |
mcimadamore@1882 | 938 | private MethodType typeToMethodType(Type mt) { |
mcimadamore@1882 | 939 | Type type = types.erasure(mt); |
mcimadamore@1882 | 940 | return new MethodType(type.getParameterTypes(), |
mcimadamore@1882 | 941 | type.getReturnType(), |
mcimadamore@1882 | 942 | type.getThrownTypes(), |
mcimadamore@1882 | 943 | syms.methodClass); |
mcimadamore@1882 | 944 | } |
mcimadamore@1882 | 945 | |
rfield@1380 | 946 | /** |
rfield@1380 | 947 | * Generate an indy method call to the meta factory |
rfield@1380 | 948 | */ |
mcimadamore@1882 | 949 | private JCExpression makeMetafactoryIndyCall(TranslationContext<?> context, |
mcimadamore@1882 | 950 | int refKind, Symbol refSym, List<JCExpression> indy_args) { |
mcimadamore@1882 | 951 | JCFunctionalExpression tree = context.tree; |
rfield@1380 | 952 | //determine the static bsm args |
mcimadamore@1510 | 953 | MethodSymbol samSym = (MethodSymbol) types.findDescriptorSymbol(tree.type.tsym); |
rfield@1380 | 954 | List<Object> staticArgs = List.<Object>of( |
mcimadamore@1882 | 955 | typeToMethodType(samSym.type), |
vromero@1452 | 956 | new Pool.MethodHandle(refKind, refSym, types), |
mcimadamore@1882 | 957 | typeToMethodType(tree.getDescriptorType(types))); |
rfield@1380 | 958 | |
rfield@1380 | 959 | //computed indy arg types |
alundblad@2047 | 960 | ListBuffer<Type> indy_args_types = new ListBuffer<>(); |
rfield@1380 | 961 | for (JCExpression arg : indy_args) { |
rfield@1380 | 962 | indy_args_types.append(arg.type); |
rfield@1380 | 963 | } |
rfield@1380 | 964 | |
rfield@1380 | 965 | //finally, compute the type of the indy call |
rfield@1380 | 966 | MethodType indyType = new MethodType(indy_args_types.toList(), |
rfield@1380 | 967 | tree.type, |
rfield@1380 | 968 | List.<Type>nil(), |
rfield@1380 | 969 | syms.methodClass); |
rfield@1380 | 970 | |
mcimadamore@1882 | 971 | Name metafactoryName = context.needsAltMetafactory() ? |
mcimadamore@1882 | 972 | names.altMetafactory : names.metafactory; |
rfield@1587 | 973 | |
mcimadamore@1882 | 974 | if (context.needsAltMetafactory()) { |
alundblad@2047 | 975 | ListBuffer<Object> markers = new ListBuffer<>(); |
mcimadamore@1882 | 976 | for (Type t : tree.targets.tail) { |
mcimadamore@1882 | 977 | if (t.tsym != syms.serializableType.tsym) { |
mcimadamore@1882 | 978 | markers.append(t.tsym); |
rfield@1587 | 979 | } |
rfield@1587 | 980 | } |
mcimadamore@1882 | 981 | int flags = context.isSerializable() ? FLAG_SERIALIZABLE : 0; |
rfield@1587 | 982 | boolean hasMarkers = markers.nonEmpty(); |
mcimadamore@1882 | 983 | boolean hasBridges = context.bridges.nonEmpty(); |
mcimadamore@1882 | 984 | if (hasMarkers) { |
mcimadamore@1882 | 985 | flags |= FLAG_MARKERS; |
mcimadamore@1882 | 986 | } |
mcimadamore@1882 | 987 | if (hasBridges) { |
mcimadamore@1882 | 988 | flags |= FLAG_BRIDGES; |
mcimadamore@1882 | 989 | } |
rfield@1587 | 990 | staticArgs = staticArgs.append(flags); |
rfield@1587 | 991 | if (hasMarkers) { |
rfield@1587 | 992 | staticArgs = staticArgs.append(markers.length()); |
rfield@1587 | 993 | staticArgs = staticArgs.appendList(markers.toList()); |
rfield@1587 | 994 | } |
mcimadamore@1882 | 995 | if (hasBridges) { |
mcimadamore@1882 | 996 | staticArgs = staticArgs.append(context.bridges.length() - 1); |
mcimadamore@1882 | 997 | for (Symbol s : context.bridges) { |
mcimadamore@1882 | 998 | Type s_erasure = s.erasure(types); |
mcimadamore@1882 | 999 | if (!types.isSameType(s_erasure, samSym.erasure(types))) { |
mcimadamore@1882 | 1000 | staticArgs = staticArgs.append(s.erasure(types)); |
mcimadamore@1882 | 1001 | } |
mcimadamore@1882 | 1002 | } |
mcimadamore@1882 | 1003 | } |
mcimadamore@1882 | 1004 | if (context.isSerializable()) { |
jlahoda@2165 | 1005 | int prevPos = make.pos; |
jlahoda@2165 | 1006 | try { |
jlahoda@2165 | 1007 | make.at(kInfo.clazz); |
jlahoda@2165 | 1008 | addDeserializationCase(refKind, refSym, tree.type, samSym, |
jlahoda@2165 | 1009 | tree, staticArgs, indyType); |
jlahoda@2165 | 1010 | } finally { |
jlahoda@2165 | 1011 | make.at(prevPos); |
jlahoda@2165 | 1012 | } |
rfield@1587 | 1013 | } |
rfield@1587 | 1014 | } |
rfield@1587 | 1015 | |
mcimadamore@1882 | 1016 | return makeIndyCall(tree, syms.lambdaMetafactory, metafactoryName, staticArgs, indyType, indy_args, samSym.name); |
rfield@1380 | 1017 | } |
rfield@1380 | 1018 | |
rfield@1380 | 1019 | /** |
rfield@1380 | 1020 | * Generate an indy method call with given name, type and static bootstrap |
rfield@1380 | 1021 | * arguments types |
rfield@1380 | 1022 | */ |
mcimadamore@1595 | 1023 | private JCExpression makeIndyCall(DiagnosticPosition pos, Type site, Name bsmName, |
mcimadamore@1882 | 1024 | List<Object> staticArgs, MethodType indyType, List<JCExpression> indyArgs, |
mcimadamore@1882 | 1025 | Name methName) { |
rfield@1380 | 1026 | int prevPos = make.pos; |
rfield@1380 | 1027 | try { |
rfield@1380 | 1028 | make.at(pos); |
rfield@1380 | 1029 | List<Type> bsm_staticArgs = List.of(syms.methodHandleLookupType, |
rfield@1380 | 1030 | syms.stringType, |
rfield@1380 | 1031 | syms.methodTypeType).appendList(bsmStaticArgToTypes(staticArgs)); |
rfield@1380 | 1032 | |
rfield@1380 | 1033 | Symbol bsm = rs.resolveInternalMethod(pos, attrEnv, site, |
rfield@1380 | 1034 | bsmName, bsm_staticArgs, List.<Type>nil()); |
rfield@1380 | 1035 | |
rfield@1380 | 1036 | DynamicMethodSymbol dynSym = |
mcimadamore@1882 | 1037 | new DynamicMethodSymbol(methName, |
rfield@1380 | 1038 | syms.noSymbol, |
mcimadamore@1595 | 1039 | bsm.isStatic() ? |
mcimadamore@1595 | 1040 | ClassFile.REF_invokeStatic : |
mcimadamore@1595 | 1041 | ClassFile.REF_invokeVirtual, |
rfield@1380 | 1042 | (MethodSymbol)bsm, |
rfield@1380 | 1043 | indyType, |
rfield@1380 | 1044 | staticArgs.toArray()); |
rfield@1380 | 1045 | |
rfield@1380 | 1046 | JCFieldAccess qualifier = make.Select(make.QualIdent(site.tsym), bsmName); |
rfield@1380 | 1047 | qualifier.sym = dynSym; |
rfield@1380 | 1048 | qualifier.type = indyType.getReturnType(); |
rfield@1380 | 1049 | |
rfield@1380 | 1050 | JCMethodInvocation proxyCall = make.Apply(List.<JCExpression>nil(), qualifier, indyArgs); |
rfield@1380 | 1051 | proxyCall.type = indyType.getReturnType(); |
rfield@1380 | 1052 | return proxyCall; |
rfield@1380 | 1053 | } finally { |
rfield@1380 | 1054 | make.at(prevPos); |
rfield@1380 | 1055 | } |
rfield@1380 | 1056 | } |
rfield@1380 | 1057 | //where |
rfield@1380 | 1058 | private List<Type> bsmStaticArgToTypes(List<Object> args) { |
alundblad@2047 | 1059 | ListBuffer<Type> argtypes = new ListBuffer<>(); |
rfield@1380 | 1060 | for (Object arg : args) { |
rfield@1380 | 1061 | argtypes.append(bsmStaticArgToType(arg)); |
rfield@1380 | 1062 | } |
rfield@1380 | 1063 | return argtypes.toList(); |
rfield@1380 | 1064 | } |
rfield@1380 | 1065 | |
rfield@1380 | 1066 | private Type bsmStaticArgToType(Object arg) { |
rfield@1380 | 1067 | Assert.checkNonNull(arg); |
rfield@1380 | 1068 | if (arg instanceof ClassSymbol) { |
rfield@1380 | 1069 | return syms.classType; |
rfield@1380 | 1070 | } else if (arg instanceof Integer) { |
rfield@1380 | 1071 | return syms.intType; |
rfield@1380 | 1072 | } else if (arg instanceof Long) { |
rfield@1380 | 1073 | return syms.longType; |
rfield@1380 | 1074 | } else if (arg instanceof Float) { |
rfield@1380 | 1075 | return syms.floatType; |
rfield@1380 | 1076 | } else if (arg instanceof Double) { |
rfield@1380 | 1077 | return syms.doubleType; |
rfield@1380 | 1078 | } else if (arg instanceof String) { |
rfield@1380 | 1079 | return syms.stringType; |
rfield@1380 | 1080 | } else if (arg instanceof Pool.MethodHandle) { |
rfield@1380 | 1081 | return syms.methodHandleType; |
rfield@1380 | 1082 | } else if (arg instanceof MethodType) { |
rfield@1380 | 1083 | return syms.methodTypeType; |
rfield@1380 | 1084 | } else { |
rfield@1380 | 1085 | Assert.error("bad static arg " + arg.getClass()); |
rfield@1380 | 1086 | return null; |
rfield@1380 | 1087 | } |
rfield@1380 | 1088 | } |
rfield@1380 | 1089 | |
rfield@1380 | 1090 | /** |
rfield@1380 | 1091 | * Get the opcode associated with this method reference |
rfield@1380 | 1092 | */ |
rfield@1380 | 1093 | private int referenceKind(Symbol refSym) { |
rfield@1380 | 1094 | if (refSym.isConstructor()) { |
rfield@1380 | 1095 | return ClassFile.REF_newInvokeSpecial; |
rfield@1380 | 1096 | } else { |
rfield@1380 | 1097 | if (refSym.isStatic()) { |
rfield@1380 | 1098 | return ClassFile.REF_invokeStatic; |
rfield@2107 | 1099 | } else if ((refSym.flags() & PRIVATE) != 0) { |
rfield@2107 | 1100 | return ClassFile.REF_invokeSpecial; |
rfield@1380 | 1101 | } else if (refSym.enclClass().isInterface()) { |
rfield@1380 | 1102 | return ClassFile.REF_invokeInterface; |
rfield@1380 | 1103 | } else { |
rfield@2107 | 1104 | return ClassFile.REF_invokeVirtual; |
rfield@1380 | 1105 | } |
rfield@1380 | 1106 | } |
rfield@1380 | 1107 | } |
rfield@1587 | 1108 | |
mcimadamore@1652 | 1109 | // <editor-fold defaultstate="collapsed" desc="Lambda/reference analyzer"> |
rfield@1380 | 1110 | /** |
rfield@1380 | 1111 | * This visitor collects information about translation of a lambda expression. |
rfield@1380 | 1112 | * More specifically, it keeps track of the enclosing contexts and captured locals |
rfield@1380 | 1113 | * accessed by the lambda being translated (as well as other useful info). |
rfield@1717 | 1114 | * It also translates away problems for LambdaToMethod. |
rfield@1380 | 1115 | */ |
rfield@1717 | 1116 | class LambdaAnalyzerPreprocessor extends TreeTranslator { |
rfield@1380 | 1117 | |
rfield@1380 | 1118 | /** the frame stack - used to reconstruct translation info about enclosing scopes */ |
rfield@1380 | 1119 | private List<Frame> frameStack; |
rfield@1380 | 1120 | |
rfield@1380 | 1121 | /** |
rfield@1380 | 1122 | * keep the count of lambda expression (used to generate unambiguous |
rfield@1380 | 1123 | * names) |
rfield@1380 | 1124 | */ |
rfield@1380 | 1125 | private int lambdaCount = 0; |
rfield@1380 | 1126 | |
rfield@1587 | 1127 | /** |
rfield@1587 | 1128 | * keep the count of lambda expression defined in given context (used to |
rfield@1587 | 1129 | * generate unambiguous names for serializable lambdas) |
rfield@1587 | 1130 | */ |
rfield@2158 | 1131 | private class SyntheticMethodNameCounter { |
rfield@2158 | 1132 | private Map<String, Integer> map = new HashMap<>(); |
rfield@2158 | 1133 | int getIndex(StringBuilder buf) { |
rfield@2158 | 1134 | String temp = buf.toString(); |
rfield@2158 | 1135 | Integer count = map.get(temp); |
rfield@2158 | 1136 | if (count == null) { |
rfield@2158 | 1137 | count = 0; |
rfield@2158 | 1138 | } |
rfield@2158 | 1139 | ++count; |
rfield@2158 | 1140 | map.put(temp, count); |
rfield@2158 | 1141 | return count; |
rfield@2158 | 1142 | } |
rfield@2158 | 1143 | } |
rfield@2158 | 1144 | private SyntheticMethodNameCounter syntheticMethodNameCounts = |
rfield@2158 | 1145 | new SyntheticMethodNameCounter(); |
rfield@1587 | 1146 | |
mcimadamore@1612 | 1147 | private Map<Symbol, JCClassDecl> localClassDefs; |
mcimadamore@1612 | 1148 | |
rfield@1587 | 1149 | /** |
rfield@1587 | 1150 | * maps for fake clinit symbols to be used as owners of lambda occurring in |
rfield@1587 | 1151 | * a static var init context |
rfield@1587 | 1152 | */ |
rfield@1587 | 1153 | private Map<ClassSymbol, Symbol> clinits = |
rfield@1587 | 1154 | new HashMap<ClassSymbol, Symbol>(); |
rfield@1587 | 1155 | |
rfield@1717 | 1156 | private JCClassDecl analyzeAndPreprocessClass(JCClassDecl tree) { |
rfield@1380 | 1157 | frameStack = List.nil(); |
mcimadamore@1612 | 1158 | localClassDefs = new HashMap<Symbol, JCClassDecl>(); |
rfield@1717 | 1159 | return translate(tree); |
rfield@1380 | 1160 | } |
rfield@1380 | 1161 | |
rfield@1380 | 1162 | @Override |
rfield@1380 | 1163 | public void visitBlock(JCBlock tree) { |
rfield@1380 | 1164 | List<Frame> prevStack = frameStack; |
rfield@1380 | 1165 | try { |
rfield@1380 | 1166 | if (frameStack.nonEmpty() && frameStack.head.tree.hasTag(CLASSDEF)) { |
rfield@1380 | 1167 | frameStack = frameStack.prepend(new Frame(tree)); |
rfield@1380 | 1168 | } |
rfield@1380 | 1169 | super.visitBlock(tree); |
rfield@1380 | 1170 | } |
rfield@1380 | 1171 | finally { |
rfield@1380 | 1172 | frameStack = prevStack; |
rfield@1380 | 1173 | } |
rfield@1380 | 1174 | } |
rfield@1380 | 1175 | |
rfield@1380 | 1176 | @Override |
rfield@1380 | 1177 | public void visitClassDef(JCClassDecl tree) { |
rfield@1380 | 1178 | List<Frame> prevStack = frameStack; |
rfield@2158 | 1179 | SyntheticMethodNameCounter prevSyntheticMethodNameCounts = |
rfield@2158 | 1180 | syntheticMethodNameCounts; |
rfield@1587 | 1181 | Map<ClassSymbol, Symbol> prevClinits = clinits; |
mcimadamore@1817 | 1182 | DiagnosticSource prevSource = log.currentSource(); |
rfield@1380 | 1183 | try { |
mcimadamore@1817 | 1184 | log.useSource(tree.sym.sourcefile); |
rfield@2158 | 1185 | syntheticMethodNameCounts = new SyntheticMethodNameCounter(); |
rfield@1587 | 1186 | prevClinits = new HashMap<ClassSymbol, Symbol>(); |
mcimadamore@1612 | 1187 | if (tree.sym.owner.kind == MTH) { |
mcimadamore@1612 | 1188 | localClassDefs.put(tree.sym, tree); |
mcimadamore@1612 | 1189 | } |
rfield@1587 | 1190 | if (directlyEnclosingLambda() != null) { |
rfield@1380 | 1191 | tree.sym.owner = owner(); |
mcimadamore@1595 | 1192 | if (tree.sym.hasOuterInstance()) { |
mcimadamore@1595 | 1193 | //if a class is defined within a lambda, the lambda must capture |
mcimadamore@1595 | 1194 | //its enclosing instance (if any) |
mcimadamore@1612 | 1195 | TranslationContext<?> localContext = context(); |
mcimadamore@1612 | 1196 | while (localContext != null) { |
mcimadamore@1612 | 1197 | if (localContext.tree.getTag() == LAMBDA) { |
mcimadamore@1612 | 1198 | ((LambdaTranslationContext)localContext) |
mcimadamore@1612 | 1199 | .addSymbol(tree.sym.type.getEnclosingType().tsym, CAPTURED_THIS); |
mcimadamore@1612 | 1200 | } |
mcimadamore@1612 | 1201 | localContext = localContext.prev; |
mcimadamore@1612 | 1202 | } |
rfield@1380 | 1203 | } |
rfield@1380 | 1204 | } |
rfield@1380 | 1205 | frameStack = frameStack.prepend(new Frame(tree)); |
rfield@1380 | 1206 | super.visitClassDef(tree); |
rfield@1380 | 1207 | } |
rfield@1380 | 1208 | finally { |
mcimadamore@1817 | 1209 | log.useSource(prevSource.getFile()); |
rfield@1380 | 1210 | frameStack = prevStack; |
rfield@2158 | 1211 | syntheticMethodNameCounts = prevSyntheticMethodNameCounts; |
rfield@1587 | 1212 | clinits = prevClinits; |
rfield@1380 | 1213 | } |
rfield@1380 | 1214 | } |
rfield@1380 | 1215 | |
rfield@1380 | 1216 | @Override |
rfield@1380 | 1217 | public void visitIdent(JCIdent tree) { |
rfield@1587 | 1218 | if (context() != null && lambdaIdentSymbolFilter(tree.sym)) { |
rfield@1380 | 1219 | if (tree.sym.kind == VAR && |
rfield@1380 | 1220 | tree.sym.owner.kind == MTH && |
rfield@1380 | 1221 | tree.type.constValue() == null) { |
rfield@1380 | 1222 | TranslationContext<?> localContext = context(); |
rfield@1380 | 1223 | while (localContext != null) { |
rfield@1380 | 1224 | if (localContext.tree.getTag() == LAMBDA) { |
rfield@1380 | 1225 | JCTree block = capturedDecl(localContext.depth, tree.sym); |
rfield@1380 | 1226 | if (block == null) break; |
mcimadamore@1595 | 1227 | ((LambdaTranslationContext)localContext) |
mcimadamore@1595 | 1228 | .addSymbol(tree.sym, CAPTURED_VAR); |
rfield@1380 | 1229 | } |
rfield@1380 | 1230 | localContext = localContext.prev; |
rfield@1380 | 1231 | } |
rfield@1380 | 1232 | } else if (tree.sym.owner.kind == TYP) { |
rfield@1380 | 1233 | TranslationContext<?> localContext = context(); |
rfield@1380 | 1234 | while (localContext != null) { |
rfield@1380 | 1235 | if (localContext.tree.hasTag(LAMBDA)) { |
rfield@1380 | 1236 | JCTree block = capturedDecl(localContext.depth, tree.sym); |
rfield@1380 | 1237 | if (block == null) break; |
rfield@1380 | 1238 | switch (block.getTag()) { |
rfield@1380 | 1239 | case CLASSDEF: |
rfield@1380 | 1240 | JCClassDecl cdecl = (JCClassDecl)block; |
mcimadamore@1595 | 1241 | ((LambdaTranslationContext)localContext) |
mcimadamore@1595 | 1242 | .addSymbol(cdecl.sym, CAPTURED_THIS); |
rfield@1380 | 1243 | break; |
rfield@1380 | 1244 | default: |
rfield@1380 | 1245 | Assert.error("bad block kind"); |
rfield@1380 | 1246 | } |
rfield@1380 | 1247 | } |
rfield@1380 | 1248 | localContext = localContext.prev; |
rfield@1380 | 1249 | } |
rfield@1380 | 1250 | } |
rfield@1380 | 1251 | } |
rfield@1587 | 1252 | super.visitIdent(tree); |
rfield@1380 | 1253 | } |
rfield@1380 | 1254 | |
rfield@1380 | 1255 | @Override |
rfield@1380 | 1256 | public void visitLambda(JCLambda tree) { |
rfield@1380 | 1257 | List<Frame> prevStack = frameStack; |
rfield@1380 | 1258 | try { |
rfield@1380 | 1259 | LambdaTranslationContext context = (LambdaTranslationContext)makeLambdaContext(tree); |
rfield@1380 | 1260 | frameStack = frameStack.prepend(new Frame(tree)); |
rfield@1380 | 1261 | for (JCVariableDecl param : tree.params) { |
rfield@1380 | 1262 | context.addSymbol(param.sym, PARAM); |
rfield@1380 | 1263 | frameStack.head.addLocal(param.sym); |
rfield@1380 | 1264 | } |
rfield@1380 | 1265 | contextMap.put(tree, context); |
rfield@1717 | 1266 | super.visitLambda(tree); |
rfield@1380 | 1267 | context.complete(); |
rfield@1380 | 1268 | } |
rfield@1380 | 1269 | finally { |
rfield@1380 | 1270 | frameStack = prevStack; |
rfield@1380 | 1271 | } |
rfield@1380 | 1272 | } |
rfield@1380 | 1273 | |
rfield@1380 | 1274 | @Override |
rfield@1380 | 1275 | public void visitMethodDef(JCMethodDecl tree) { |
rfield@1380 | 1276 | List<Frame> prevStack = frameStack; |
rfield@1380 | 1277 | try { |
rfield@1380 | 1278 | frameStack = frameStack.prepend(new Frame(tree)); |
rfield@1380 | 1279 | super.visitMethodDef(tree); |
rfield@1380 | 1280 | } |
rfield@1380 | 1281 | finally { |
rfield@1380 | 1282 | frameStack = prevStack; |
rfield@1380 | 1283 | } |
rfield@1380 | 1284 | } |
rfield@1380 | 1285 | |
rfield@1380 | 1286 | @Override |
rfield@1380 | 1287 | public void visitNewClass(JCNewClass tree) { |
rfield@2381 | 1288 | TypeSymbol def = tree.type.tsym; |
rfield@2381 | 1289 | boolean inReferencedClass = currentlyInClass(def); |
rfield@2381 | 1290 | boolean isLocal = def.isLocal(); |
rfield@2381 | 1291 | if ((inReferencedClass && isLocal || lambdaNewClassFilter(context(), tree))) { |
mcimadamore@1612 | 1292 | TranslationContext<?> localContext = context(); |
mcimadamore@1612 | 1293 | while (localContext != null) { |
mcimadamore@1612 | 1294 | if (localContext.tree.getTag() == LAMBDA) { |
mcimadamore@1612 | 1295 | ((LambdaTranslationContext)localContext) |
mcimadamore@1612 | 1296 | .addSymbol(tree.type.getEnclosingType().tsym, CAPTURED_THIS); |
mcimadamore@1612 | 1297 | } |
mcimadamore@1612 | 1298 | localContext = localContext.prev; |
mcimadamore@1612 | 1299 | } |
mcimadamore@1612 | 1300 | } |
rfield@2381 | 1301 | if (context() != null && !inReferencedClass && isLocal) { |
mcimadamore@1612 | 1302 | LambdaTranslationContext lambdaContext = (LambdaTranslationContext)context(); |
rfield@2381 | 1303 | captureLocalClassDefs(def, lambdaContext); |
rfield@1380 | 1304 | } |
rfield@1380 | 1305 | super.visitNewClass(tree); |
rfield@1380 | 1306 | } |
mcimadamore@1612 | 1307 | //where |
mcimadamore@1612 | 1308 | void captureLocalClassDefs(Symbol csym, final LambdaTranslationContext lambdaContext) { |
mcimadamore@1612 | 1309 | JCClassDecl localCDef = localClassDefs.get(csym); |
rfield@2381 | 1310 | if (localCDef != null && lambdaContext.freeVarProcessedLocalClasses.add(csym)) { |
mcimadamore@1612 | 1311 | BasicFreeVarCollector fvc = lower.new BasicFreeVarCollector() { |
mcimadamore@1612 | 1312 | @Override |
mcimadamore@1612 | 1313 | void addFreeVars(ClassSymbol c) { |
mcimadamore@1612 | 1314 | captureLocalClassDefs(c, lambdaContext); |
mcimadamore@1612 | 1315 | } |
mcimadamore@1612 | 1316 | @Override |
mcimadamore@1612 | 1317 | void visitSymbol(Symbol sym) { |
mcimadamore@1612 | 1318 | if (sym.kind == VAR && |
mcimadamore@1612 | 1319 | sym.owner.kind == MTH && |
mcimadamore@1612 | 1320 | ((VarSymbol)sym).getConstValue() == null) { |
mcimadamore@1612 | 1321 | TranslationContext<?> localContext = context(); |
mcimadamore@1612 | 1322 | while (localContext != null) { |
mcimadamore@1612 | 1323 | if (localContext.tree.getTag() == LAMBDA) { |
mcimadamore@1612 | 1324 | JCTree block = capturedDecl(localContext.depth, sym); |
mcimadamore@1612 | 1325 | if (block == null) break; |
mcimadamore@1612 | 1326 | ((LambdaTranslationContext)localContext).addSymbol(sym, CAPTURED_VAR); |
mcimadamore@1612 | 1327 | } |
mcimadamore@1612 | 1328 | localContext = localContext.prev; |
mcimadamore@1612 | 1329 | } |
mcimadamore@1612 | 1330 | } |
mcimadamore@1612 | 1331 | } |
mcimadamore@1612 | 1332 | }; |
mcimadamore@1612 | 1333 | fvc.scan(localCDef); |
mcimadamore@1612 | 1334 | } |
rfield@1717 | 1335 | } |
rfield@2381 | 1336 | //where |
rfield@2381 | 1337 | boolean currentlyInClass(Symbol csym) { |
rfield@2381 | 1338 | for (Frame frame : frameStack) { |
rfield@2381 | 1339 | if (frame.tree.hasTag(JCTree.Tag.CLASSDEF)) { |
rfield@2381 | 1340 | JCClassDecl cdef = (JCClassDecl) frame.tree; |
rfield@2381 | 1341 | if (cdef.sym == csym) { |
rfield@2381 | 1342 | return true; |
rfield@2381 | 1343 | } |
rfield@2381 | 1344 | } |
rfield@2381 | 1345 | } |
rfield@2381 | 1346 | return false; |
rfield@2381 | 1347 | } |
rfield@1380 | 1348 | |
rfield@1717 | 1349 | /** |
rfield@1717 | 1350 | * Method references to local class constructors, may, if the local |
rfield@1717 | 1351 | * class references local variables, have implicit constructor |
rfield@1717 | 1352 | * parameters added in Lower; As a result, the invokedynamic bootstrap |
rfield@1717 | 1353 | * information added in the LambdaToMethod pass will have the wrong |
rfield@1717 | 1354 | * signature. Hooks between Lower and LambdaToMethod have been added to |
rfield@1717 | 1355 | * handle normal "new" in this case. This visitor converts potentially |
rfield@1717 | 1356 | * effected method references into a lambda containing a normal "new" of |
rfield@1717 | 1357 | * the class. |
rfield@1717 | 1358 | * |
rfield@1717 | 1359 | * @param tree |
rfield@1717 | 1360 | */ |
rfield@1380 | 1361 | @Override |
rfield@1380 | 1362 | public void visitReference(JCMemberReference tree) { |
rfield@1717 | 1363 | if (tree.getMode() == ReferenceMode.NEW |
rfield@1717 | 1364 | && tree.kind != ReferenceKind.ARRAY_CTOR |
rfield@1717 | 1365 | && tree.sym.owner.isLocal()) { |
rfield@1717 | 1366 | MethodSymbol consSym = (MethodSymbol) tree.sym; |
rfield@1717 | 1367 | List<Type> ptypes = ((MethodType) consSym.type).getParameterTypes(); |
rfield@1717 | 1368 | Type classType = consSym.owner.type; |
rfield@1717 | 1369 | |
rfield@1727 | 1370 | // Build lambda parameters |
rfield@1727 | 1371 | // partially cloned from TreeMaker.Params until 8014021 is fixed |
rfield@1727 | 1372 | Symbol owner = owner(); |
rfield@1727 | 1373 | ListBuffer<JCVariableDecl> paramBuff = new ListBuffer<JCVariableDecl>(); |
rfield@1727 | 1374 | int i = 0; |
rfield@1727 | 1375 | for (List<Type> l = ptypes; l.nonEmpty(); l = l.tail) { |
jjg@2146 | 1376 | JCVariableDecl param = make.Param(make.paramName(i++), l.head, owner); |
jjg@2146 | 1377 | param.sym.pos = tree.pos; |
jjg@2146 | 1378 | paramBuff.append(param); |
rfield@1727 | 1379 | } |
rfield@1727 | 1380 | List<JCVariableDecl> params = paramBuff.toList(); |
rfield@1727 | 1381 | |
rfield@1717 | 1382 | // Make new-class call |
rfield@1717 | 1383 | JCNewClass nc = makeNewClass(classType, make.Idents(params)); |
rfield@1717 | 1384 | nc.pos = tree.pos; |
rfield@1717 | 1385 | |
rfield@1717 | 1386 | // Make lambda holding the new-class call |
rfield@1717 | 1387 | JCLambda slam = make.Lambda(params, nc); |
rfield@1717 | 1388 | slam.targets = tree.targets; |
rfield@1717 | 1389 | slam.type = tree.type; |
rfield@1717 | 1390 | slam.pos = tree.pos; |
rfield@1717 | 1391 | |
rfield@1717 | 1392 | // Now it is a lambda, process as such |
rfield@1717 | 1393 | visitLambda(slam); |
rfield@1717 | 1394 | } else { |
rfield@1717 | 1395 | super.visitReference(tree); |
rfield@1717 | 1396 | contextMap.put(tree, makeReferenceContext(tree)); |
rfield@1717 | 1397 | } |
rfield@1380 | 1398 | } |
rfield@1380 | 1399 | |
rfield@1380 | 1400 | @Override |
rfield@1380 | 1401 | public void visitSelect(JCFieldAccess tree) { |
rfield@1762 | 1402 | if (context() != null && tree.sym.kind == VAR && |
rfield@1762 | 1403 | (tree.sym.name == names._this || |
rfield@1762 | 1404 | tree.sym.name == names._super)) { |
rfield@1762 | 1405 | // A select of this or super means, if we are in a lambda, |
rfield@1762 | 1406 | // we much have an instance context |
rfield@1380 | 1407 | TranslationContext<?> localContext = context(); |
rfield@1380 | 1408 | while (localContext != null) { |
rfield@1380 | 1409 | if (localContext.tree.hasTag(LAMBDA)) { |
rfield@1380 | 1410 | JCClassDecl clazz = (JCClassDecl)capturedDecl(localContext.depth, tree.sym); |
rfield@1380 | 1411 | if (clazz == null) break; |
rfield@1380 | 1412 | ((LambdaTranslationContext)localContext).addSymbol(clazz.sym, CAPTURED_THIS); |
rfield@1380 | 1413 | } |
rfield@1380 | 1414 | localContext = localContext.prev; |
rfield@1380 | 1415 | } |
rfield@1380 | 1416 | } |
rfield@1717 | 1417 | super.visitSelect(tree); |
rfield@1380 | 1418 | } |
rfield@1380 | 1419 | |
rfield@1380 | 1420 | @Override |
rfield@1380 | 1421 | public void visitVarDef(JCVariableDecl tree) { |
rfield@1587 | 1422 | TranslationContext<?> context = context(); |
rfield@1587 | 1423 | LambdaTranslationContext ltc = (context != null && context instanceof LambdaTranslationContext)? |
rfield@1587 | 1424 | (LambdaTranslationContext)context : |
rfield@1587 | 1425 | null; |
rfield@1587 | 1426 | if (ltc != null) { |
rfield@1587 | 1427 | if (frameStack.head.tree.hasTag(LAMBDA)) { |
rfield@1587 | 1428 | ltc.addSymbol(tree.sym, LOCAL_VAR); |
rfield@1587 | 1429 | } |
rfield@1587 | 1430 | // Check for type variables (including as type arguments). |
rfield@1587 | 1431 | // If they occur within class nested in a lambda, mark for erasure |
rfield@1587 | 1432 | Type type = tree.sym.asType(); |
rfield@1587 | 1433 | if (inClassWithinLambda() && !types.isSameType(types.erasure(type), type)) { |
rfield@1587 | 1434 | ltc.addSymbol(tree.sym, TYPE_VAR); |
rfield@1587 | 1435 | } |
rfield@1380 | 1436 | } |
rfield@1587 | 1437 | |
rfield@1380 | 1438 | List<Frame> prevStack = frameStack; |
rfield@1380 | 1439 | try { |
rfield@1380 | 1440 | if (tree.sym.owner.kind == MTH) { |
rfield@1380 | 1441 | frameStack.head.addLocal(tree.sym); |
rfield@1380 | 1442 | } |
rfield@1380 | 1443 | frameStack = frameStack.prepend(new Frame(tree)); |
rfield@1380 | 1444 | super.visitVarDef(tree); |
rfield@1380 | 1445 | } |
rfield@1380 | 1446 | finally { |
rfield@1380 | 1447 | frameStack = prevStack; |
rfield@1380 | 1448 | } |
rfield@1380 | 1449 | } |
rfield@1380 | 1450 | |
rfield@1380 | 1451 | /** |
rfield@1380 | 1452 | * Return a valid owner given the current declaration stack |
rfield@1380 | 1453 | * (required to skip synthetic lambda symbols) |
rfield@1380 | 1454 | */ |
rfield@1380 | 1455 | private Symbol owner() { |
mcimadamore@1515 | 1456 | return owner(false); |
mcimadamore@1515 | 1457 | } |
mcimadamore@1515 | 1458 | |
mcimadamore@1515 | 1459 | @SuppressWarnings("fallthrough") |
mcimadamore@1515 | 1460 | private Symbol owner(boolean skipLambda) { |
rfield@1380 | 1461 | List<Frame> frameStack2 = frameStack; |
rfield@1380 | 1462 | while (frameStack2.nonEmpty()) { |
rfield@1380 | 1463 | switch (frameStack2.head.tree.getTag()) { |
rfield@1380 | 1464 | case VARDEF: |
rfield@1380 | 1465 | if (((JCVariableDecl)frameStack2.head.tree).sym.isLocal()) { |
rfield@1380 | 1466 | frameStack2 = frameStack2.tail; |
rfield@1380 | 1467 | break; |
rfield@1380 | 1468 | } |
rfield@1380 | 1469 | JCClassDecl cdecl = (JCClassDecl)frameStack2.tail.head.tree; |
rfield@1587 | 1470 | return initSym(cdecl.sym, |
rfield@1587 | 1471 | ((JCVariableDecl)frameStack2.head.tree).sym.flags() & STATIC); |
rfield@1380 | 1472 | case BLOCK: |
rfield@1380 | 1473 | JCClassDecl cdecl2 = (JCClassDecl)frameStack2.tail.head.tree; |
rfield@1587 | 1474 | return initSym(cdecl2.sym, |
rfield@1587 | 1475 | ((JCBlock)frameStack2.head.tree).flags & STATIC); |
rfield@1380 | 1476 | case CLASSDEF: |
rfield@1380 | 1477 | return ((JCClassDecl)frameStack2.head.tree).sym; |
rfield@1380 | 1478 | case METHODDEF: |
rfield@1380 | 1479 | return ((JCMethodDecl)frameStack2.head.tree).sym; |
rfield@1380 | 1480 | case LAMBDA: |
mcimadamore@1515 | 1481 | if (!skipLambda) |
mcimadamore@1595 | 1482 | return ((LambdaTranslationContext)contextMap |
mcimadamore@1595 | 1483 | .get(frameStack2.head.tree)).translatedSym; |
rfield@1380 | 1484 | default: |
rfield@1380 | 1485 | frameStack2 = frameStack2.tail; |
rfield@1380 | 1486 | } |
rfield@1380 | 1487 | } |
rfield@1380 | 1488 | Assert.error(); |
rfield@1380 | 1489 | return null; |
rfield@1380 | 1490 | } |
rfield@1380 | 1491 | |
rfield@1587 | 1492 | private Symbol initSym(ClassSymbol csym, long flags) { |
rfield@1587 | 1493 | boolean isStatic = (flags & STATIC) != 0; |
rfield@1587 | 1494 | if (isStatic) { |
vromero@2222 | 1495 | /* static clinits are generated in Gen, so we need to use a fake |
vromero@2222 | 1496 | * one. Attr creates a fake clinit method while attributing |
vromero@2222 | 1497 | * lambda expressions used as initializers of static fields, so |
vromero@2222 | 1498 | * let's use that one. |
vromero@2222 | 1499 | */ |
vromero@2222 | 1500 | MethodSymbol clinit = attr.removeClinit(csym); |
vromero@2222 | 1501 | if (clinit != null) { |
vromero@2222 | 1502 | clinits.put(csym, clinit); |
vromero@2222 | 1503 | return clinit; |
vromero@2222 | 1504 | } |
vromero@2222 | 1505 | |
vromero@2222 | 1506 | /* if no clinit is found at Attr, then let's try at clinits. |
vromero@2222 | 1507 | */ |
vromero@2222 | 1508 | clinit = (MethodSymbol)clinits.get(csym); |
rfield@1587 | 1509 | if (clinit == null) { |
vromero@2222 | 1510 | /* no luck, let's create a new one |
vromero@2222 | 1511 | */ |
rfield@2107 | 1512 | clinit = makePrivateSyntheticMethod(STATIC, |
rfield@1587 | 1513 | names.clinit, |
vromero@2222 | 1514 | new MethodType(List.<Type>nil(), syms.voidType, |
vromero@2222 | 1515 | List.<Type>nil(), syms.methodClass), |
rfield@1587 | 1516 | csym); |
rfield@1587 | 1517 | clinits.put(csym, clinit); |
rfield@1587 | 1518 | } |
rfield@1587 | 1519 | return clinit; |
rfield@1587 | 1520 | } else { |
rfield@1587 | 1521 | //get the first constructor and treat it as the instance init sym |
rfield@1587 | 1522 | for (Symbol s : csym.members_field.getElementsByName(names.init)) { |
rfield@1587 | 1523 | return s; |
rfield@1587 | 1524 | } |
rfield@1587 | 1525 | } |
rfield@1587 | 1526 | Assert.error("init not found"); |
rfield@1587 | 1527 | return null; |
rfield@1587 | 1528 | } |
rfield@1587 | 1529 | |
rfield@1587 | 1530 | private JCTree directlyEnclosingLambda() { |
rfield@1587 | 1531 | if (frameStack.isEmpty()) { |
rfield@1587 | 1532 | return null; |
rfield@1587 | 1533 | } |
rfield@1380 | 1534 | List<Frame> frameStack2 = frameStack; |
rfield@1380 | 1535 | while (frameStack2.nonEmpty()) { |
rfield@1380 | 1536 | switch (frameStack2.head.tree.getTag()) { |
rfield@1380 | 1537 | case CLASSDEF: |
rfield@1380 | 1538 | case METHODDEF: |
rfield@1380 | 1539 | return null; |
rfield@1380 | 1540 | case LAMBDA: |
rfield@1380 | 1541 | return frameStack2.head.tree; |
rfield@1380 | 1542 | default: |
rfield@1380 | 1543 | frameStack2 = frameStack2.tail; |
rfield@1380 | 1544 | } |
rfield@1380 | 1545 | } |
rfield@1380 | 1546 | Assert.error(); |
rfield@1380 | 1547 | return null; |
rfield@1380 | 1548 | } |
rfield@1380 | 1549 | |
rfield@1587 | 1550 | private boolean inClassWithinLambda() { |
rfield@1587 | 1551 | if (frameStack.isEmpty()) { |
rfield@1587 | 1552 | return false; |
rfield@1587 | 1553 | } |
rfield@1587 | 1554 | List<Frame> frameStack2 = frameStack; |
rfield@1587 | 1555 | boolean classFound = false; |
rfield@1587 | 1556 | while (frameStack2.nonEmpty()) { |
rfield@1587 | 1557 | switch (frameStack2.head.tree.getTag()) { |
rfield@1587 | 1558 | case LAMBDA: |
rfield@1587 | 1559 | return classFound; |
rfield@1587 | 1560 | case CLASSDEF: |
rfield@1587 | 1561 | classFound = true; |
rfield@1587 | 1562 | frameStack2 = frameStack2.tail; |
rfield@1587 | 1563 | break; |
rfield@1587 | 1564 | default: |
rfield@1587 | 1565 | frameStack2 = frameStack2.tail; |
rfield@1587 | 1566 | } |
rfield@1587 | 1567 | } |
rfield@1587 | 1568 | // No lambda |
rfield@1587 | 1569 | return false; |
rfield@1587 | 1570 | } |
rfield@1587 | 1571 | |
rfield@1380 | 1572 | /** |
rfield@1380 | 1573 | * Return the declaration corresponding to a symbol in the enclosing |
rfield@1380 | 1574 | * scope; the depth parameter is used to filter out symbols defined |
rfield@1380 | 1575 | * in nested scopes (which do not need to undergo capture). |
rfield@1380 | 1576 | */ |
rfield@1380 | 1577 | private JCTree capturedDecl(int depth, Symbol sym) { |
rfield@1380 | 1578 | int currentDepth = frameStack.size() - 1; |
rfield@1380 | 1579 | for (Frame block : frameStack) { |
rfield@1380 | 1580 | switch (block.tree.getTag()) { |
rfield@1380 | 1581 | case CLASSDEF: |
rfield@1380 | 1582 | ClassSymbol clazz = ((JCClassDecl)block.tree).sym; |
rfield@1380 | 1583 | if (sym.isMemberOf(clazz, types)) { |
rfield@1380 | 1584 | return currentDepth > depth ? null : block.tree; |
rfield@1380 | 1585 | } |
rfield@1380 | 1586 | break; |
rfield@1380 | 1587 | case VARDEF: |
rfield@1380 | 1588 | if (((JCVariableDecl)block.tree).sym == sym && |
rfield@1380 | 1589 | sym.owner.kind == MTH) { //only locals are captured |
rfield@1380 | 1590 | return currentDepth > depth ? null : block.tree; |
rfield@1380 | 1591 | } |
rfield@1380 | 1592 | break; |
rfield@1380 | 1593 | case BLOCK: |
rfield@1380 | 1594 | case METHODDEF: |
rfield@1380 | 1595 | case LAMBDA: |
rfield@1380 | 1596 | if (block.locals != null && block.locals.contains(sym)) { |
rfield@1380 | 1597 | return currentDepth > depth ? null : block.tree; |
rfield@1380 | 1598 | } |
rfield@1380 | 1599 | break; |
rfield@1380 | 1600 | default: |
rfield@1380 | 1601 | Assert.error("bad decl kind " + block.tree.getTag()); |
rfield@1380 | 1602 | } |
rfield@1380 | 1603 | currentDepth--; |
rfield@1380 | 1604 | } |
rfield@1380 | 1605 | return null; |
rfield@1380 | 1606 | } |
rfield@1380 | 1607 | |
rfield@1380 | 1608 | private TranslationContext<?> context() { |
rfield@1380 | 1609 | for (Frame frame : frameStack) { |
rfield@1380 | 1610 | TranslationContext<?> context = contextMap.get(frame.tree); |
rfield@1380 | 1611 | if (context != null) { |
rfield@1380 | 1612 | return context; |
rfield@1380 | 1613 | } |
rfield@1380 | 1614 | } |
rfield@1380 | 1615 | return null; |
rfield@1380 | 1616 | } |
rfield@1380 | 1617 | |
rfield@1380 | 1618 | /** |
rfield@1380 | 1619 | * This is used to filter out those identifiers that needs to be adjusted |
rfield@1380 | 1620 | * when translating away lambda expressions |
rfield@1380 | 1621 | */ |
rfield@1380 | 1622 | private boolean lambdaIdentSymbolFilter(Symbol sym) { |
rfield@1380 | 1623 | return (sym.kind == VAR || sym.kind == MTH) |
rfield@1380 | 1624 | && !sym.isStatic() |
rfield@1380 | 1625 | && sym.name != names.init; |
rfield@1380 | 1626 | } |
rfield@1380 | 1627 | |
rfield@1380 | 1628 | /** |
rfield@1380 | 1629 | * This is used to filter out those new class expressions that need to |
rfield@1380 | 1630 | * be qualified with an enclosing tree |
rfield@1380 | 1631 | */ |
rfield@1380 | 1632 | private boolean lambdaNewClassFilter(TranslationContext<?> context, JCNewClass tree) { |
rfield@1380 | 1633 | if (context != null |
rfield@1380 | 1634 | && tree.encl == null |
rfield@1380 | 1635 | && tree.def == null |
rfield@1405 | 1636 | && !tree.type.getEnclosingType().hasTag(NONE)) { |
rfield@1380 | 1637 | Type encl = tree.type.getEnclosingType(); |
rfield@1380 | 1638 | Type current = context.owner.enclClass().type; |
rfield@1405 | 1639 | while (!current.hasTag(NONE)) { |
rfield@1380 | 1640 | if (current.tsym.isSubClass(encl.tsym, types)) { |
rfield@1380 | 1641 | return true; |
rfield@1380 | 1642 | } |
rfield@1380 | 1643 | current = current.getEnclosingType(); |
rfield@1380 | 1644 | } |
rfield@1380 | 1645 | return false; |
rfield@1380 | 1646 | } else { |
rfield@1380 | 1647 | return false; |
rfield@1380 | 1648 | } |
rfield@1380 | 1649 | } |
rfield@1380 | 1650 | |
rfield@1380 | 1651 | private TranslationContext<JCLambda> makeLambdaContext(JCLambda tree) { |
rfield@1380 | 1652 | return new LambdaTranslationContext(tree); |
rfield@1380 | 1653 | } |
rfield@1380 | 1654 | |
rfield@1380 | 1655 | private TranslationContext<JCMemberReference> makeReferenceContext(JCMemberReference tree) { |
rfield@1380 | 1656 | return new ReferenceTranslationContext(tree); |
rfield@1380 | 1657 | } |
rfield@1380 | 1658 | |
rfield@1380 | 1659 | private class Frame { |
rfield@1380 | 1660 | final JCTree tree; |
rfield@1380 | 1661 | List<Symbol> locals; |
rfield@1380 | 1662 | |
rfield@1380 | 1663 | public Frame(JCTree tree) { |
rfield@1380 | 1664 | this.tree = tree; |
rfield@1380 | 1665 | } |
rfield@1380 | 1666 | |
rfield@1380 | 1667 | void addLocal(Symbol sym) { |
rfield@1380 | 1668 | if (locals == null) { |
rfield@1380 | 1669 | locals = List.nil(); |
rfield@1380 | 1670 | } |
rfield@1380 | 1671 | locals = locals.prepend(sym); |
rfield@1380 | 1672 | } |
rfield@1380 | 1673 | } |
rfield@1380 | 1674 | |
rfield@1380 | 1675 | /** |
rfield@1380 | 1676 | * This class is used to store important information regarding translation of |
rfield@1380 | 1677 | * lambda expression/method references (see subclasses). |
rfield@1380 | 1678 | */ |
mcimadamore@1510 | 1679 | private abstract class TranslationContext<T extends JCFunctionalExpression> { |
rfield@1380 | 1680 | |
rfield@1380 | 1681 | /** the underlying (untranslated) tree */ |
rfield@2158 | 1682 | final T tree; |
rfield@1380 | 1683 | |
rfield@1380 | 1684 | /** points to the adjusted enclosing scope in which this lambda/mref expression occurs */ |
rfield@2158 | 1685 | final Symbol owner; |
rfield@1380 | 1686 | |
rfield@1380 | 1687 | /** the depth of this lambda expression in the frame stack */ |
rfield@2158 | 1688 | final int depth; |
rfield@1380 | 1689 | |
rfield@1380 | 1690 | /** the enclosing translation context (set for nested lambdas/mref) */ |
rfield@2158 | 1691 | final TranslationContext<?> prev; |
rfield@1380 | 1692 | |
mcimadamore@1882 | 1693 | /** list of methods to be bridged by the meta-factory */ |
rfield@2158 | 1694 | final List<Symbol> bridges; |
mcimadamore@1882 | 1695 | |
rfield@1380 | 1696 | TranslationContext(T tree) { |
rfield@1380 | 1697 | this.tree = tree; |
rfield@1380 | 1698 | this.owner = owner(); |
rfield@1380 | 1699 | this.depth = frameStack.size() - 1; |
rfield@1380 | 1700 | this.prev = context(); |
mcimadamore@1882 | 1701 | ClassSymbol csym = |
mcimadamore@1882 | 1702 | types.makeFunctionalInterfaceClass(attrEnv, names.empty, tree.targets, ABSTRACT | INTERFACE); |
mcimadamore@1882 | 1703 | this.bridges = types.functionalInterfaceBridges(csym); |
rfield@1380 | 1704 | } |
rfield@1587 | 1705 | |
rfield@1587 | 1706 | /** does this functional expression need to be created using alternate metafactory? */ |
rfield@1587 | 1707 | boolean needsAltMetafactory() { |
mcimadamore@1882 | 1708 | return tree.targets.length() > 1 || |
mcimadamore@1882 | 1709 | isSerializable() || |
mcimadamore@1882 | 1710 | bridges.length() > 1; |
rfield@1587 | 1711 | } |
rfield@1587 | 1712 | |
rfield@1587 | 1713 | /** does this functional expression require serialization support? */ |
rfield@1587 | 1714 | boolean isSerializable() { |
ksrini@2251 | 1715 | if (forceSerializable) { |
ksrini@2251 | 1716 | return true; |
ksrini@2251 | 1717 | } |
mcimadamore@1882 | 1718 | for (Type target : tree.targets) { |
mcimadamore@1882 | 1719 | if (types.asSuper(target, syms.serializableType.tsym) != null) { |
rfield@1587 | 1720 | return true; |
rfield@1587 | 1721 | } |
rfield@1587 | 1722 | } |
rfield@1587 | 1723 | return false; |
rfield@1587 | 1724 | } |
rfield@2158 | 1725 | |
rfield@2158 | 1726 | /** |
rfield@2158 | 1727 | * @return Name of the enclosing method to be folded into synthetic |
rfield@2158 | 1728 | * method name |
rfield@2158 | 1729 | */ |
rfield@2158 | 1730 | String enclosingMethodName() { |
rfield@2158 | 1731 | return syntheticMethodNameComponent(owner.name); |
rfield@2158 | 1732 | } |
rfield@2158 | 1733 | |
rfield@2158 | 1734 | /** |
rfield@2158 | 1735 | * @return Method name in a form that can be folded into a |
rfield@2158 | 1736 | * component of a synthetic method name |
rfield@2158 | 1737 | */ |
rfield@2158 | 1738 | String syntheticMethodNameComponent(Name name) { |
rfield@2158 | 1739 | if (name == null) { |
rfield@2158 | 1740 | return "null"; |
rfield@2158 | 1741 | } |
rfield@2158 | 1742 | String methodName = name.toString(); |
rfield@2158 | 1743 | if (methodName.equals("<clinit>")) { |
rfield@2158 | 1744 | methodName = "static"; |
rfield@2158 | 1745 | } else if (methodName.equals("<init>")) { |
rfield@2158 | 1746 | methodName = "new"; |
rfield@2158 | 1747 | } |
rfield@2158 | 1748 | return methodName; |
rfield@2158 | 1749 | } |
rfield@1380 | 1750 | } |
rfield@1380 | 1751 | |
rfield@1380 | 1752 | /** |
rfield@1380 | 1753 | * This class retains all the useful information about a lambda expression; |
rfield@1380 | 1754 | * the contents of this class are filled by the LambdaAnalyzer visitor, |
rfield@1380 | 1755 | * and the used by the main translation routines in order to adjust references |
rfield@1380 | 1756 | * to captured locals/members, etc. |
rfield@1380 | 1757 | */ |
rfield@1380 | 1758 | private class LambdaTranslationContext extends TranslationContext<JCLambda> { |
rfield@1380 | 1759 | |
rfield@1380 | 1760 | /** variable in the enclosing context to which this lambda is assigned */ |
rfield@2158 | 1761 | final Symbol self; |
rfield@2158 | 1762 | |
rfield@2158 | 1763 | /** variable in the enclosing context to which this lambda is assigned */ |
rfield@2158 | 1764 | final Symbol assignedTo; |
rfield@1380 | 1765 | |
ksrini@2155 | 1766 | Map<LambdaSymbolKind, Map<Symbol, Symbol>> translatedSymbols; |
rfield@1587 | 1767 | |
rfield@1380 | 1768 | /** the synthetic symbol for the method hoisting the translated lambda */ |
rfield@1380 | 1769 | Symbol translatedSym; |
rfield@1380 | 1770 | |
rfield@1380 | 1771 | List<JCVariableDecl> syntheticParams; |
rfield@1380 | 1772 | |
rfield@2381 | 1773 | /** |
rfield@2381 | 1774 | * to prevent recursion, track local classes processed |
rfield@2381 | 1775 | */ |
rfield@2381 | 1776 | final Set<Symbol> freeVarProcessedLocalClasses; |
rfield@2381 | 1777 | |
rfield@1380 | 1778 | LambdaTranslationContext(JCLambda tree) { |
rfield@1380 | 1779 | super(tree); |
rfield@1380 | 1780 | Frame frame = frameStack.head; |
rfield@2158 | 1781 | switch (frame.tree.getTag()) { |
rfield@2158 | 1782 | case VARDEF: |
rfield@2158 | 1783 | assignedTo = self = ((JCVariableDecl) frame.tree).sym; |
rfield@2158 | 1784 | break; |
rfield@2158 | 1785 | case ASSIGN: |
rfield@2158 | 1786 | self = null; |
rfield@2158 | 1787 | assignedTo = TreeInfo.symbol(((JCAssign) frame.tree).getVariable()); |
rfield@2158 | 1788 | break; |
rfield@2158 | 1789 | default: |
rfield@2158 | 1790 | assignedTo = self = null; |
rfield@2158 | 1791 | break; |
rfield@2158 | 1792 | } |
rfield@2158 | 1793 | |
rfield@2158 | 1794 | // This symbol will be filled-in in complete |
rfield@2158 | 1795 | this.translatedSym = makePrivateSyntheticMethod(0, null, null, owner.enclClass()); |
rfield@2158 | 1796 | |
mcimadamore@1817 | 1797 | if (dumpLambdaToMethodStats) { |
mcimadamore@1817 | 1798 | log.note(tree, "lambda.stat", needsAltMetafactory(), translatedSym); |
mcimadamore@1817 | 1799 | } |
ksrini@2155 | 1800 | translatedSymbols = new EnumMap<>(LambdaSymbolKind.class); |
ksrini@2155 | 1801 | |
ksrini@2155 | 1802 | translatedSymbols.put(PARAM, new LinkedHashMap<Symbol, Symbol>()); |
ksrini@2155 | 1803 | translatedSymbols.put(LOCAL_VAR, new LinkedHashMap<Symbol, Symbol>()); |
ksrini@2155 | 1804 | translatedSymbols.put(CAPTURED_VAR, new LinkedHashMap<Symbol, Symbol>()); |
ksrini@2155 | 1805 | translatedSymbols.put(CAPTURED_THIS, new LinkedHashMap<Symbol, Symbol>()); |
ksrini@2155 | 1806 | translatedSymbols.put(TYPE_VAR, new LinkedHashMap<Symbol, Symbol>()); |
rfield@2381 | 1807 | |
rfield@2381 | 1808 | freeVarProcessedLocalClasses = new HashSet<>(); |
rfield@1380 | 1809 | } |
rfield@1380 | 1810 | |
rfield@2158 | 1811 | /** |
rfield@2158 | 1812 | * For a serializable lambda, generate a disambiguating string |
rfield@2158 | 1813 | * which maximizes stability across deserialization. |
rfield@2158 | 1814 | * |
rfield@2158 | 1815 | * @return String to differentiate synthetic lambda method names |
rfield@2158 | 1816 | */ |
rfield@2158 | 1817 | private String serializedLambdaDisambiguation() { |
rfield@2158 | 1818 | StringBuilder buf = new StringBuilder(); |
rfield@2158 | 1819 | // Append the enclosing method signature to differentiate |
rfield@2158 | 1820 | // overloaded enclosing methods. For lambdas enclosed in |
rfield@2158 | 1821 | // lambdas, the generated lambda method will not have type yet, |
rfield@2158 | 1822 | // but the enclosing method's name will have been generated |
rfield@2158 | 1823 | // with this same method, so it will be unique and never be |
rfield@2158 | 1824 | // overloaded. |
rfield@2158 | 1825 | Assert.check( |
rfield@2158 | 1826 | owner.type != null || |
rfield@2158 | 1827 | directlyEnclosingLambda() != null); |
rfield@2158 | 1828 | if (owner.type != null) { |
rfield@2158 | 1829 | buf.append(typeSig(owner.type)); |
rfield@2158 | 1830 | buf.append(":"); |
rfield@2158 | 1831 | } |
rfield@2158 | 1832 | |
rfield@2158 | 1833 | // Add target type info |
rfield@2158 | 1834 | buf.append(types.findDescriptorSymbol(tree.type.tsym).owner.flatName()); |
rfield@2158 | 1835 | buf.append(" "); |
rfield@2158 | 1836 | |
rfield@2158 | 1837 | // Add variable assigned to |
rfield@2158 | 1838 | if (assignedTo != null) { |
rfield@2158 | 1839 | buf.append(assignedTo.flatName()); |
rfield@2158 | 1840 | buf.append("="); |
rfield@2158 | 1841 | } |
rfield@2158 | 1842 | //add captured locals info: type, name, order |
rfield@2158 | 1843 | for (Symbol fv : getSymbolMap(CAPTURED_VAR).keySet()) { |
rfield@2158 | 1844 | if (fv != self) { |
rfield@2158 | 1845 | buf.append(typeSig(fv.type)); |
rfield@2158 | 1846 | buf.append(" "); |
rfield@2158 | 1847 | buf.append(fv.flatName()); |
rfield@2158 | 1848 | buf.append(","); |
rfield@2158 | 1849 | } |
rfield@2158 | 1850 | } |
rfield@2158 | 1851 | |
rfield@2158 | 1852 | return buf.toString(); |
rfield@2158 | 1853 | } |
rfield@2158 | 1854 | |
rfield@2158 | 1855 | /** |
rfield@2158 | 1856 | * For a non-serializable lambda, generate a simple method. |
rfield@2158 | 1857 | * |
rfield@2158 | 1858 | * @return Name to use for the synthetic lambda method name |
rfield@2158 | 1859 | */ |
rfield@2158 | 1860 | private Name lambdaName() { |
rfield@2158 | 1861 | return names.lambda.append(names.fromString(enclosingMethodName() + "$" + lambdaCount++)); |
rfield@2158 | 1862 | } |
rfield@2158 | 1863 | |
rfield@2158 | 1864 | /** |
rfield@2158 | 1865 | * For a serializable lambda, generate a method name which maximizes |
rfield@2158 | 1866 | * name stability across deserialization. |
rfield@2158 | 1867 | * |
rfield@2158 | 1868 | * @return Name to use for the synthetic lambda method name |
rfield@2158 | 1869 | */ |
rfield@2158 | 1870 | private Name serializedLambdaName() { |
rfield@2158 | 1871 | StringBuilder buf = new StringBuilder(); |
rfield@2158 | 1872 | buf.append(names.lambda); |
rfield@2158 | 1873 | // Append the name of the method enclosing the lambda. |
rfield@2158 | 1874 | buf.append(enclosingMethodName()); |
rfield@2158 | 1875 | buf.append('$'); |
rfield@2158 | 1876 | // Append a hash of the disambiguating string : enclosing method |
rfield@2158 | 1877 | // signature, etc. |
rfield@2158 | 1878 | String disam = serializedLambdaDisambiguation(); |
rfield@2158 | 1879 | buf.append(Integer.toHexString(disam.hashCode())); |
rfield@2158 | 1880 | buf.append('$'); |
rfield@2158 | 1881 | // The above appended name components may not be unique, append |
rfield@2158 | 1882 | // a count based on the above name components. |
rfield@2158 | 1883 | buf.append(syntheticMethodNameCounts.getIndex(buf)); |
rfield@2158 | 1884 | String result = buf.toString(); |
rfield@2158 | 1885 | //System.err.printf("serializedLambdaName: %s -- %s\n", result, disam); |
rfield@2158 | 1886 | return names.fromString(result); |
rfield@2158 | 1887 | } |
rfield@2158 | 1888 | |
rfield@1380 | 1889 | /** |
rfield@1380 | 1890 | * Translate a symbol of a given kind into something suitable for the |
rfield@1380 | 1891 | * synthetic lambda body |
rfield@1380 | 1892 | */ |
mcimadamore@1652 | 1893 | Symbol translate(Name name, final Symbol sym, LambdaSymbolKind skind) { |
jjg@1755 | 1894 | Symbol ret; |
rfield@1587 | 1895 | switch (skind) { |
rfield@1587 | 1896 | case CAPTURED_THIS: |
jjg@1755 | 1897 | ret = sym; // self represented |
jjg@1755 | 1898 | break; |
rfield@1587 | 1899 | case TYPE_VAR: |
rfield@1587 | 1900 | // Just erase the type var |
jjg@1755 | 1901 | ret = new VarSymbol(sym.flags(), name, |
mcimadamore@1595 | 1902 | types.erasure(sym.type), sym.owner); |
vromero@2027 | 1903 | |
vromero@2027 | 1904 | /* this information should also be kept for LVT generation at Gen |
vromero@2027 | 1905 | * a Symbol with pos < startPos won't be tracked. |
vromero@2027 | 1906 | */ |
vromero@2027 | 1907 | ((VarSymbol)ret).pos = ((VarSymbol)sym).pos; |
jjg@1755 | 1908 | break; |
mcimadamore@1612 | 1909 | case CAPTURED_VAR: |
jjg@2146 | 1910 | ret = new VarSymbol(SYNTHETIC | FINAL | PARAMETER, name, types.erasure(sym.type), translatedSym) { |
mcimadamore@1612 | 1911 | @Override |
mcimadamore@1612 | 1912 | public Symbol baseSymbol() { |
mcimadamore@1612 | 1913 | //keep mapping with original captured symbol |
mcimadamore@1612 | 1914 | return sym; |
mcimadamore@1612 | 1915 | } |
mcimadamore@1612 | 1916 | }; |
jjg@1755 | 1917 | break; |
jjg@2146 | 1918 | case LOCAL_VAR: |
rfield@2380 | 1919 | ret = new VarSymbol(sym.flags() & FINAL, name, sym.type, translatedSym); |
jjg@2146 | 1920 | ((VarSymbol) ret).pos = ((VarSymbol) sym).pos; |
jjg@2146 | 1921 | break; |
jjg@2146 | 1922 | case PARAM: |
rfield@2358 | 1923 | ret = new VarSymbol((sym.flags() & FINAL) | PARAMETER, name, types.erasure(sym.type), translatedSym); |
jjg@2146 | 1924 | ((VarSymbol) ret).pos = ((VarSymbol) sym).pos; |
jjg@2146 | 1925 | break; |
rfield@1587 | 1926 | default: |
jjg@1755 | 1927 | ret = makeSyntheticVar(FINAL, name, types.erasure(sym.type), translatedSym); |
jjg@2146 | 1928 | ((VarSymbol) ret).pos = ((VarSymbol) sym).pos; |
rfield@1380 | 1929 | } |
jjg@1755 | 1930 | if (ret != sym) { |
jjg@1802 | 1931 | ret.setDeclarationAttributes(sym.getRawAttributes()); |
jjg@1802 | 1932 | ret.setTypeAttributes(sym.getRawTypeAttributes()); |
jjg@1755 | 1933 | } |
jjg@1755 | 1934 | return ret; |
rfield@1380 | 1935 | } |
rfield@1380 | 1936 | |
rfield@1380 | 1937 | void addSymbol(Symbol sym, LambdaSymbolKind skind) { |
ksrini@2155 | 1938 | Map<Symbol, Symbol> transMap = getSymbolMap(skind); |
mcimadamore@1652 | 1939 | Name preferredName; |
rfield@1380 | 1940 | switch (skind) { |
rfield@1380 | 1941 | case CAPTURED_THIS: |
ksrini@2155 | 1942 | preferredName = names.fromString("encl$" + transMap.size()); |
rfield@1380 | 1943 | break; |
rfield@1380 | 1944 | case CAPTURED_VAR: |
ksrini@2155 | 1945 | preferredName = names.fromString("cap$" + transMap.size()); |
rfield@1380 | 1946 | break; |
rfield@1380 | 1947 | case LOCAL_VAR: |
mcimadamore@1652 | 1948 | preferredName = sym.name; |
rfield@1380 | 1949 | break; |
rfield@1380 | 1950 | case PARAM: |
mcimadamore@1652 | 1951 | preferredName = sym.name; |
rfield@1380 | 1952 | break; |
rfield@1587 | 1953 | case TYPE_VAR: |
mcimadamore@1652 | 1954 | preferredName = sym.name; |
rfield@1587 | 1955 | break; |
rfield@1380 | 1956 | default: throw new AssertionError(); |
rfield@1380 | 1957 | } |
rfield@1380 | 1958 | if (!transMap.containsKey(sym)) { |
rfield@1380 | 1959 | transMap.put(sym, translate(preferredName, sym, skind)); |
rfield@1380 | 1960 | } |
rfield@1380 | 1961 | } |
rfield@1380 | 1962 | |
ksrini@2155 | 1963 | Map<Symbol, Symbol> getSymbolMap(LambdaSymbolKind skind) { |
ksrini@2155 | 1964 | Map<Symbol, Symbol> m = translatedSymbols.get(skind); |
ksrini@2155 | 1965 | Assert.checkNonNull(m); |
ksrini@2155 | 1966 | return m; |
ksrini@2155 | 1967 | } |
ksrini@2155 | 1968 | |
ksrini@2155 | 1969 | JCTree translate(JCIdent lambdaIdent) { |
ksrini@2155 | 1970 | for (Map<Symbol, Symbol> m : translatedSymbols.values()) { |
ksrini@2155 | 1971 | if (m.containsKey(lambdaIdent.sym)) { |
ksrini@2155 | 1972 | Symbol tSym = m.get(lambdaIdent.sym); |
ksrini@2155 | 1973 | JCTree t = make.Ident(tSym).setType(lambdaIdent.type); |
ksrini@2155 | 1974 | tSym.setTypeAttributes(lambdaIdent.sym.getRawTypeAttributes()); |
ksrini@2155 | 1975 | return t; |
rfield@1380 | 1976 | } |
rfield@1380 | 1977 | } |
ksrini@2155 | 1978 | return null; |
rfield@1380 | 1979 | } |
rfield@1380 | 1980 | |
rfield@1380 | 1981 | /** |
rfield@1380 | 1982 | * The translatedSym is not complete/accurate until the analysis is |
rfield@1380 | 1983 | * finished. Once the analysis is finished, the translatedSym is |
rfield@1380 | 1984 | * "completed" -- updated with type information, access modifiers, |
rfield@1380 | 1985 | * and full parameter list. |
rfield@1380 | 1986 | */ |
rfield@1380 | 1987 | void complete() { |
rfield@1380 | 1988 | if (syntheticParams != null) { |
rfield@1380 | 1989 | return; |
rfield@1380 | 1990 | } |
rfield@1380 | 1991 | boolean inInterface = translatedSym.owner.isInterface(); |
rfield@1380 | 1992 | boolean thisReferenced = !getSymbolMap(CAPTURED_THIS).isEmpty(); |
rfield@1380 | 1993 | |
rfield@1752 | 1994 | // If instance access isn't needed, make it static. |
rfield@1752 | 1995 | // Interface instance methods must be default methods. |
rfield@2107 | 1996 | // Lambda methods are private synthetic. |
rfield@2528 | 1997 | // Inherit ACC_STRICT from the enclosing method, or, for clinit, |
rfield@2528 | 1998 | // from the class. |
jjg@2146 | 1999 | translatedSym.flags_field = SYNTHETIC | LAMBDA_METHOD | |
rfield@2528 | 2000 | owner.flags_field & STRICTFP | |
rfield@2528 | 2001 | owner.owner.flags_field & STRICTFP | |
rfield@2107 | 2002 | PRIVATE | |
rfield@1752 | 2003 | (thisReferenced? (inInterface? DEFAULT : 0) : STATIC); |
rfield@1380 | 2004 | |
rfield@1380 | 2005 | //compute synthetic params |
alundblad@2047 | 2006 | ListBuffer<JCVariableDecl> params = new ListBuffer<>(); |
rfield@1380 | 2007 | |
rfield@1380 | 2008 | // The signature of the method is augmented with the following |
rfield@1380 | 2009 | // synthetic parameters: |
rfield@1380 | 2010 | // |
rfield@1380 | 2011 | // 1) reference to enclosing contexts captured by the lambda expression |
rfield@1380 | 2012 | // 2) enclosing locals captured by the lambda expression |
ksrini@2155 | 2013 | for (Symbol thisSym : getSymbolMap(CAPTURED_VAR).values()) { |
rfield@1380 | 2014 | params.append(make.VarDef((VarSymbol) thisSym, null)); |
rfield@1380 | 2015 | } |
ksrini@2155 | 2016 | for (Symbol thisSym : getSymbolMap(PARAM).values()) { |
ksrini@2155 | 2017 | params.append(make.VarDef((VarSymbol) thisSym, null)); |
ksrini@2155 | 2018 | } |
rfield@1380 | 2019 | syntheticParams = params.toList(); |
rfield@1380 | 2020 | |
rfield@2158 | 2021 | // Compute and set the lambda name |
rfield@2158 | 2022 | translatedSym.name = isSerializable() |
rfield@2158 | 2023 | ? serializedLambdaName() |
rfield@2158 | 2024 | : lambdaName(); |
rfield@2158 | 2025 | |
rfield@1380 | 2026 | //prepend synthetic args to translated lambda method signature |
rfield@1587 | 2027 | translatedSym.type = types.createMethodTypeWithParameters( |
rfield@1587 | 2028 | generatedLambdaSig(), |
rfield@1380 | 2029 | TreeInfo.types(syntheticParams)); |
rfield@1380 | 2030 | } |
rfield@1380 | 2031 | |
rfield@1380 | 2032 | Type generatedLambdaSig() { |
mcimadamore@1882 | 2033 | return types.erasure(tree.getDescriptorType(types)); |
rfield@1380 | 2034 | } |
rfield@1380 | 2035 | } |
rfield@1380 | 2036 | |
rfield@1380 | 2037 | /** |
rfield@1380 | 2038 | * This class retains all the useful information about a method reference; |
rfield@1380 | 2039 | * the contents of this class are filled by the LambdaAnalyzer visitor, |
rfield@1380 | 2040 | * and the used by the main translation routines in order to adjust method |
rfield@1380 | 2041 | * references (i.e. in case a bridge is needed) |
rfield@1380 | 2042 | */ |
rfield@1380 | 2043 | private class ReferenceTranslationContext extends TranslationContext<JCMemberReference> { |
rfield@1380 | 2044 | |
rfield@1380 | 2045 | final boolean isSuper; |
rfield@1380 | 2046 | final Symbol bridgeSym; |
rfield@2202 | 2047 | final Symbol sigPolySym; |
rfield@1380 | 2048 | |
rfield@1380 | 2049 | ReferenceTranslationContext(JCMemberReference tree) { |
rfield@1380 | 2050 | super(tree); |
rfield@1380 | 2051 | this.isSuper = tree.hasKind(ReferenceKind.SUPER); |
rfield@1380 | 2052 | this.bridgeSym = needsBridge() |
rfield@2107 | 2053 | ? makePrivateSyntheticMethod(isSuper ? 0 : STATIC, |
rfield@2158 | 2054 | referenceBridgeName(), null, |
rfield@1380 | 2055 | owner.enclClass()) |
rfield@1380 | 2056 | : null; |
rfield@2202 | 2057 | this.sigPolySym = isSignaturePolymorphic() |
rfield@2202 | 2058 | ? makePrivateSyntheticMethod(tree.sym.flags(), |
rfield@2202 | 2059 | tree.sym.name, |
rfield@2202 | 2060 | bridgedRefSig(), |
rfield@2202 | 2061 | tree.sym.enclClass()) |
rfield@2202 | 2062 | : null; |
mcimadamore@1817 | 2063 | if (dumpLambdaToMethodStats) { |
mcimadamore@1817 | 2064 | String key = bridgeSym == null ? |
mcimadamore@1817 | 2065 | "mref.stat" : "mref.stat.1"; |
mcimadamore@1817 | 2066 | log.note(tree, key, needsAltMetafactory(), bridgeSym); |
mcimadamore@1817 | 2067 | } |
rfield@1380 | 2068 | } |
rfield@1380 | 2069 | |
rfield@1380 | 2070 | /** |
rfield@1380 | 2071 | * Get the opcode associated with this method reference |
rfield@1380 | 2072 | */ |
rfield@1380 | 2073 | int referenceKind() { |
rfield@2158 | 2074 | return LambdaToMethod.this.referenceKind(needsBridge() |
rfield@2158 | 2075 | ? bridgeSym |
rfield@2158 | 2076 | : tree.sym); |
rfield@1380 | 2077 | } |
rfield@1380 | 2078 | |
rfield@1380 | 2079 | boolean needsVarArgsConversion() { |
rfield@1380 | 2080 | return tree.varargsElement != null; |
rfield@1380 | 2081 | } |
rfield@1380 | 2082 | |
rfield@1380 | 2083 | /** |
rfield@2158 | 2084 | * Generate a disambiguating string to increase stability (important |
rfield@2158 | 2085 | * if serialized) |
rfield@2158 | 2086 | * |
rfield@2158 | 2087 | * @return String to differentiate synthetic lambda method names |
rfield@2158 | 2088 | */ |
rfield@2158 | 2089 | private String referenceBridgeDisambiguation() { |
rfield@2158 | 2090 | StringBuilder buf = new StringBuilder(); |
rfield@2158 | 2091 | // Append the enclosing method signature to differentiate |
rfield@2158 | 2092 | // overloaded enclosing methods. |
rfield@2158 | 2093 | if (owner.type != null) { |
rfield@2158 | 2094 | buf.append(typeSig(owner.type)); |
rfield@2158 | 2095 | buf.append(":"); |
rfield@2158 | 2096 | } |
rfield@2158 | 2097 | |
rfield@2158 | 2098 | // Append qualifier type |
rfield@2158 | 2099 | buf.append(classSig(tree.sym.owner.type)); |
rfield@2158 | 2100 | |
rfield@2158 | 2101 | // Note static/instance |
rfield@2158 | 2102 | buf.append(tree.sym.isStatic()? " S " : " I "); |
rfield@2158 | 2103 | |
rfield@2158 | 2104 | // Append referenced signature |
rfield@2158 | 2105 | buf.append(typeSig(tree.sym.erasure(types))); |
rfield@2158 | 2106 | |
rfield@2158 | 2107 | return buf.toString(); |
rfield@2158 | 2108 | } |
rfield@2158 | 2109 | |
rfield@2158 | 2110 | /** |
rfield@2158 | 2111 | * Construct a unique stable name for the method reference bridge |
rfield@2158 | 2112 | * |
rfield@2158 | 2113 | * @return Name to use for the synthetic method name |
rfield@2158 | 2114 | */ |
rfield@2158 | 2115 | private Name referenceBridgeName() { |
rfield@2158 | 2116 | StringBuilder buf = new StringBuilder(); |
rfield@2158 | 2117 | // Append lambda ID, this is semantically significant |
rfield@2158 | 2118 | buf.append(names.lambda); |
rfield@2158 | 2119 | // Note that it is a method reference bridge |
rfield@2158 | 2120 | buf.append("MR$"); |
rfield@2158 | 2121 | // Append the enclosing method name |
rfield@2158 | 2122 | buf.append(enclosingMethodName()); |
rfield@2158 | 2123 | buf.append('$'); |
rfield@2158 | 2124 | // Append the referenced method name |
rfield@2158 | 2125 | buf.append(syntheticMethodNameComponent(tree.sym.name)); |
rfield@2158 | 2126 | buf.append('$'); |
rfield@2158 | 2127 | // Append a hash of the disambiguating string : enclosing method |
rfield@2158 | 2128 | // signature, etc. |
rfield@2158 | 2129 | String disam = referenceBridgeDisambiguation(); |
rfield@2158 | 2130 | buf.append(Integer.toHexString(disam.hashCode())); |
rfield@2158 | 2131 | buf.append('$'); |
rfield@2158 | 2132 | // The above appended name components may not be unique, append |
rfield@2158 | 2133 | // a count based on the above name components. |
rfield@2158 | 2134 | buf.append(syntheticMethodNameCounts.getIndex(buf)); |
rfield@2158 | 2135 | String result = buf.toString(); |
rfield@2158 | 2136 | return names.fromString(result); |
rfield@2158 | 2137 | } |
rfield@2158 | 2138 | |
rfield@2158 | 2139 | /** |
rfield@1380 | 2140 | * @return Is this an array operation like clone() |
rfield@1380 | 2141 | */ |
rfield@1380 | 2142 | boolean isArrayOp() { |
rfield@1380 | 2143 | return tree.sym.owner == syms.arrayClass; |
rfield@1380 | 2144 | } |
rfield@1380 | 2145 | |
mcimadamore@1615 | 2146 | boolean receiverAccessible() { |
mcimadamore@1615 | 2147 | //hack needed to workaround 292 bug (7087658) |
mcimadamore@1615 | 2148 | //when 292 issue is fixed we should remove this and change the backend |
mcimadamore@1615 | 2149 | //code to always generate a method handle to an accessible method |
mcimadamore@1615 | 2150 | return tree.ownerAccessible; |
mcimadamore@1615 | 2151 | } |
mcimadamore@1615 | 2152 | |
rfield@1380 | 2153 | /** |
rfield@2162 | 2154 | * The VM does not support access across nested classes (8010319). |
rfield@2162 | 2155 | * Were that ever to change, this should be removed. |
rfield@2162 | 2156 | */ |
rfield@2162 | 2157 | boolean isPrivateInOtherClass() { |
rfield@2162 | 2158 | return (tree.sym.flags() & PRIVATE) != 0 && |
rfield@2162 | 2159 | !types.isSameType( |
rfield@2162 | 2160 | types.erasure(tree.sym.enclClass().asType()), |
rfield@2162 | 2161 | types.erasure(owner.enclClass().asType())); |
rfield@2162 | 2162 | } |
rfield@2162 | 2163 | |
rfield@2162 | 2164 | /** |
rfield@2202 | 2165 | * Signature polymorphic methods need special handling. |
rfield@2202 | 2166 | * e.g. MethodHandle.invoke() MethodHandle.invokeExact() |
rfield@2202 | 2167 | */ |
rfield@2202 | 2168 | final boolean isSignaturePolymorphic() { |
rfield@2202 | 2169 | return tree.sym.kind == MTH && |
rfield@2202 | 2170 | types.isSignaturePolymorphic((MethodSymbol)tree.sym); |
rfield@2202 | 2171 | } |
rfield@2202 | 2172 | |
rfield@2202 | 2173 | /** |
rfield@1380 | 2174 | * Does this reference needs a bridge (i.e. var args need to be |
rfield@1380 | 2175 | * expanded or "super" is used) |
rfield@1380 | 2176 | */ |
rfield@1380 | 2177 | final boolean needsBridge() { |
mcimadamore@1615 | 2178 | return isSuper || needsVarArgsConversion() || isArrayOp() || |
rfield@2162 | 2179 | isPrivateInOtherClass() || |
rfield@2162 | 2180 | !receiverAccessible(); |
rfield@1380 | 2181 | } |
rfield@1380 | 2182 | |
rfield@1380 | 2183 | Type generatedRefSig() { |
rfield@1380 | 2184 | return types.erasure(tree.sym.type); |
rfield@1380 | 2185 | } |
rfield@1380 | 2186 | |
rfield@1380 | 2187 | Type bridgedRefSig() { |
mcimadamore@1882 | 2188 | return types.erasure(types.findDescriptorSymbol(tree.targets.head.tsym).type); |
rfield@1380 | 2189 | } |
rfield@1380 | 2190 | } |
rfield@1380 | 2191 | } |
rfield@1380 | 2192 | // </editor-fold> |
rfield@1380 | 2193 | |
ksrini@2155 | 2194 | /* |
ksrini@2155 | 2195 | * These keys provide mappings for various translated lambda symbols |
ksrini@2155 | 2196 | * and the prevailing order must be maintained. |
ksrini@2155 | 2197 | */ |
rfield@1380 | 2198 | enum LambdaSymbolKind { |
ksrini@2155 | 2199 | PARAM, // original to translated lambda parameters |
ksrini@2155 | 2200 | LOCAL_VAR, // original to translated lambda locals |
ksrini@2155 | 2201 | CAPTURED_VAR, // variables in enclosing scope to translated synthetic parameters |
ksrini@2155 | 2202 | CAPTURED_THIS, // class symbols to translated synthetic parameters (for captured member access) |
ksrini@2155 | 2203 | TYPE_VAR; // original to translated lambda type variables |
rfield@1587 | 2204 | } |
rfield@1587 | 2205 | |
rfield@1587 | 2206 | /** |
rfield@1587 | 2207 | * **************************************************************** |
rfield@1587 | 2208 | * Signature Generation |
rfield@1587 | 2209 | * **************************************************************** |
rfield@1587 | 2210 | */ |
rfield@1587 | 2211 | |
rfield@2158 | 2212 | private String typeSig(Type type) { |
rfield@1587 | 2213 | L2MSignatureGenerator sg = new L2MSignatureGenerator(); |
rfield@1587 | 2214 | sg.assembleSig(type); |
rfield@1587 | 2215 | return sg.toString(); |
rfield@1587 | 2216 | } |
rfield@1587 | 2217 | |
rfield@1587 | 2218 | private String classSig(Type type) { |
rfield@1587 | 2219 | L2MSignatureGenerator sg = new L2MSignatureGenerator(); |
rfield@1587 | 2220 | sg.assembleClassSig(type); |
rfield@1587 | 2221 | return sg.toString(); |
rfield@1587 | 2222 | } |
rfield@1587 | 2223 | |
rfield@1587 | 2224 | /** |
rfield@1587 | 2225 | * Signature Generation |
rfield@1587 | 2226 | */ |
rfield@1587 | 2227 | private class L2MSignatureGenerator extends Types.SignatureGenerator { |
rfield@1587 | 2228 | |
rfield@1587 | 2229 | /** |
rfield@1587 | 2230 | * An output buffer for type signatures. |
rfield@1587 | 2231 | */ |
rfield@1587 | 2232 | StringBuilder sb = new StringBuilder(); |
rfield@1587 | 2233 | |
rfield@1587 | 2234 | L2MSignatureGenerator() { |
rfield@1587 | 2235 | super(types); |
rfield@1587 | 2236 | } |
rfield@1587 | 2237 | |
rfield@1587 | 2238 | @Override |
rfield@1587 | 2239 | protected void append(char ch) { |
rfield@1587 | 2240 | sb.append(ch); |
rfield@1587 | 2241 | } |
rfield@1587 | 2242 | |
rfield@1587 | 2243 | @Override |
rfield@1587 | 2244 | protected void append(byte[] ba) { |
rfield@1587 | 2245 | sb.append(new String(ba)); |
rfield@1587 | 2246 | } |
rfield@1587 | 2247 | |
rfield@1587 | 2248 | @Override |
rfield@1587 | 2249 | protected void append(Name name) { |
rfield@1587 | 2250 | sb.append(name.toString()); |
rfield@1587 | 2251 | } |
rfield@1587 | 2252 | |
rfield@1587 | 2253 | @Override |
rfield@1587 | 2254 | public String toString() { |
rfield@1587 | 2255 | return sb.toString(); |
rfield@1587 | 2256 | } |
rfield@1380 | 2257 | } |
rfield@1380 | 2258 | } |