src/jdk/internal/dynalink/beans/OverloadedMethod.java

Mon, 18 Feb 2013 16:00:15 +0100

author
attila
date
Mon, 18 Feb 2013 16:00:15 +0100
changeset 101
f8221ce53c2e
parent 90
5a820fb11814
child 166
51da1afbab26
permissions
-rw-r--r--

8008371: Fix Dynalink compiler warnings and whitespace
Reviewed-by: jlaskey, sundar

attila@90 1 /*
attila@90 2 * Copyright (c) 2010, 2013, Oracle and/or its affiliates. All rights reserved.
attila@90 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
attila@90 4 *
attila@90 5 * This code is free software; you can redistribute it and/or modify it
attila@90 6 * under the terms of the GNU General Public License version 2 only, as
attila@90 7 * published by the Free Software Foundation. Oracle designates this
attila@90 8 * particular file as subject to the "Classpath" exception as provided
attila@90 9 * by Oracle in the LICENSE file that accompanied this code.
attila@90 10 *
attila@90 11 * This code is distributed in the hope that it will be useful, but WITHOUT
attila@90 12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
attila@90 13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
attila@90 14 * version 2 for more details (a copy is included in the LICENSE file that
attila@90 15 * accompanied this code).
attila@90 16 *
attila@90 17 * You should have received a copy of the GNU General Public License version
attila@90 18 * 2 along with this work; if not, write to the Free Software Foundation,
attila@90 19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
attila@90 20 *
attila@90 21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
attila@90 22 * or visit www.oracle.com if you need additional information or have any
attila@90 23 * questions.
attila@90 24 */
attila@90 25
attila@90 26 /*
attila@90 27 * This file is available under and governed by the GNU General Public
attila@90 28 * License version 2 only, as published by the Free Software Foundation.
attila@90 29 * However, the following notice accompanied the original version of this
attila@90 30 * file, and Oracle licenses the original version of this file under the BSD
attila@90 31 * license:
attila@90 32 */
attila@90 33 /*
attila@90 34 Copyright 2009-2013 Attila Szegedi
attila@90 35
attila@90 36 Licensed under both the Apache License, Version 2.0 (the "Apache License")
attila@90 37 and the BSD License (the "BSD License"), with licensee being free to
attila@90 38 choose either of the two at their discretion.
attila@90 39
attila@90 40 You may not use this file except in compliance with either the Apache
attila@90 41 License or the BSD License.
attila@90 42
attila@90 43 If you choose to use this file in compliance with the Apache License, the
attila@90 44 following notice applies to you:
attila@90 45
attila@90 46 You may obtain a copy of the Apache License at
attila@90 47
attila@90 48 http://www.apache.org/licenses/LICENSE-2.0
attila@90 49
attila@90 50 Unless required by applicable law or agreed to in writing, software
attila@90 51 distributed under the License is distributed on an "AS IS" BASIS,
attila@90 52 WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
attila@90 53 implied. See the License for the specific language governing
attila@90 54 permissions and limitations under the License.
attila@90 55
attila@90 56 If you choose to use this file in compliance with the BSD License, the
attila@90 57 following notice applies to you:
attila@90 58
attila@90 59 Redistribution and use in source and binary forms, with or without
attila@90 60 modification, are permitted provided that the following conditions are
attila@90 61 met:
attila@90 62 * Redistributions of source code must retain the above copyright
attila@90 63 notice, this list of conditions and the following disclaimer.
attila@90 64 * Redistributions in binary form must reproduce the above copyright
attila@90 65 notice, this list of conditions and the following disclaimer in the
attila@90 66 documentation and/or other materials provided with the distribution.
attila@90 67 * Neither the name of the copyright holder nor the names of
attila@90 68 contributors may be used to endorse or promote products derived from
attila@90 69 this software without specific prior written permission.
attila@90 70
attila@90 71 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
attila@90 72 IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
attila@90 73 TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
attila@90 74 PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL COPYRIGHT HOLDER
attila@90 75 BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
attila@90 76 CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
attila@90 77 SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
attila@90 78 BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
attila@90 79 WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
attila@90 80 OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
attila@90 81 ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
attila@90 82 */
attila@90 83
attila@90 84 package jdk.internal.dynalink.beans;
attila@90 85
attila@90 86 import java.lang.invoke.MethodHandle;
attila@90 87 import java.lang.invoke.MethodHandles;
attila@90 88 import java.lang.invoke.MethodType;
attila@90 89 import java.util.ArrayList;
attila@90 90 import java.util.Iterator;
attila@90 91 import java.util.List;
attila@90 92 import java.util.Map;
attila@90 93 import java.util.concurrent.ConcurrentHashMap;
attila@90 94 import jdk.internal.dynalink.linker.LinkerServices;
attila@90 95 import jdk.internal.dynalink.support.Lookup;
attila@90 96
attila@90 97 /**
attila@90 98 * Represents a subset of overloaded methods for a certain method name on a certain class. It can be either a fixarg or
attila@90 99 * a vararg subset depending on the subclass. The method is for a fixed number of arguments though (as it is generated
attila@90 100 * for a concrete call site). As such, all methods in the subset can be invoked with the specified number of arguments
attila@90 101 * (exactly matching for fixargs, or having less than or equal fixed arguments, for varargs).
attila@90 102 *
attila@90 103 * @author Attila Szegedi
attila@90 104 */
attila@90 105 class OverloadedMethod {
attila@90 106 private final Map<ClassString, MethodHandle> argTypesToMethods = new ConcurrentHashMap<>();
attila@90 107 private final OverloadedDynamicMethod parent;
attila@90 108 private final MethodType callSiteType;
attila@90 109 private final MethodHandle invoker;
attila@90 110 private final LinkerServices linkerServices;
attila@90 111 private final ArrayList<MethodHandle> fixArgMethods;
attila@90 112 private final ArrayList<MethodHandle> varArgMethods;
attila@90 113
attila@90 114 OverloadedMethod(List<MethodHandle> methodHandles, OverloadedDynamicMethod parent, MethodType callSiteType,
attila@90 115 LinkerServices linkerServices) {
attila@90 116 this.parent = parent;
attila@90 117 this.callSiteType = callSiteType;
attila@90 118 this.linkerServices = linkerServices;
attila@90 119
attila@90 120 fixArgMethods = new ArrayList<>(methodHandles.size());
attila@90 121 varArgMethods = new ArrayList<>(methodHandles.size());
attila@90 122 final int argNum = callSiteType.parameterCount();
attila@90 123 for(MethodHandle mh: methodHandles) {
attila@90 124 if(mh.isVarargsCollector()) {
attila@90 125 final MethodHandle asFixed = mh.asFixedArity();
attila@90 126 if(argNum == asFixed.type().parameterCount()) {
attila@90 127 fixArgMethods.add(asFixed);
attila@90 128 }
attila@90 129 varArgMethods.add(mh);
attila@90 130 } else {
attila@90 131 fixArgMethods.add(mh);
attila@90 132 }
attila@90 133 }
attila@90 134 fixArgMethods.trimToSize();
attila@90 135 varArgMethods.trimToSize();
attila@90 136
attila@90 137 final MethodHandle bound = SELECT_METHOD.bindTo(this);
attila@90 138 final MethodHandle collecting = SimpleDynamicMethod.collectArguments(bound, argNum).asType(
attila@90 139 callSiteType.changeReturnType(MethodHandle.class));
attila@90 140 invoker = MethodHandles.foldArguments(MethodHandles.exactInvoker(callSiteType), collecting);
attila@90 141 }
attila@90 142
attila@90 143 MethodHandle getInvoker() {
attila@90 144 return invoker;
attila@90 145 }
attila@90 146
attila@90 147 private static final MethodHandle SELECT_METHOD = Lookup.findOwnSpecial(MethodHandles.lookup(), "selectMethod",
attila@90 148 MethodHandle.class, Object[].class);
attila@90 149
attila@90 150 @SuppressWarnings("unused")
attila@90 151 private MethodHandle selectMethod(Object[] args) throws NoSuchMethodException {
attila@90 152 final Class<?>[] argTypes = new Class[args.length];
attila@90 153 for(int i = 0; i < argTypes.length; ++i) {
attila@90 154 final Object arg = args[i];
attila@90 155 argTypes[i] = arg == null ? callSiteType.parameterType(i) : arg.getClass();
attila@90 156 }
attila@90 157 final ClassString classString = new ClassString(argTypes);
attila@90 158 MethodHandle method = argTypesToMethods.get(classString);
attila@90 159 if(method == null) {
attila@90 160 List<MethodHandle> methods = classString.getMaximallySpecifics(fixArgMethods, linkerServices, false);
attila@90 161 if(methods.isEmpty()) {
attila@90 162 methods = classString.getMaximallySpecifics(varArgMethods, linkerServices, true);
attila@90 163 }
attila@90 164 switch(methods.size()) {
attila@90 165 case 0: {
attila@90 166 method = getNoSuchMethodThrower(argTypes);
attila@90 167 break;
attila@90 168 }
attila@90 169 case 1: {
attila@90 170 method = new SimpleDynamicMethod(methods.get(0)).getInvocation(callSiteType, linkerServices);
attila@90 171 break;
attila@90 172 }
attila@90 173 default: {
attila@90 174 // This is unfortunate - invocation time ambiguity. We can still save the day if
attila@90 175 method = getAmbiguousMethodThrower(argTypes, methods);
attila@90 176 break;
attila@90 177 }
attila@90 178 }
attila@90 179 // Avoid keeping references to unrelated classes; this ruins the performance a bit, but avoids class loader
attila@90 180 // memory leaks.
attila@90 181 if(classString.isVisibleFrom(parent.getClassLoader())) {
attila@90 182 argTypesToMethods.put(classString, method);
attila@90 183 }
attila@90 184 }
attila@90 185 return method;
attila@90 186 }
attila@90 187
attila@90 188 private MethodHandle getNoSuchMethodThrower(Class<?>[] argTypes) {
attila@90 189 return adaptThrower(MethodHandles.insertArguments(THROW_NO_SUCH_METHOD, 0, this, argTypes));
attila@90 190 }
attila@90 191
attila@90 192 private static final MethodHandle THROW_NO_SUCH_METHOD = Lookup.findOwnSpecial(MethodHandles.lookup(),
attila@90 193 "throwNoSuchMethod", void.class, Class[].class);
attila@90 194
attila@90 195 @SuppressWarnings("unused")
attila@90 196 private void throwNoSuchMethod(Class<?>[] argTypes) throws NoSuchMethodException {
attila@90 197 if(varArgMethods.isEmpty()) {
attila@90 198 throw new NoSuchMethodException("None of the fixed arity signatures " + getSignatureList(fixArgMethods) +
attila@90 199 " of method " + parent.getName() + " match the argument types " + argTypesString(argTypes));
attila@90 200 }
attila@90 201 throw new NoSuchMethodException("None of the fixed arity signatures " + getSignatureList(fixArgMethods) +
attila@90 202 " or the variable arity signatures " + getSignatureList(varArgMethods) + " of the method " +
attila@90 203 parent.getName() + " match the argument types " + argTypesString(argTypes));
attila@90 204 }
attila@90 205
attila@90 206 private MethodHandle getAmbiguousMethodThrower(Class<?>[] argTypes, List<MethodHandle> methods) {
attila@90 207 return adaptThrower(MethodHandles.insertArguments(THROW_AMBIGUOUS_METHOD, 0, this, argTypes, methods));
attila@90 208 }
attila@90 209
attila@90 210 private MethodHandle adaptThrower(MethodHandle rawThrower) {
attila@90 211 return MethodHandles.dropArguments(rawThrower, 0, callSiteType.parameterList()).asType(callSiteType);
attila@90 212 }
attila@90 213
attila@90 214 private static final MethodHandle THROW_AMBIGUOUS_METHOD = Lookup.findOwnSpecial(MethodHandles.lookup(),
attila@90 215 "throwAmbiguousMethod", void.class, Class[].class, List.class);
attila@90 216
attila@90 217 @SuppressWarnings("unused")
attila@90 218 private void throwAmbiguousMethod(Class<?>[] argTypes, List<MethodHandle> methods) throws NoSuchMethodException {
attila@90 219 final String arity = methods.get(0).isVarargsCollector() ? "variable" : "fixed";
attila@90 220 throw new NoSuchMethodException("Can't unambiguously select between " + arity + " arity signatures " +
attila@90 221 getSignatureList(methods) + " of the method " + parent.getName() + " for argument types " +
attila@90 222 argTypesString(argTypes));
attila@90 223 }
attila@90 224
attila@90 225 private static String argTypesString(Class<?>[] classes) {
attila@90 226 final StringBuilder b = new StringBuilder().append('[');
attila@90 227 appendTypes(b, classes, false);
attila@90 228 return b.append(']').toString();
attila@90 229 }
attila@90 230
attila@90 231 private static String getSignatureList(List<MethodHandle> methods) {
attila@90 232 final StringBuilder b = new StringBuilder().append('[');
attila@90 233 final Iterator<MethodHandle> it = methods.iterator();
attila@90 234 if(it.hasNext()) {
attila@90 235 appendSig(b, it.next());
attila@90 236 while(it.hasNext()) {
attila@90 237 appendSig(b.append(", "), it.next());
attila@90 238 }
attila@90 239 }
attila@90 240 return b.append(']').toString();
attila@90 241 }
attila@90 242
attila@90 243 private static void appendSig(StringBuilder b, MethodHandle m) {
attila@90 244 b.append('(');
attila@90 245 appendTypes(b, m.type().parameterArray(), m.isVarargsCollector());
attila@90 246 b.append(')');
attila@90 247 }
attila@90 248
attila@90 249 private static void appendTypes(StringBuilder b, Class<?>[] classes, boolean varArg) {
attila@90 250 final int l = classes.length;
attila@90 251 if(!varArg) {
attila@90 252 if(l > 1) {
attila@90 253 b.append(classes[1].getCanonicalName());
attila@90 254 for(int i = 2; i < l; ++i) {
attila@90 255 b.append(", ").append(classes[i].getCanonicalName());
attila@90 256 }
attila@90 257 }
attila@90 258 } else {
attila@90 259 for(int i = 1; i < l - 1; ++i) {
attila@90 260 b.append(classes[i].getCanonicalName()).append(", ");
attila@90 261 }
attila@90 262 b.append(classes[l - 1].getComponentType().getCanonicalName()).append("...");
attila@90 263 }
attila@90 264 }
attila@101 265 }

mercurial