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

Wed, 27 Apr 2016 01:36:41 +0800

author
aoqi
date
Wed, 27 Apr 2016 01:36:41 +0800
changeset 0
b1a7da25b547
child 952
6d5471a497fb
permissions
-rw-r--r--

Initial load
http://hg.openjdk.java.net/jdk8u/jdk8u/nashorn/
changeset: 1034:4b9cc65dd24d
tag: jdk8u25-b17

aoqi@0 1 /*
aoqi@0 2 * Copyright (c) 2010, 2013, Oracle and/or its affiliates. All rights reserved.
aoqi@0 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
aoqi@0 4 *
aoqi@0 5 * This code is free software; you can redistribute it and/or modify it
aoqi@0 6 * under the terms of the GNU General Public License version 2 only, as
aoqi@0 7 * published by the Free Software Foundation. Oracle designates this
aoqi@0 8 * particular file as subject to the "Classpath" exception as provided
aoqi@0 9 * by Oracle in the LICENSE file that accompanied this code.
aoqi@0 10 *
aoqi@0 11 * This code is distributed in the hope that it will be useful, but WITHOUT
aoqi@0 12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
aoqi@0 13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
aoqi@0 14 * version 2 for more details (a copy is included in the LICENSE file that
aoqi@0 15 * accompanied this code).
aoqi@0 16 *
aoqi@0 17 * You should have received a copy of the GNU General Public License version
aoqi@0 18 * 2 along with this work; if not, write to the Free Software Foundation,
aoqi@0 19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
aoqi@0 20 *
aoqi@0 21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
aoqi@0 22 * or visit www.oracle.com if you need additional information or have any
aoqi@0 23 * questions.
aoqi@0 24 */
aoqi@0 25
aoqi@0 26 /*
aoqi@0 27 * This file is available under and governed by the GNU General Public
aoqi@0 28 * License version 2 only, as published by the Free Software Foundation.
aoqi@0 29 * However, the following notice accompanied the original version of this
aoqi@0 30 * file, and Oracle licenses the original version of this file under the BSD
aoqi@0 31 * license:
aoqi@0 32 */
aoqi@0 33 /*
aoqi@0 34 Copyright 2009-2013 Attila Szegedi
aoqi@0 35
aoqi@0 36 Licensed under both the Apache License, Version 2.0 (the "Apache License")
aoqi@0 37 and the BSD License (the "BSD License"), with licensee being free to
aoqi@0 38 choose either of the two at their discretion.
aoqi@0 39
aoqi@0 40 You may not use this file except in compliance with either the Apache
aoqi@0 41 License or the BSD License.
aoqi@0 42
aoqi@0 43 If you choose to use this file in compliance with the Apache License, the
aoqi@0 44 following notice applies to you:
aoqi@0 45
aoqi@0 46 You may obtain a copy of the Apache License at
aoqi@0 47
aoqi@0 48 http://www.apache.org/licenses/LICENSE-2.0
aoqi@0 49
aoqi@0 50 Unless required by applicable law or agreed to in writing, software
aoqi@0 51 distributed under the License is distributed on an "AS IS" BASIS,
aoqi@0 52 WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
aoqi@0 53 implied. See the License for the specific language governing
aoqi@0 54 permissions and limitations under the License.
aoqi@0 55
aoqi@0 56 If you choose to use this file in compliance with the BSD License, the
aoqi@0 57 following notice applies to you:
aoqi@0 58
aoqi@0 59 Redistribution and use in source and binary forms, with or without
aoqi@0 60 modification, are permitted provided that the following conditions are
aoqi@0 61 met:
aoqi@0 62 * Redistributions of source code must retain the above copyright
aoqi@0 63 notice, this list of conditions and the following disclaimer.
aoqi@0 64 * Redistributions in binary form must reproduce the above copyright
aoqi@0 65 notice, this list of conditions and the following disclaimer in the
aoqi@0 66 documentation and/or other materials provided with the distribution.
aoqi@0 67 * Neither the name of the copyright holder nor the names of
aoqi@0 68 contributors may be used to endorse or promote products derived from
aoqi@0 69 this software without specific prior written permission.
aoqi@0 70
aoqi@0 71 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
aoqi@0 72 IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
aoqi@0 73 TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
aoqi@0 74 PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL COPYRIGHT HOLDER
aoqi@0 75 BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
aoqi@0 76 CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
aoqi@0 77 SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
aoqi@0 78 BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
aoqi@0 79 WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
aoqi@0 80 OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
aoqi@0 81 ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
aoqi@0 82 */
aoqi@0 83
aoqi@0 84 package jdk.internal.dynalink.beans;
aoqi@0 85
aoqi@0 86 import java.lang.invoke.MethodType;
aoqi@0 87 import java.util.LinkedList;
aoqi@0 88 import java.util.List;
aoqi@0 89 import jdk.internal.dynalink.support.TypeUtilities;
aoqi@0 90
aoqi@0 91 /**
aoqi@0 92 * Represents overloaded methods applicable to a specific call site signature.
aoqi@0 93 *
aoqi@0 94 * @author Attila Szegedi
aoqi@0 95 */
aoqi@0 96 class ApplicableOverloadedMethods {
aoqi@0 97 private final List<SingleDynamicMethod> methods;
aoqi@0 98 private final boolean varArgs;
aoqi@0 99
aoqi@0 100 /**
aoqi@0 101 * Creates a new ApplicableOverloadedMethods instance
aoqi@0 102 *
aoqi@0 103 * @param methods a list of all overloaded methods with the same name for a class.
aoqi@0 104 * @param callSiteType the type of the call site
aoqi@0 105 * @param test applicability test. One of {@link #APPLICABLE_BY_SUBTYPING},
aoqi@0 106 * {@link #APPLICABLE_BY_METHOD_INVOCATION_CONVERSION}, or {@link #APPLICABLE_BY_VARIABLE_ARITY}.
aoqi@0 107 */
aoqi@0 108 ApplicableOverloadedMethods(final List<SingleDynamicMethod> methods, final MethodType callSiteType,
aoqi@0 109 final ApplicabilityTest test) {
aoqi@0 110 this.methods = new LinkedList<>();
aoqi@0 111 for(SingleDynamicMethod m: methods) {
aoqi@0 112 if(test.isApplicable(callSiteType, m)) {
aoqi@0 113 this.methods.add(m);
aoqi@0 114 }
aoqi@0 115 }
aoqi@0 116 varArgs = test == APPLICABLE_BY_VARIABLE_ARITY;
aoqi@0 117 }
aoqi@0 118
aoqi@0 119 /**
aoqi@0 120 * Retrieves all the methods this object holds.
aoqi@0 121 *
aoqi@0 122 * @return list of all methods.
aoqi@0 123 */
aoqi@0 124 List<SingleDynamicMethod> getMethods() {
aoqi@0 125 return methods;
aoqi@0 126 }
aoqi@0 127
aoqi@0 128 /**
aoqi@0 129 * Returns a list of all methods in this objects that are maximally specific.
aoqi@0 130 *
aoqi@0 131 * @return a list of maximally specific methods.
aoqi@0 132 */
aoqi@0 133 List<SingleDynamicMethod> findMaximallySpecificMethods() {
aoqi@0 134 return MaximallySpecific.getMaximallySpecificMethods(methods, varArgs);
aoqi@0 135 }
aoqi@0 136
aoqi@0 137 abstract static class ApplicabilityTest {
aoqi@0 138 abstract boolean isApplicable(MethodType callSiteType, SingleDynamicMethod method);
aoqi@0 139 }
aoqi@0 140
aoqi@0 141 /**
aoqi@0 142 * Implements the applicability-by-subtyping test from JLS 15.12.2.2.
aoqi@0 143 */
aoqi@0 144 static final ApplicabilityTest APPLICABLE_BY_SUBTYPING = new ApplicabilityTest() {
aoqi@0 145 @Override
aoqi@0 146 boolean isApplicable(MethodType callSiteType, SingleDynamicMethod method) {
aoqi@0 147 final MethodType methodType = method.getMethodType();
aoqi@0 148 final int methodArity = methodType.parameterCount();
aoqi@0 149 if(methodArity != callSiteType.parameterCount()) {
aoqi@0 150 return false;
aoqi@0 151 }
aoqi@0 152 // 0th arg is receiver; it doesn't matter for overload
aoqi@0 153 // resolution.
aoqi@0 154 for(int i = 1; i < methodArity; ++i) {
aoqi@0 155 if(!TypeUtilities.isSubtype(callSiteType.parameterType(i), methodType.parameterType(i))) {
aoqi@0 156 return false;
aoqi@0 157 }
aoqi@0 158 }
aoqi@0 159 return true;
aoqi@0 160 }
aoqi@0 161 };
aoqi@0 162
aoqi@0 163 /**
aoqi@0 164 * Implements the applicability-by-method-invocation-conversion test from JLS 15.12.2.3.
aoqi@0 165 */
aoqi@0 166 static final ApplicabilityTest APPLICABLE_BY_METHOD_INVOCATION_CONVERSION = new ApplicabilityTest() {
aoqi@0 167 @Override
aoqi@0 168 boolean isApplicable(MethodType callSiteType, SingleDynamicMethod method) {
aoqi@0 169 final MethodType methodType = method.getMethodType();
aoqi@0 170 final int methodArity = methodType.parameterCount();
aoqi@0 171 if(methodArity != callSiteType.parameterCount()) {
aoqi@0 172 return false;
aoqi@0 173 }
aoqi@0 174 // 0th arg is receiver; it doesn't matter for overload
aoqi@0 175 // resolution.
aoqi@0 176 for(int i = 1; i < methodArity; ++i) {
aoqi@0 177 if(!TypeUtilities.isMethodInvocationConvertible(callSiteType.parameterType(i),
aoqi@0 178 methodType.parameterType(i))) {
aoqi@0 179 return false;
aoqi@0 180 }
aoqi@0 181 }
aoqi@0 182 return true;
aoqi@0 183 }
aoqi@0 184 };
aoqi@0 185
aoqi@0 186 /**
aoqi@0 187 * Implements the applicability-by-variable-arity test from JLS 15.12.2.4.
aoqi@0 188 */
aoqi@0 189 static final ApplicabilityTest APPLICABLE_BY_VARIABLE_ARITY = new ApplicabilityTest() {
aoqi@0 190 @Override
aoqi@0 191 boolean isApplicable(MethodType callSiteType, SingleDynamicMethod method) {
aoqi@0 192 if(!method.isVarArgs()) {
aoqi@0 193 return false;
aoqi@0 194 }
aoqi@0 195 final MethodType methodType = method.getMethodType();
aoqi@0 196 final int methodArity = methodType.parameterCount();
aoqi@0 197 final int fixArity = methodArity - 1;
aoqi@0 198 final int callSiteArity = callSiteType.parameterCount();
aoqi@0 199 if(fixArity > callSiteArity) {
aoqi@0 200 return false;
aoqi@0 201 }
aoqi@0 202 // 0th arg is receiver; it doesn't matter for overload
aoqi@0 203 // resolution.
aoqi@0 204 for(int i = 1; i < fixArity; ++i) {
aoqi@0 205 if(!TypeUtilities.isMethodInvocationConvertible(callSiteType.parameterType(i),
aoqi@0 206 methodType.parameterType(i))) {
aoqi@0 207 return false;
aoqi@0 208 }
aoqi@0 209 }
aoqi@0 210 final Class<?> varArgType = methodType.parameterType(fixArity).getComponentType();
aoqi@0 211 for(int i = fixArity; i < callSiteArity; ++i) {
aoqi@0 212 if(!TypeUtilities.isMethodInvocationConvertible(callSiteType.parameterType(i), varArgType)) {
aoqi@0 213 return false;
aoqi@0 214 }
aoqi@0 215 }
aoqi@0 216 return true;
aoqi@0 217 }
aoqi@0 218 };
aoqi@0 219 }

mercurial