1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/src/jdk/internal/dynalink/linker/LinkerServices.java Thu Feb 14 13:22:26 2013 +0100 1.3 @@ -0,0 +1,165 @@ 1.4 +/* 1.5 + * Copyright (c) 2010, 2013, Oracle and/or its affiliates. All rights reserved. 1.6 + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 1.7 + * 1.8 + * This code is free software; you can redistribute it and/or modify it 1.9 + * under the terms of the GNU General Public License version 2 only, as 1.10 + * published by the Free Software Foundation. Oracle designates this 1.11 + * particular file as subject to the "Classpath" exception as provided 1.12 + * by Oracle in the LICENSE file that accompanied this code. 1.13 + * 1.14 + * This code is distributed in the hope that it will be useful, but WITHOUT 1.15 + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 1.16 + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 1.17 + * version 2 for more details (a copy is included in the LICENSE file that 1.18 + * accompanied this code). 1.19 + * 1.20 + * You should have received a copy of the GNU General Public License version 1.21 + * 2 along with this work; if not, write to the Free Software Foundation, 1.22 + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 1.23 + * 1.24 + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 1.25 + * or visit www.oracle.com if you need additional information or have any 1.26 + * questions. 1.27 + */ 1.28 + 1.29 +/* 1.30 + * This file is available under and governed by the GNU General Public 1.31 + * License version 2 only, as published by the Free Software Foundation. 1.32 + * However, the following notice accompanied the original version of this 1.33 + * file, and Oracle licenses the original version of this file under the BSD 1.34 + * license: 1.35 + */ 1.36 +/* 1.37 + Copyright 2009-2013 Attila Szegedi 1.38 + 1.39 + Licensed under both the Apache License, Version 2.0 (the "Apache License") 1.40 + and the BSD License (the "BSD License"), with licensee being free to 1.41 + choose either of the two at their discretion. 1.42 + 1.43 + You may not use this file except in compliance with either the Apache 1.44 + License or the BSD License. 1.45 + 1.46 + If you choose to use this file in compliance with the Apache License, the 1.47 + following notice applies to you: 1.48 + 1.49 + You may obtain a copy of the Apache License at 1.50 + 1.51 + http://www.apache.org/licenses/LICENSE-2.0 1.52 + 1.53 + Unless required by applicable law or agreed to in writing, software 1.54 + distributed under the License is distributed on an "AS IS" BASIS, 1.55 + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or 1.56 + implied. See the License for the specific language governing 1.57 + permissions and limitations under the License. 1.58 + 1.59 + If you choose to use this file in compliance with the BSD License, the 1.60 + following notice applies to you: 1.61 + 1.62 + Redistribution and use in source and binary forms, with or without 1.63 + modification, are permitted provided that the following conditions are 1.64 + met: 1.65 + * Redistributions of source code must retain the above copyright 1.66 + notice, this list of conditions and the following disclaimer. 1.67 + * Redistributions in binary form must reproduce the above copyright 1.68 + notice, this list of conditions and the following disclaimer in the 1.69 + documentation and/or other materials provided with the distribution. 1.70 + * Neither the name of the copyright holder nor the names of 1.71 + contributors may be used to endorse or promote products derived from 1.72 + this software without specific prior written permission. 1.73 + 1.74 + THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS 1.75 + IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED 1.76 + TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A 1.77 + PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL COPYRIGHT HOLDER 1.78 + BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 1.79 + CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 1.80 + SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR 1.81 + BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, 1.82 + WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR 1.83 + OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF 1.84 + ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 1.85 +*/ 1.86 + 1.87 +package jdk.internal.dynalink.linker; 1.88 + 1.89 +import java.lang.invoke.MethodHandle; 1.90 +import java.lang.invoke.MethodHandles; 1.91 +import java.lang.invoke.MethodType; 1.92 +import jdk.internal.dynalink.DynamicLinker; 1.93 +import jdk.internal.dynalink.linker.ConversionComparator.Comparison; 1.94 + 1.95 + 1.96 +/** 1.97 + * Interface for services provided to {@link GuardingDynamicLinker} instances by the {@link DynamicLinker} that owns 1.98 + * them. You can think of it as the interface of the {@link DynamicLinker} that faces the {@link GuardingDynamicLinker} 1.99 + * s. 1.100 + * 1.101 + * @author Attila Szegedi 1.102 + */ 1.103 +public interface LinkerServices { 1.104 + /** 1.105 + * Similar to {@link MethodHandle#asType(MethodType)} except it also hooks in method handles produced by 1.106 + * {@link GuardingTypeConverterFactory} implementations, providing for language-specific type coercing of 1.107 + * parameters. It will apply {@link MethodHandle#asType(MethodType)} for all primitive-to-primitive, 1.108 + * wrapper-to-primitive, primitive-to-wrapper conversions as well as for all upcasts. For all other conversions, 1.109 + * it'll insert {@link MethodHandles#filterArguments(MethodHandle, int, MethodHandle...)} with composite filters 1.110 + * provided by {@link GuardingTypeConverterFactory} implementations. It doesn't use language-specific conversions on 1.111 + * the return type. 1.112 + * 1.113 + * @param handle target method handle 1.114 + * @param fromType the types of source arguments 1.115 + * @return a method handle that is a suitable combination of {@link MethodHandle#asType(MethodType)} and 1.116 + * {@link MethodHandles#filterArguments(MethodHandle, int, MethodHandle...)} with 1.117 + * {@link GuardingTypeConverterFactory} produced type converters as filters. 1.118 + */ 1.119 + public MethodHandle asType(MethodHandle handle, MethodType fromType); 1.120 + 1.121 + /** 1.122 + * Given a source and target type, returns a method handle that converts between them. Never returns null; in worst 1.123 + * case it will return an identity conversion (that might fail for some values at runtime). You rarely need to use 1.124 + * this method directly; you should mostly rely on {@link #asType(MethodHandle, MethodType)} instead. You really 1.125 + * only need this method if you have a piece of your program that is written in Java, and you need to reuse existing 1.126 + * type conversion machinery in a non-invokedynamic context. 1.127 + * @param sourceType the type to convert from 1.128 + * @param targetType the type to convert to 1.129 + * @return a method handle performing the conversion. 1.130 + */ 1.131 + public MethodHandle getTypeConverter(Class<?> sourceType, Class<?> targetType); 1.132 + 1.133 + /** 1.134 + * Returns true if there might exist a conversion between the requested types (either an automatic JVM conversion, 1.135 + * or one provided by any available {@link GuardingTypeConverterFactory}), or false if there definitely does not 1.136 + * exist a conversion between the requested types. Note that returning true does not guarantee that the conversion 1.137 + * will succeed at runtime (notably, if the "from" or "to" types are sufficiently generic), but returning false 1.138 + * guarantees that it would fail. 1.139 + * 1.140 + * @param from the source type for the conversion 1.141 + * @param to the target type for the conversion 1.142 + * @return true if there can be a conversion, false if there can not. 1.143 + */ 1.144 + public boolean canConvert(Class<?> from, Class<?> to); 1.145 + 1.146 + /** 1.147 + * Creates a guarded invocation using the {@link DynamicLinker} that exposes this linker services interface. Linkers 1.148 + * can typically use them to delegate linking of wrapped objects. 1.149 + * 1.150 + * @param linkRequest a request for linking the invocation 1.151 + * @return a guarded invocation linked by the top-level linker (or any of its delegates). Can be null if no 1.152 + * available linker is able to link the invocation. 1.153 + * @throws Exception in case the top-level linker throws an exception 1.154 + */ 1.155 + public GuardedInvocation getGuardedInvocation(LinkRequest linkRequest) throws Exception; 1.156 + 1.157 + /** 1.158 + * Determines which of the two type conversions from a source type to the two target types is preferred. This is 1.159 + * used for dynamic overloaded method resolution. If the source type is convertible to exactly one target type with 1.160 + * a method invocation conversion, it is chosen, otherwise available {@link ConversionComparator}s are consulted. 1.161 + * @param sourceType the source type. 1.162 + * @param targetType1 one potential target type 1.163 + * @param targetType2 another potential target type. 1.164 + * @return one of Comparison constants that establish which - if any - of the target types is preferable for the 1.165 + * conversion. 1.166 + */ 1.167 + public Comparison compareConversion(Class<?> sourceType, Class<?> targetType1, Class<?> targetType2); 1.168 +} 1.169 \ No newline at end of file