Tue, 22 Dec 2015 10:56:12 -0800
Added tag jdk8u71-b15 for changeset c577bcadb46d
1 /*
2 * Copyright (c) 2015, 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-2015 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.support;
86 import java.lang.invoke.MethodHandle;
87 import java.lang.invoke.MethodHandles;
88 import java.lang.invoke.MethodType;
89 import jdk.internal.dynalink.DynamicLinkerFactory;
90 import jdk.internal.dynalink.linker.MethodHandleTransformer;
92 /**
93 * Default implementation for a {@link DynamicLinkerFactory#setInternalObjectsFilter(MethodHandleTransformer)}.
94 * Given a method handle of {@code Object(Object)} type for filtering parameter and another one of the same type for
95 * filtering return values, applies them to passed method handles where their parameter types and/or return value types
96 * are declared to be {@link Object}.
97 */
98 public class DefaultInternalObjectFilter implements MethodHandleTransformer {
99 private static final MethodHandle FILTER_VARARGS = new Lookup(MethodHandles.lookup()).findStatic(
100 DefaultInternalObjectFilter.class, "filterVarArgs", MethodType.methodType(Object[].class, MethodHandle.class, Object[].class));
102 private final MethodHandle parameterFilter;
103 private final MethodHandle returnFilter;
104 private final MethodHandle varArgFilter;
106 /**
107 * Creates a new filter.
108 * @param parameterFilter the filter for method parameters. Must be of type {@code Object(Object)}, or null.
109 * @param returnFilter the filter for return values. Must be of type {@code Object(Object)}, or null.
110 * @throws IllegalArgumentException if one or both filters are not of the expected type.
111 */
112 public DefaultInternalObjectFilter(final MethodHandle parameterFilter, final MethodHandle returnFilter) {
113 this.parameterFilter = checkHandle(parameterFilter, "parameterFilter");
114 this.returnFilter = checkHandle(returnFilter, "returnFilter");
115 this.varArgFilter = parameterFilter == null ? null : FILTER_VARARGS.bindTo(parameterFilter);
116 }
118 @Override
119 public MethodHandle transform(final MethodHandle target) {
120 assert target != null;
121 MethodHandle[] filters = null;
122 final MethodType type = target.type();
123 final boolean isVarArg = target.isVarargsCollector();
124 final int paramCount = type.parameterCount();
125 final MethodHandle paramsFiltered;
126 // Filter parameters
127 if (parameterFilter != null) {
128 int firstFilter = -1;
129 // Ignore receiver, start from argument 1
130 for(int i = 1; i < paramCount; ++i) {
131 final Class<?> paramType = type.parameterType(i);
132 final boolean filterVarArg = isVarArg && i == paramCount - 1 && paramType == Object[].class;
133 if (filterVarArg || paramType == Object.class) {
134 if (filters == null) {
135 firstFilter = i;
136 filters = new MethodHandle[paramCount - firstFilter];
137 }
138 filters[i - firstFilter] = filterVarArg ? varArgFilter : parameterFilter;
139 }
140 }
141 paramsFiltered = filters != null ? MethodHandles.filterArguments(target, firstFilter, filters) : target;
142 } else {
143 paramsFiltered = target;
144 }
145 // Filter return value if needed
146 final MethodHandle returnFiltered = returnFilter != null && type.returnType() == Object.class ? MethodHandles.filterReturnValue(paramsFiltered, returnFilter) : paramsFiltered;
147 // Preserve varargs collector state
148 return isVarArg && !returnFiltered.isVarargsCollector() ? returnFiltered.asVarargsCollector(type.parameterType(paramCount - 1)) : returnFiltered;
150 }
152 private static MethodHandle checkHandle(final MethodHandle handle, final String handleKind) {
153 if (handle != null) {
154 final MethodType objectObjectType = MethodType.methodType(Object.class, Object.class);
155 if (!handle.type().equals(objectObjectType)) {
156 throw new IllegalArgumentException("Method type for " + handleKind + " must be " + objectObjectType);
157 }
158 }
159 return handle;
160 }
162 @SuppressWarnings("unused")
163 private static Object[] filterVarArgs(final MethodHandle parameterFilter, final Object[] args) throws Throwable {
164 Object[] newArgs = null;
165 for(int i = 0; i < args.length; ++i) {
166 final Object arg = args[i];
167 final Object newArg = parameterFilter.invokeExact(arg);
168 if (arg != newArg) {
169 if (newArgs == null) {
170 newArgs = args.clone();
171 }
172 newArgs[i] = newArg;
173 }
174 }
175 return newArgs == null ? args : newArgs;
176 }
177 }