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

Wed, 27 Feb 2013 15:20:26 +0100

author
attila
date
Wed, 27 Feb 2013 15:20:26 +0100
changeset 123
071e859b371e
parent 101
f8221ce53c2e
child 404
18d467e94150
permissions
-rw-r--r--

8009143: Eliminate Dynalink dependency on java.beans
Reviewed-by: jlaskey, lagergren, 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.lang.reflect.Field;
attila@90 90 import java.lang.reflect.Method;
attila@90 91 import java.lang.reflect.Modifier;
attila@90 92 import java.util.HashMap;
attila@90 93 import java.util.List;
attila@90 94 import java.util.Map;
attila@90 95 import jdk.internal.dynalink.CallSiteDescriptor;
attila@90 96 import jdk.internal.dynalink.beans.GuardedInvocationComponent.ValidationType;
attila@90 97 import jdk.internal.dynalink.linker.GuardedInvocation;
attila@90 98 import jdk.internal.dynalink.linker.GuardingDynamicLinker;
attila@90 99 import jdk.internal.dynalink.linker.LinkRequest;
attila@90 100 import jdk.internal.dynalink.linker.LinkerServices;
attila@90 101 import jdk.internal.dynalink.support.CallSiteDescriptorFactory;
attila@90 102 import jdk.internal.dynalink.support.Guards;
attila@90 103 import jdk.internal.dynalink.support.Lookup;
attila@90 104
attila@90 105 /**
attila@90 106 * A base class for both {@link StaticClassLinker} and {@link BeanLinker}. Deals with common aspects of property
attila@90 107 * exposure and method calls for both static and instance facets of a class.
attila@90 108 *
attila@90 109 * @author Attila Szegedi
attila@90 110 */
attila@90 111 abstract class AbstractJavaLinker implements GuardingDynamicLinker {
attila@90 112 final Class<?> clazz;
attila@90 113 private final MethodHandle classGuard;
attila@90 114 private final MethodHandle assignableGuard;
attila@90 115 private final Map<String, AnnotatedMethodHandle> propertyGetters = new HashMap<>();
attila@90 116 private final Map<String, DynamicMethod> propertySetters = new HashMap<>();
attila@90 117 private final Map<String, DynamicMethod> methods = new HashMap<>();
attila@90 118
attila@90 119 AbstractJavaLinker(Class<?> clazz, MethodHandle classGuard) {
attila@90 120 this(clazz, classGuard, classGuard);
attila@90 121 }
attila@90 122
attila@90 123 AbstractJavaLinker(Class<?> clazz, MethodHandle classGuard, MethodHandle assignableGuard) {
attila@90 124 this.clazz = clazz;
attila@90 125 this.classGuard = classGuard;
attila@90 126 this.assignableGuard = assignableGuard;
attila@90 127
attila@90 128 final FacetIntrospector introspector = createFacetIntrospector();
attila@101 129 // Add methods and properties
attila@101 130 for(Method method: introspector.getMethods()) {
attila@101 131 final String name = method.getName();
attila@101 132 final MethodHandle methodHandle = introspector.unreflect(method);
attila@101 133 // Add method
attila@101 134 addMember(name, methodHandle, methods);
attila@101 135 // Add the method as a property getter and/or setter
attila@101 136 if(name.startsWith("get") && name.length() > 3 && method.getParameterTypes().length == 0) {
attila@101 137 // Property getter
attila@123 138 setPropertyGetter(decapitalize(name.substring(3)), introspector.unreflect(
attila@101 139 getMostGenericGetter(method)), ValidationType.INSTANCE_OF);
attila@101 140 } else if(name.startsWith("is") && name.length() > 2 && method.getParameterTypes().length == 0 &&
attila@101 141 method.getReturnType() == boolean.class) {
attila@101 142 // Boolean property getter
attila@123 143 setPropertyGetter(decapitalize(name.substring(2)), introspector.unreflect(
attila@101 144 getMostGenericGetter(method)), ValidationType.INSTANCE_OF);
attila@101 145 } else if(name.startsWith("set") && name.length() > 3 && method.getParameterTypes().length == 1) {
attila@101 146 // Property setter
attila@123 147 addMember(decapitalize(name.substring(3)), methodHandle, propertySetters);
attila@90 148 }
attila@101 149 }
attila@90 150
attila@101 151 // Add field getter/setters as property getters/setters.
attila@101 152 for(Field field: introspector.getFields()) {
attila@101 153 final String name = field.getName();
attila@101 154 // Only add a property getter when one is not defined already as a getXxx()/isXxx() method.
attila@101 155 if(!propertyGetters.containsKey(name)) {
attila@101 156 setPropertyGetter(name, introspector.unreflectGetter(field), ValidationType.EXACT_CLASS);
attila@90 157 }
attila@101 158 if(!(Modifier.isFinal(field.getModifiers()) || propertySetters.containsKey(name))) {
attila@101 159 addMember(name, introspector.unreflectSetter(field), propertySetters);
attila@101 160 }
attila@101 161 }
attila@90 162
attila@101 163 // Add inner classes, but only those for which we don't hide a property with it
attila@101 164 for(Map.Entry<String, MethodHandle> innerClassSpec: introspector.getInnerClassGetters().entrySet()) {
attila@101 165 final String name = innerClassSpec.getKey();
attila@101 166 if(!propertyGetters.containsKey(name)) {
attila@101 167 setPropertyGetter(name, innerClassSpec.getValue(), ValidationType.EXACT_CLASS);
attila@90 168 }
attila@90 169 }
attila@90 170 }
attila@90 171
attila@123 172 private static String decapitalize(String str) {
attila@123 173 assert str != null;
attila@123 174 if(str.isEmpty()) {
attila@123 175 return str;
attila@123 176 }
attila@123 177
attila@123 178 final char c0 = str.charAt(0);
attila@123 179 if(Character.isLowerCase(c0)) {
attila@123 180 return str;
attila@123 181 }
attila@123 182
attila@123 183 // If it has two consecutive upper-case characters, i.e. "URL", don't decapitalize
attila@123 184 if(str.length() > 1 && Character.isUpperCase(str.charAt(1))) {
attila@123 185 return str;
attila@123 186 }
attila@123 187
attila@123 188 final char c[] = str.toCharArray();
attila@123 189 c[0] = Character.toLowerCase(c0);
attila@123 190 return new String(c);
attila@123 191 }
attila@123 192
attila@90 193 abstract FacetIntrospector createFacetIntrospector();
attila@90 194
attila@90 195 void setPropertyGetter(String name, MethodHandle handle, ValidationType validationType) {
attila@90 196 propertyGetters.put(name, new AnnotatedMethodHandle(handle, validationType));
attila@90 197 }
attila@90 198
attila@90 199 private void addMember(String name, MethodHandle mh, Map<String, DynamicMethod> methodMap) {
attila@90 200 final DynamicMethod existingMethod = methodMap.get(name);
attila@90 201 final DynamicMethod newMethod = addMember(mh, existingMethod, clazz, name);
attila@90 202 if(newMethod != existingMethod) {
attila@90 203 methodMap.put(name, newMethod);
attila@90 204 }
attila@90 205 }
attila@90 206
attila@90 207 static DynamicMethod createDynamicMethod(Iterable<MethodHandle> methodHandles, Class<?> clazz, String name) {
attila@90 208 DynamicMethod dynMethod = null;
attila@90 209 for(MethodHandle methodHandle: methodHandles) {
attila@90 210 dynMethod = addMember(methodHandle, dynMethod, clazz, name);
attila@90 211 }
attila@90 212 return dynMethod;
attila@90 213 }
attila@90 214
attila@90 215 private static DynamicMethod addMember(MethodHandle mh, DynamicMethod existing, Class<?> clazz, String name) {
attila@90 216 if(existing == null) {
attila@90 217 return new SimpleDynamicMethod(mh, clazz, name);
attila@90 218 } else if(existing.contains(mh)) {
attila@90 219 return existing;
attila@90 220 } else if(existing instanceof SimpleDynamicMethod) {
attila@90 221 final OverloadedDynamicMethod odm = new OverloadedDynamicMethod(clazz, name);
attila@90 222 odm.addMethod(((SimpleDynamicMethod)existing));
attila@90 223 odm.addMethod(mh);
attila@90 224 return odm;
attila@90 225 } else if(existing instanceof OverloadedDynamicMethod) {
attila@90 226 ((OverloadedDynamicMethod)existing).addMethod(mh);
attila@90 227 return existing;
attila@90 228 }
attila@90 229 throw new AssertionError();
attila@90 230 }
attila@90 231
attila@90 232 @Override
attila@90 233 public GuardedInvocation getGuardedInvocation(LinkRequest request, final LinkerServices linkerServices)
attila@90 234 throws Exception {
attila@90 235 final LinkRequest ncrequest = request.withoutRuntimeContext();
attila@90 236 // BeansLinker already checked that the name is at least 2 elements long and the first element is "dyn".
attila@90 237 final CallSiteDescriptor callSiteDescriptor = ncrequest.getCallSiteDescriptor();
attila@90 238 final String op = callSiteDescriptor.getNameToken(CallSiteDescriptor.OPERATOR);
attila@90 239 // Either dyn:callMethod:name(this[,args]) or dyn:callMethod(this,name[,args]).
attila@90 240 if("callMethod" == op) {
attila@90 241 return getCallPropWithThis(callSiteDescriptor, linkerServices);
attila@90 242 }
attila@90 243 List<String> operations = CallSiteDescriptorFactory.tokenizeOperators(callSiteDescriptor);
attila@90 244 while(!operations.isEmpty()) {
attila@90 245 final GuardedInvocationComponent gic = getGuardedInvocationComponent(callSiteDescriptor, linkerServices,
attila@90 246 operations);
attila@90 247 if(gic != null) {
attila@90 248 return gic.getGuardedInvocation();
attila@90 249 }
attila@90 250 operations = pop(operations);
attila@90 251 }
attila@90 252 return null;
attila@90 253 }
attila@90 254
attila@90 255 protected GuardedInvocationComponent getGuardedInvocationComponent(CallSiteDescriptor callSiteDescriptor,
attila@90 256 LinkerServices linkerServices, List<String> operations) throws Exception {
attila@90 257 if(operations.isEmpty()) {
attila@90 258 return null;
attila@90 259 }
attila@90 260 final String op = operations.get(0);
attila@90 261 // Either dyn:getProp:name(this) or dyn:getProp(this, name)
attila@90 262 if("getProp".equals(op)) {
attila@90 263 return getPropertyGetter(callSiteDescriptor, linkerServices, pop(operations));
attila@90 264 }
attila@90 265 // Either dyn:setProp:name(this, value) or dyn:setProp(this, name, value)
attila@90 266 if("setProp".equals(op)) {
attila@90 267 return getPropertySetter(callSiteDescriptor, linkerServices, pop(operations));
attila@90 268 }
attila@90 269 // Either dyn:getMethod:name(this), or dyn:getMethod(this, name)
attila@90 270 if("getMethod".equals(op)) {
attila@90 271 return getMethodGetter(callSiteDescriptor, linkerServices, pop(operations));
attila@90 272 }
attila@90 273 return null;
attila@90 274 }
attila@90 275
attila@90 276 static final <T> List<T> pop(List<T> l) {
attila@90 277 return l.subList(1, l.size());
attila@90 278 }
attila@90 279
attila@90 280 MethodHandle getClassGuard(CallSiteDescriptor desc) {
attila@90 281 return getClassGuard(desc.getMethodType());
attila@90 282 }
attila@90 283
attila@90 284 MethodHandle getClassGuard(MethodType type) {
attila@90 285 return Guards.asType(classGuard, type);
attila@90 286 }
attila@90 287
attila@90 288 GuardedInvocationComponent getClassGuardedInvocationComponent(MethodHandle invocation, MethodType type) {
attila@90 289 return new GuardedInvocationComponent(invocation, getClassGuard(type), clazz, ValidationType.EXACT_CLASS);
attila@90 290 }
attila@90 291
attila@90 292 private MethodHandle getAssignableGuard(MethodType type) {
attila@90 293 return Guards.asType(assignableGuard, type);
attila@90 294 }
attila@90 295
attila@90 296 private GuardedInvocation getCallPropWithThis(CallSiteDescriptor callSiteDescriptor, LinkerServices linkerServices) {
attila@90 297 switch(callSiteDescriptor.getNameTokenCount()) {
attila@90 298 case 3: {
attila@90 299 return createGuardedDynamicMethodInvocation(callSiteDescriptor.getMethodType(), linkerServices,
attila@90 300 callSiteDescriptor.getNameToken(CallSiteDescriptor.NAME_OPERAND), methods);
attila@90 301 }
attila@90 302 default: {
attila@90 303 return null;
attila@90 304 }
attila@90 305 }
attila@90 306 }
attila@90 307
attila@90 308 private GuardedInvocation createGuardedDynamicMethodInvocation(MethodType callSiteType,
attila@90 309 LinkerServices linkerServices, String methodName, Map<String, DynamicMethod> methodMap){
attila@90 310 final MethodHandle inv = getDynamicMethodInvocation(callSiteType, linkerServices, methodName, methodMap);
attila@90 311 return inv == null ? null : new GuardedInvocation(inv, getClassGuard(callSiteType));
attila@90 312 }
attila@90 313
attila@90 314 private static MethodHandle getDynamicMethodInvocation(MethodType callSiteType, LinkerServices linkerServices,
attila@90 315 String methodName, Map<String, DynamicMethod> methodMap) {
attila@90 316 final DynamicMethod dynaMethod = getDynamicMethod(methodName, methodMap);
attila@90 317 return dynaMethod != null ? dynaMethod.getInvocation(callSiteType, linkerServices) : null;
attila@90 318 }
attila@90 319
attila@90 320 private static DynamicMethod getDynamicMethod(String methodName, Map<String, DynamicMethod> methodMap) {
attila@90 321 final DynamicMethod dynaMethod = methodMap.get(methodName);
attila@90 322 return dynaMethod != null ? dynaMethod : getExplicitSignatureDynamicMethod(methodName, methodMap);
attila@90 323 }
attila@90 324
attila@90 325 private static SimpleDynamicMethod getExplicitSignatureDynamicMethod(String methodName,
attila@90 326 Map<String, DynamicMethod> methodsMap) {
attila@90 327 // What's below is meant to support the "name(type, type, ...)" syntax that programmers can use in a method name
attila@90 328 // to manually pin down an exact overloaded variant. This is not usually required, as the overloaded method
attila@90 329 // resolution works correctly in almost every situation. However, in presence of many language-specific
attila@90 330 // conversions with a radically dynamic language, most overloaded methods will end up being constantly selected
attila@90 331 // at invocation time, so a programmer knowledgable of the situation might choose to pin down an exact overload
attila@90 332 // for performance reasons.
attila@90 333
attila@90 334 // Is the method name lexically of the form "name(types)"?
attila@90 335 final int lastChar = methodName.length() - 1;
attila@90 336 if(methodName.charAt(lastChar) != ')') {
attila@90 337 return null;
attila@90 338 }
attila@90 339 final int openBrace = methodName.indexOf('(');
attila@90 340 if(openBrace == -1) {
attila@90 341 return null;
attila@90 342 }
attila@90 343
attila@90 344 // Find an existing method for the "name" part
attila@90 345 final DynamicMethod simpleNamedMethod = methodsMap.get(methodName.substring(0, openBrace));
attila@90 346 if(simpleNamedMethod == null) {
attila@90 347 return null;
attila@90 348 }
attila@90 349
attila@90 350 // Try to get a narrowed dynamic method for the explicit parameter types.
attila@90 351 return simpleNamedMethod.getMethodForExactParamTypes(methodName.substring(openBrace + 1, lastChar));
attila@90 352 }
attila@90 353
attila@90 354 private static final MethodHandle IS_METHOD_HANDLE_NOT_NULL = Guards.isNotNull().asType(MethodType.methodType(
attila@90 355 boolean.class, MethodHandle.class));
attila@90 356 private static final MethodHandle CONSTANT_NULL_DROP_METHOD_HANDLE = MethodHandles.dropArguments(
attila@90 357 MethodHandles.constant(Object.class, null), 0, MethodHandle.class);
attila@90 358
attila@90 359 private GuardedInvocationComponent getPropertySetter(CallSiteDescriptor callSiteDescriptor,
attila@90 360 LinkerServices linkerServices, List<String> operations) throws Exception {
attila@90 361 final MethodType type = callSiteDescriptor.getMethodType();
attila@90 362 switch(callSiteDescriptor.getNameTokenCount()) {
attila@90 363 case 2: {
attila@90 364 // Must have three arguments: target object, property name, and property value.
attila@90 365 assertParameterCount(callSiteDescriptor, 3);
attila@90 366
attila@90 367 // What's below is basically:
attila@90 368 // foldArguments(guardWithTest(isNotNull, invoke, null|nextComponent.invocation),
attila@90 369 // get_setter_handle(type, linkerServices))
attila@90 370 // only with a bunch of method signature adjustments. Basically, retrieve method setter
attila@90 371 // MethodHandle; if it is non-null, invoke it, otherwise either return null, or delegate to next
attila@90 372 // component's invocation.
attila@90 373
attila@90 374 // Call site type is "ret_type(object_type,property_name_type,property_value_type)", which we'll
attila@90 375 // abbreviate to R(O, N, V) going forward.
attila@90 376 // We want setters that conform to "R(O, V)"
attila@90 377 final MethodType setterType = type.dropParameterTypes(1, 2);
attila@90 378 // Bind property setter handle to the expected setter type and linker services. Type is
attila@90 379 // MethodHandle(Object, String, Object)
attila@90 380 final MethodHandle boundGetter = MethodHandles.insertArguments(getPropertySetterHandle, 0, setterType,
attila@90 381 linkerServices);
attila@90 382
attila@90 383 // Cast getter to MethodHandle(O, N, V)
attila@90 384 final MethodHandle typedGetter = linkerServices.asType(boundGetter, type.changeReturnType(
attila@90 385 MethodHandle.class));
attila@90 386
attila@90 387 // Handle to invoke the setter R(MethodHandle, O, V)
attila@90 388 final MethodHandle invokeHandle = MethodHandles.exactInvoker(setterType);
attila@90 389 // Handle to invoke the setter, dropping unnecessary fold arguments R(MethodHandle, O, N, V)
attila@90 390 final MethodHandle invokeHandleFolded = MethodHandles.dropArguments(invokeHandle, 2, type.parameterType(
attila@90 391 1));
attila@90 392 final GuardedInvocationComponent nextComponent = getGuardedInvocationComponent(callSiteDescriptor,
attila@90 393 linkerServices, operations);
attila@90 394
attila@90 395 final MethodHandle fallbackFolded;
attila@90 396 if(nextComponent == null) {
attila@90 397 // Object(MethodHandle)->R(MethodHandle, O, N, V); returns constant null
attila@90 398 fallbackFolded = MethodHandles.dropArguments(CONSTANT_NULL_DROP_METHOD_HANDLE, 1,
attila@90 399 type.parameterList()).asType(type.insertParameterTypes(0, MethodHandle.class));
attila@90 400 } else {
attila@90 401 // R(O, N, V)->R(MethodHandle, O, N, V); adapts the next component's invocation to drop the
attila@90 402 // extra argument resulting from fold
attila@90 403 fallbackFolded = MethodHandles.dropArguments(nextComponent.getGuardedInvocation().getInvocation(),
attila@90 404 0, MethodHandle.class);
attila@90 405 }
attila@90 406
attila@90 407 // fold(R(MethodHandle, O, N, V), MethodHandle(O, N, V))
attila@90 408 final MethodHandle compositeSetter = MethodHandles.foldArguments(MethodHandles.guardWithTest(
attila@90 409 IS_METHOD_HANDLE_NOT_NULL, invokeHandleFolded, fallbackFolded), typedGetter);
attila@90 410 if(nextComponent == null) {
attila@90 411 return getClassGuardedInvocationComponent(compositeSetter, type);
attila@90 412 }
attila@101 413 return nextComponent.compose(compositeSetter, getClassGuard(type), clazz, ValidationType.EXACT_CLASS);
attila@90 414 }
attila@90 415 case 3: {
attila@90 416 // Must have two arguments: target object and property value
attila@90 417 assertParameterCount(callSiteDescriptor, 2);
attila@90 418 final GuardedInvocation gi = createGuardedDynamicMethodInvocation(callSiteDescriptor.getMethodType(),
attila@90 419 linkerServices, callSiteDescriptor.getNameToken(CallSiteDescriptor.NAME_OPERAND),
attila@90 420 propertySetters);
attila@90 421 // If we have a property setter with this name, this composite operation will always stop here
attila@90 422 if(gi != null) {
attila@90 423 return new GuardedInvocationComponent(gi, clazz, ValidationType.EXACT_CLASS);
attila@90 424 }
attila@90 425 // If we don't have a property setter with this name, always fall back to the next operation in the
attila@90 426 // composite (if any)
attila@90 427 return getGuardedInvocationComponent(callSiteDescriptor, linkerServices, operations);
attila@90 428 }
attila@90 429 default: {
attila@90 430 // More than two name components; don't know what to do with it.
attila@90 431 return null;
attila@90 432 }
attila@90 433 }
attila@90 434 }
attila@90 435
attila@90 436 private static final Lookup privateLookup = new Lookup(MethodHandles.lookup());
attila@90 437
attila@90 438 private static final MethodHandle IS_ANNOTATED_HANDLE_NOT_NULL = Guards.isNotNull().asType(MethodType.methodType(
attila@90 439 boolean.class, AnnotatedMethodHandle.class));
attila@90 440 private static final MethodHandle CONSTANT_NULL_DROP_ANNOTATED_HANDLE = MethodHandles.dropArguments(
attila@90 441 MethodHandles.constant(Object.class, null), 0, AnnotatedMethodHandle.class);
attila@90 442 private static final MethodHandle GET_ANNOTATED_HANDLE = privateLookup.findGetter(AnnotatedMethodHandle.class,
attila@90 443 "handle", MethodHandle.class);
attila@90 444 private static final MethodHandle GENERIC_PROPERTY_GETTER_HANDLER_INVOKER = MethodHandles.filterArguments(
attila@90 445 MethodHandles.invoker(MethodType.methodType(Object.class, Object.class)), 0, GET_ANNOTATED_HANDLE);
attila@90 446
attila@90 447 private GuardedInvocationComponent getPropertyGetter(CallSiteDescriptor callSiteDescriptor,
attila@90 448 LinkerServices linkerServices, List<String> ops) throws Exception {
attila@90 449 final MethodType type = callSiteDescriptor.getMethodType();
attila@90 450 switch(callSiteDescriptor.getNameTokenCount()) {
attila@90 451 case 2: {
attila@90 452 // Must have exactly two arguments: receiver and name
attila@90 453 assertParameterCount(callSiteDescriptor, 2);
attila@90 454
attila@90 455 // What's below is basically:
attila@90 456 // foldArguments(guardWithTest(isNotNull, invoke(get_handle), null|nextComponent.invocation), get_getter_handle)
attila@90 457 // only with a bunch of method signature adjustments. Basically, retrieve method getter
attila@90 458 // AnnotatedMethodHandle; if it is non-null, invoke its "handle" field, otherwise either return null,
attila@90 459 // or delegate to next component's invocation.
attila@90 460
attila@90 461 final MethodHandle typedGetter = linkerServices.asType(getPropertyGetterHandle, type.changeReturnType(
attila@90 462 AnnotatedMethodHandle.class));
attila@90 463 // Object(AnnotatedMethodHandle, Object)->R(AnnotatedMethodHandle, T0)
attila@90 464 final MethodHandle invokeHandleTyped = linkerServices.asType(GENERIC_PROPERTY_GETTER_HANDLER_INVOKER,
attila@90 465 MethodType.methodType(type.returnType(), AnnotatedMethodHandle.class, type.parameterType(0)));
attila@90 466 // Since it's in the target of a fold, drop the unnecessary second argument
attila@90 467 // R(AnnotatedMethodHandle, T0)->R(AnnotatedMethodHandle, T0, T1)
attila@90 468 final MethodHandle invokeHandleFolded = MethodHandles.dropArguments(invokeHandleTyped, 2,
attila@90 469 type.parameterType(1));
attila@90 470 final GuardedInvocationComponent nextComponent = getGuardedInvocationComponent(callSiteDescriptor,
attila@90 471 linkerServices, ops);
attila@90 472
attila@90 473 final MethodHandle fallbackFolded;
attila@90 474 if(nextComponent == null) {
attila@90 475 // Object(AnnotatedMethodHandle)->R(AnnotatedMethodHandle, T0, T1); returns constant null
attila@90 476 fallbackFolded = MethodHandles.dropArguments(CONSTANT_NULL_DROP_ANNOTATED_HANDLE, 1,
attila@90 477 type.parameterList()).asType(type.insertParameterTypes(0, AnnotatedMethodHandle.class));
attila@90 478 } else {
attila@90 479 // R(T0, T1)->R(AnnotatedMethodHAndle, T0, T1); adapts the next component's invocation to drop the
attila@90 480 // extra argument resulting from fold
attila@90 481 fallbackFolded = MethodHandles.dropArguments(nextComponent.getGuardedInvocation().getInvocation(),
attila@90 482 0, AnnotatedMethodHandle.class);
attila@90 483 }
attila@90 484
attila@90 485 // fold(R(AnnotatedMethodHandle, T0, T1), AnnotatedMethodHandle(T0, T1))
attila@90 486 final MethodHandle compositeGetter = MethodHandles.foldArguments(MethodHandles.guardWithTest(
attila@90 487 IS_ANNOTATED_HANDLE_NOT_NULL, invokeHandleFolded, fallbackFolded), typedGetter);
attila@90 488 if(nextComponent == null) {
attila@90 489 return getClassGuardedInvocationComponent(compositeGetter, type);
attila@90 490 }
attila@101 491 return nextComponent.compose(compositeGetter, getClassGuard(type), clazz, ValidationType.EXACT_CLASS);
attila@90 492 }
attila@90 493 case 3: {
attila@90 494 // Must have exactly one argument: receiver
attila@90 495 assertParameterCount(callSiteDescriptor, 1);
attila@90 496 // Fixed name
attila@90 497 final AnnotatedMethodHandle annGetter = propertyGetters.get(callSiteDescriptor.getNameToken(
attila@90 498 CallSiteDescriptor.NAME_OPERAND));
attila@90 499 if(annGetter == null) {
attila@90 500 // We have no such property, always delegate to the next component operation
attila@90 501 return getGuardedInvocationComponent(callSiteDescriptor, linkerServices, ops);
attila@90 502 }
attila@90 503 final MethodHandle getter = annGetter.handle;
attila@90 504 // NOTE: since property getters (not field getters!) are no-arg, we don't have to worry about them being
attila@90 505 // overloaded in a subclass. Therefore, we can discover the most abstract superclass that has the
attila@90 506 // method, and use that as the guard with Guards.isInstance() for a more stably linked call site. If
attila@90 507 // we're linking against a field getter, don't make the assumption.
attila@90 508 // NOTE: No delegation to the next component operation if we have a property with this name, even if its
attila@90 509 // value is null.
attila@90 510 final ValidationType validationType = annGetter.validationType;
attila@90 511 return new GuardedInvocationComponent(linkerServices.asType(getter, type), getGuard(validationType,
attila@90 512 type), clazz, validationType);
attila@90 513 }
attila@90 514 default: {
attila@90 515 // Can't do anything with more than 3 name components
attila@90 516 return null;
attila@90 517 }
attila@90 518 }
attila@90 519 }
attila@90 520
attila@90 521 private MethodHandle getGuard(ValidationType validationType, MethodType methodType) {
attila@90 522 switch(validationType) {
attila@90 523 case EXACT_CLASS: {
attila@90 524 return getClassGuard(methodType);
attila@90 525 }
attila@90 526 case INSTANCE_OF: {
attila@90 527 return getAssignableGuard(methodType);
attila@90 528 }
attila@90 529 case IS_ARRAY: {
attila@90 530 return Guards.isArray(0, methodType);
attila@90 531 }
attila@90 532 case NONE: {
attila@90 533 return null;
attila@90 534 }
attila@101 535 default: {
attila@101 536 throw new AssertionError();
attila@101 537 }
attila@90 538 }
attila@90 539 }
attila@90 540
attila@90 541 private static final MethodHandle IS_DYNAMIC_METHOD_NOT_NULL = Guards.asType(Guards.isNotNull(),
attila@90 542 MethodType.methodType(boolean.class, DynamicMethod.class));
attila@90 543 private static final MethodHandle DYNAMIC_METHOD_IDENTITY = MethodHandles.identity(DynamicMethod.class);
attila@90 544
attila@90 545 private GuardedInvocationComponent getMethodGetter(CallSiteDescriptor callSiteDescriptor,
attila@90 546 LinkerServices linkerServices, List<String> ops) throws Exception {
attila@90 547 final MethodType type = callSiteDescriptor.getMethodType();
attila@90 548 switch(callSiteDescriptor.getNameTokenCount()) {
attila@90 549 case 2: {
attila@90 550 // Must have exactly two arguments: receiver and name
attila@90 551 assertParameterCount(callSiteDescriptor, 2);
attila@90 552 final GuardedInvocationComponent nextComponent = getGuardedInvocationComponent(callSiteDescriptor,
attila@90 553 linkerServices, ops);
attila@90 554 if(nextComponent == null) {
attila@90 555 // No next component operation; just return a component for this operation.
attila@90 556 return getClassGuardedInvocationComponent(linkerServices.asType(getDynamicMethod, type), type);
attila@101 557 }
attila@90 558
attila@101 559 // What's below is basically:
attila@101 560 // foldArguments(guardWithTest(isNotNull, identity, nextComponent.invocation), getter) only with a
attila@101 561 // bunch of method signature adjustments. Basically, execute method getter; if it returns a non-null
attila@101 562 // DynamicMethod, use identity to return it, otherwise delegate to nextComponent's invocation.
attila@90 563
attila@101 564 final MethodHandle typedGetter = linkerServices.asType(getDynamicMethod, type.changeReturnType(
attila@101 565 DynamicMethod.class));
attila@101 566 // Since it is part of the foldArgument() target, it will have extra args that we need to drop.
attila@101 567 final MethodHandle returnMethodHandle = linkerServices.asType(MethodHandles.dropArguments(
attila@101 568 DYNAMIC_METHOD_IDENTITY, 1, type.parameterList()), type.insertParameterTypes(0,
attila@101 569 DynamicMethod.class));
attila@101 570 final MethodHandle nextComponentInvocation = nextComponent.getGuardedInvocation().getInvocation();
attila@101 571 // The assumption is that getGuardedInvocationComponent() already asType()'d it correctly
attila@101 572 assert nextComponentInvocation.type().equals(type);
attila@101 573 // Since it is part of the foldArgument() target, we have to drop an extra arg it receives.
attila@101 574 final MethodHandle nextCombinedInvocation = MethodHandles.dropArguments(nextComponentInvocation, 0,
attila@101 575 DynamicMethod.class);
attila@101 576 // Assemble it all into a fold(guard(isNotNull, identity, nextInvocation), get)
attila@101 577 final MethodHandle compositeGetter = MethodHandles.foldArguments(MethodHandles.guardWithTest(
attila@101 578 IS_DYNAMIC_METHOD_NOT_NULL, returnMethodHandle, nextCombinedInvocation), typedGetter);
attila@101 579
attila@101 580 return nextComponent.compose(compositeGetter, getClassGuard(type), clazz, ValidationType.EXACT_CLASS);
attila@90 581 }
attila@90 582 case 3: {
attila@90 583 // Must have exactly one argument: receiver
attila@90 584 assertParameterCount(callSiteDescriptor, 1);
attila@90 585 final DynamicMethod method = getDynamicMethod(callSiteDescriptor.getNameToken(
attila@90 586 CallSiteDescriptor.NAME_OPERAND));
attila@90 587 if(method == null) {
attila@90 588 // We have no such method, always delegate to the next component
attila@90 589 return getGuardedInvocationComponent(callSiteDescriptor, linkerServices, ops);
attila@90 590 }
attila@90 591 // No delegation to the next component of the composite operation; if we have a method with that name,
attila@90 592 // we'll always return it at this point.
attila@90 593 return getClassGuardedInvocationComponent(linkerServices.asType(MethodHandles.dropArguments(
attila@90 594 MethodHandles.constant(DynamicMethod.class, method), 0, type.parameterType(0)), type), type);
attila@90 595 }
attila@90 596 default: {
attila@90 597 // Can't do anything with more than 3 name components
attila@90 598 return null;
attila@90 599 }
attila@90 600 }
attila@90 601 }
attila@90 602
attila@90 603 private static void assertParameterCount(CallSiteDescriptor descriptor, int paramCount) {
attila@90 604 if(descriptor.getMethodType().parameterCount() != paramCount) {
attila@90 605 throw new BootstrapMethodError(descriptor.getName() + " must have exactly " + paramCount + " parameters.");
attila@90 606 }
attila@90 607 }
attila@90 608
attila@90 609 private static MethodHandle GET_PROPERTY_GETTER_HANDLE = MethodHandles.dropArguments(privateLookup.findOwnSpecial(
attila@90 610 "getPropertyGetterHandle", Object.class, Object.class), 1, Object.class);
attila@90 611 private final MethodHandle getPropertyGetterHandle = GET_PROPERTY_GETTER_HANDLE.bindTo(this);
attila@90 612
attila@90 613 /**
attila@90 614 * @param id the property ID
attila@90 615 * @return the method handle for retrieving the property, or null if the property does not exist
attila@90 616 */
attila@90 617 @SuppressWarnings("unused")
attila@90 618 private Object getPropertyGetterHandle(Object id) {
attila@90 619 return propertyGetters.get(id);
attila@90 620 }
attila@90 621
attila@90 622 // Type is MethodHandle(BeanLinker, MethodType, LinkerServices, Object, String, Object), of which the two "Object"
attila@90 623 // args are dropped; this makes handles with first three args conform to "Object, String, Object" though, which is
attila@90 624 // a typical property setter with variable name signature (target, name, value).
attila@90 625 private static final MethodHandle GET_PROPERTY_SETTER_HANDLE = MethodHandles.dropArguments(MethodHandles.dropArguments(
attila@90 626 privateLookup.findOwnSpecial("getPropertySetterHandle", MethodHandle.class, MethodType.class,
attila@90 627 LinkerServices.class, Object.class), 3, Object.class), 5, Object.class);
attila@90 628 // Type is MethodHandle(MethodType, LinkerServices, Object, String, Object)
attila@90 629 private final MethodHandle getPropertySetterHandle = GET_PROPERTY_SETTER_HANDLE.bindTo(this);
attila@90 630
attila@90 631 @SuppressWarnings("unused")
attila@90 632 private MethodHandle getPropertySetterHandle(MethodType setterType, LinkerServices linkerServices, Object id) {
attila@90 633 return getDynamicMethodInvocation(setterType, linkerServices, String.valueOf(id), propertySetters);
attila@90 634 }
attila@90 635
attila@90 636 private static MethodHandle GET_DYNAMIC_METHOD = MethodHandles.dropArguments(privateLookup.findOwnSpecial(
attila@90 637 "getDynamicMethod", DynamicMethod.class, Object.class), 1, Object.class);
attila@90 638 private final MethodHandle getDynamicMethod = GET_DYNAMIC_METHOD.bindTo(this);
attila@90 639
attila@90 640 @SuppressWarnings("unused")
attila@90 641 private DynamicMethod getDynamicMethod(Object name) {
attila@90 642 return getDynamicMethod(String.valueOf(name), methods);
attila@90 643 }
attila@90 644
attila@90 645 /**
attila@90 646 * Returns a dynamic method of the specified name.
attila@90 647 *
attila@90 648 * @param name name of the method
attila@90 649 * @return the dynamic method (either {@link SimpleDynamicMethod} or {@link OverloadedDynamicMethod}, or null if the
attila@90 650 * method with the specified name does not exist.
attila@90 651 */
attila@101 652 DynamicMethod getDynamicMethod(String name) {
attila@90 653 return getDynamicMethod(name, methods);
attila@90 654 }
attila@90 655
attila@90 656 /**
attila@90 657 * Find the most generic superclass that declares this getter. Since getters have zero args (aside from the
attila@90 658 * receiver), they can't be overloaded, so we're free to link with an instanceof guard for the most generic one,
attila@90 659 * creating more stable call sites.
attila@90 660 * @param getter the getter
attila@90 661 * @return getter with same name, declared on the most generic superclass/interface of the declaring class
attila@90 662 */
attila@90 663 private static Method getMostGenericGetter(Method getter) {
attila@90 664 return getMostGenericGetter(getter.getName(), getter.getReturnType(), getter.getDeclaringClass());
attila@90 665 }
attila@90 666
attila@90 667 private static Method getMostGenericGetter(String name, Class<?> returnType, Class<?> declaringClass) {
attila@90 668 if(declaringClass == null) {
attila@90 669 return null;
attila@90 670 }
attila@90 671 // Prefer interfaces
attila@90 672 for(Class<?> itf: declaringClass.getInterfaces()) {
attila@90 673 final Method itfGetter = getMostGenericGetter(name, returnType, itf);
attila@90 674 if(itfGetter != null) {
attila@90 675 return itfGetter;
attila@90 676 }
attila@90 677 }
attila@90 678 final Method superGetter = getMostGenericGetter(name, returnType, declaringClass.getSuperclass());
attila@90 679 if(superGetter != null) {
attila@90 680 return superGetter;
attila@90 681 }
attila@90 682 if(!CheckRestrictedPackage.isRestrictedClass(declaringClass)) {
attila@90 683 try {
attila@90 684 return declaringClass.getMethod(name);
attila@90 685 } catch(NoSuchMethodException e) {
attila@90 686 // Intentionally ignored, meant to fall through
attila@90 687 }
attila@90 688 }
attila@90 689 return null;
attila@90 690 }
attila@90 691
attila@90 692 private static final class AnnotatedMethodHandle {
attila@90 693 final MethodHandle handle;
attila@90 694 /*private*/ final ValidationType validationType;
attila@90 695
attila@90 696 AnnotatedMethodHandle(MethodHandle handle, ValidationType validationType) {
attila@90 697 this.handle = handle;
attila@90 698 this.validationType = validationType;
attila@90 699 }
attila@90 700 }
attila@101 701 }

mercurial