src/jdk/internal/dynalink/support/DefaultInternalObjectFilter.java

Tue, 22 Dec 2015 10:56:12 -0800

author
asaha
date
Tue, 22 Dec 2015 10:56:12 -0800
changeset 1712
e9b46178f2e3
parent 1239
e1146c9cc758
permissions
-rw-r--r--

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 }

mercurial