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