Fri, 23 Aug 2013 14:16:16 +0200
8023550: -d option was broken for any dir but '.'. Fixed Java warnings.
Reviewed-by: jlaskey, sundar
1 /*
2 * Copyright (c) 2010, 2013, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation. Oracle designates this
8 * particular file as subject to the "Classpath" exception as provided
9 * by Oracle in the LICENSE file that accompanied this code.
10 *
11 * This code is distributed in the hope that it will be useful, but WITHOUT
12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 * version 2 for more details (a copy is included in the LICENSE file that
15 * accompanied this code).
16 *
17 * You should have received a copy of the GNU General Public License version
18 * 2 along with this work; if not, write to the Free Software Foundation,
19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
20 *
21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
22 * or visit www.oracle.com if you need additional information or have any
23 * questions.
24 */
26 /*
27 * This file is available under and governed by the GNU General Public
28 * License version 2 only, as published by the Free Software Foundation.
29 * However, the following notice accompanied the original version of this
30 * file, and Oracle licenses the original version of this file under the BSD
31 * license:
32 */
33 /*
34 Copyright 2009-2013 Attila Szegedi
36 Licensed under both the Apache License, Version 2.0 (the "Apache License")
37 and the BSD License (the "BSD License"), with licensee being free to
38 choose either of the two at their discretion.
40 You may not use this file except in compliance with either the Apache
41 License or the BSD License.
43 If you choose to use this file in compliance with the Apache License, the
44 following notice applies to you:
46 You may obtain a copy of the Apache License at
48 http://www.apache.org/licenses/LICENSE-2.0
50 Unless required by applicable law or agreed to in writing, software
51 distributed under the License is distributed on an "AS IS" BASIS,
52 WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
53 implied. See the License for the specific language governing
54 permissions and limitations under the License.
56 If you choose to use this file in compliance with the BSD License, the
57 following notice applies to you:
59 Redistribution and use in source and binary forms, with or without
60 modification, are permitted provided that the following conditions are
61 met:
62 * Redistributions of source code must retain the above copyright
63 notice, this list of conditions and the following disclaimer.
64 * Redistributions in binary form must reproduce the above copyright
65 notice, this list of conditions and the following disclaimer in the
66 documentation and/or other materials provided with the distribution.
67 * Neither the name of the copyright holder nor the names of
68 contributors may be used to endorse or promote products derived from
69 this software without specific prior written permission.
71 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
72 IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
73 TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
74 PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL COPYRIGHT HOLDER
75 BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
76 CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
77 SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
78 BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
79 WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
80 OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
81 ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
82 */
84 package jdk.internal.dynalink.beans;
86 import java.lang.invoke.MethodHandle;
87 import java.lang.invoke.MethodHandles;
88 import java.lang.invoke.MethodType;
89 import java.util.ArrayList;
90 import java.util.Iterator;
91 import java.util.LinkedList;
92 import java.util.List;
93 import jdk.internal.dynalink.CallSiteDescriptor;
94 import jdk.internal.dynalink.beans.ApplicableOverloadedMethods.ApplicabilityTest;
95 import jdk.internal.dynalink.linker.LinkerServices;
96 import jdk.internal.dynalink.support.TypeUtilities;
98 /**
99 * Represents a group of {@link SingleDynamicMethod} objects that represents all overloads of a particular name (or all
100 * constructors) for a particular class. Correctly handles overload resolution, variable arity methods, and caller
101 * sensitive methods within the overloads.
102 *
103 * @author Attila Szegedi
104 */
105 class OverloadedDynamicMethod extends DynamicMethod {
106 /**
107 * Holds a list of all methods.
108 */
109 private final LinkedList<SingleDynamicMethod> methods;
110 private final ClassLoader classLoader;
112 /**
113 * Creates a new overloaded dynamic method.
114 *
115 * @param clazz the class this method belongs to
116 * @param name the name of the method
117 */
118 OverloadedDynamicMethod(Class<?> clazz, String name) {
119 this(new LinkedList<SingleDynamicMethod>(), clazz.getClassLoader(), getClassAndMethodName(clazz, name));
120 }
122 private OverloadedDynamicMethod(LinkedList<SingleDynamicMethod> methods, ClassLoader classLoader, String name) {
123 super(name);
124 this.methods = methods;
125 this.classLoader = classLoader;
126 }
128 @Override
129 SingleDynamicMethod getMethodForExactParamTypes(String paramTypes) {
130 final LinkedList<SingleDynamicMethod> matchingMethods = new LinkedList<>();
131 for(SingleDynamicMethod method: methods) {
132 final SingleDynamicMethod matchingMethod = method.getMethodForExactParamTypes(paramTypes);
133 if(matchingMethod != null) {
134 matchingMethods.add(matchingMethod);
135 }
136 }
137 switch(matchingMethods.size()) {
138 case 0: {
139 return null;
140 }
141 case 1: {
142 return matchingMethods.getFirst();
143 }
144 default: {
145 throw new BootstrapMethodError("Can't choose among " + matchingMethods + " for argument types "
146 + paramTypes + " for method " + getName());
147 }
148 }
149 }
151 @SuppressWarnings("fallthrough")
152 @Override
153 public MethodHandle getInvocation(final CallSiteDescriptor callSiteDescriptor, final LinkerServices linkerServices) {
154 final MethodType callSiteType = callSiteDescriptor.getMethodType();
155 // First, find all methods applicable to the call site by subtyping (JLS 15.12.2.2)
156 final ApplicableOverloadedMethods subtypingApplicables = getApplicables(callSiteType,
157 ApplicableOverloadedMethods.APPLICABLE_BY_SUBTYPING);
158 // Next, find all methods applicable by method invocation conversion to the call site (JLS 15.12.2.3).
159 final ApplicableOverloadedMethods methodInvocationApplicables = getApplicables(callSiteType,
160 ApplicableOverloadedMethods.APPLICABLE_BY_METHOD_INVOCATION_CONVERSION);
161 // Finally, find all methods applicable by variable arity invocation. (JLS 15.12.2.4).
162 final ApplicableOverloadedMethods variableArityApplicables = getApplicables(callSiteType,
163 ApplicableOverloadedMethods.APPLICABLE_BY_VARIABLE_ARITY);
165 // Find the methods that are maximally specific based on the call site signature
166 List<SingleDynamicMethod> maximallySpecifics = subtypingApplicables.findMaximallySpecificMethods();
167 if(maximallySpecifics.isEmpty()) {
168 maximallySpecifics = methodInvocationApplicables.findMaximallySpecificMethods();
169 if(maximallySpecifics.isEmpty()) {
170 maximallySpecifics = variableArityApplicables.findMaximallySpecificMethods();
171 }
172 }
174 // Now, get a list of the rest of the methods; those that are *not* applicable to the call site signature based
175 // on JLS rules. As paradoxical as that might sound, we have to consider these for dynamic invocation, as they
176 // might match more concrete types passed in invocations. That's why we provisionally call them "invokables".
177 // This is typical for very generic signatures at call sites. Typical example: call site specifies
178 // (Object, Object), and we have a method whose parameter types are (String, int). None of the JLS applicability
179 // rules will trigger, but we must consider the method, as it can be the right match for a concrete invocation.
180 @SuppressWarnings({ "unchecked", "rawtypes" })
181 final List<SingleDynamicMethod> invokables = (List)methods.clone();
182 invokables.removeAll(subtypingApplicables.getMethods());
183 invokables.removeAll(methodInvocationApplicables.getMethods());
184 invokables.removeAll(variableArityApplicables.getMethods());
185 for(final Iterator<SingleDynamicMethod> it = invokables.iterator(); it.hasNext();) {
186 final SingleDynamicMethod m = it.next();
187 if(!isApplicableDynamically(linkerServices, callSiteType, m)) {
188 it.remove();
189 }
190 }
192 // If no additional methods can apply at invocation time, and there's more than one maximally specific method
193 // based on call site signature, that is a link-time ambiguity. In a static scenario, javac would report an
194 // ambiguity error.
195 if(invokables.isEmpty() && maximallySpecifics.size() > 1) {
196 throw new BootstrapMethodError("Can't choose among " + maximallySpecifics + " for argument types "
197 + callSiteType);
198 }
200 // Merge them all.
201 invokables.addAll(maximallySpecifics);
202 switch(invokables.size()) {
203 case 0: {
204 // No overloads can ever match the call site type
205 return null;
206 }
207 case 1: {
208 // Very lucky, we ended up with a single candidate method handle based on the call site signature; we
209 // can link it very simply by delegating to the SingleDynamicMethod.
210 invokables.iterator().next().getInvocation(callSiteDescriptor, linkerServices);
211 }
212 default: {
213 // We have more than one candidate. We have no choice but to link to a method that resolves overloads on
214 // every invocation (alternatively, we could opportunistically link the one method that resolves for the
215 // current arguments, but we'd need to install a fairly complex guard for that and when it'd fail, we'd
216 // go back all the way to candidate selection. Note that we're resolving any potential caller sensitive
217 // methods here to their handles, as the OverloadedMethod instance is specific to a call site, so it
218 // has an already determined Lookup.
219 final List<MethodHandle> methodHandles = new ArrayList<>(invokables.size());
220 final MethodHandles.Lookup lookup = callSiteDescriptor.getLookup();
221 for(SingleDynamicMethod method: invokables) {
222 methodHandles.add(method.getTarget(lookup));
223 }
224 return new OverloadedMethod(methodHandles, this, callSiteType, linkerServices).getInvoker();
225 }
226 }
228 }
230 @Override
231 public boolean contains(SingleDynamicMethod m) {
232 for(SingleDynamicMethod method: methods) {
233 if(method.contains(m)) {
234 return true;
235 }
236 }
237 return false;
238 }
240 ClassLoader getClassLoader() {
241 return classLoader;
242 }
244 private static boolean isApplicableDynamically(LinkerServices linkerServices, MethodType callSiteType,
245 SingleDynamicMethod m) {
246 final MethodType methodType = m.getMethodType();
247 final boolean varArgs = m.isVarArgs();
248 final int fixedArgLen = methodType.parameterCount() - (varArgs ? 1 : 0);
249 final int callSiteArgLen = callSiteType.parameterCount();
251 // Arity checks
252 if(varArgs) {
253 if(callSiteArgLen < fixedArgLen) {
254 return false;
255 }
256 } else if(callSiteArgLen != fixedArgLen) {
257 return false;
258 }
260 // Fixed arguments type checks, starting from 1, as receiver type doesn't participate
261 for(int i = 1; i < fixedArgLen; ++i) {
262 if(!isApplicableDynamically(linkerServices, callSiteType.parameterType(i), methodType.parameterType(i))) {
263 return false;
264 }
265 }
266 if(!varArgs) {
267 // Not vararg; both arity and types matched.
268 return true;
269 }
271 final Class<?> varArgArrayType = methodType.parameterType(fixedArgLen);
272 final Class<?> varArgType = varArgArrayType.getComponentType();
274 if(fixedArgLen == callSiteArgLen - 1) {
275 // Exactly one vararg; check both array type matching and array component type matching.
276 final Class<?> callSiteArgType = callSiteType.parameterType(fixedArgLen);
277 return isApplicableDynamically(linkerServices, callSiteArgType, varArgArrayType)
278 || isApplicableDynamically(linkerServices, callSiteArgType, varArgType);
279 }
281 // Either zero, or more than one vararg; check if all actual vararg types match the vararg array component type.
282 for(int i = fixedArgLen; i < callSiteArgLen; ++i) {
283 if(!isApplicableDynamically(linkerServices, callSiteType.parameterType(i), varArgType)) {
284 return false;
285 }
286 }
288 return true;
289 }
291 private static boolean isApplicableDynamically(LinkerServices linkerServices, Class<?> callSiteType,
292 Class<?> methodType) {
293 return TypeUtilities.isPotentiallyConvertible(callSiteType, methodType)
294 || linkerServices.canConvert(callSiteType, methodType);
295 }
297 private ApplicableOverloadedMethods getApplicables(MethodType callSiteType, ApplicabilityTest test) {
298 return new ApplicableOverloadedMethods(methods, callSiteType, test);
299 }
301 /**
302 * Add a method to this overloaded method's set.
303 *
304 * @param method a method to add
305 */
306 public void addMethod(SingleDynamicMethod method) {
307 methods.add(method);
308 }
309 }