src/java.base/share/classes/java/lang/invoke/InfoFromMemberName.java
author jboes
Thu, 21 Nov 2019 09:10:21 +0000
changeset 59201 b24f4caa1411
parent 47216 71c04702a3d5
permissions -rw-r--r--
8234335: Remove line break in class declaration in java.base Summary: Remove line break in class declarations where applicable Reviewed-by: rriggs, lancea
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
19804
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
     1
/*
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
     2
 * Copyright (c) 2012, 2013, Oracle and/or its affiliates. All rights reserved.
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
     4
 *
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    10
 *
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    15
 * accompanied this code).
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    16
 *
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    20
 *
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    23
 * questions.
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    24
 */
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    25
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    26
package java.lang.invoke;
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    27
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    28
import java.security.*;
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    29
import java.lang.reflect.*;
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    30
import java.lang.invoke.MethodHandleNatives.Constants;
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    31
import java.lang.invoke.MethodHandles.Lookup;
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    32
import static java.lang.invoke.MethodHandleStatics.*;
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    33
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    34
/*
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    35
 * Auxiliary to MethodHandleInfo, wants to nest in MethodHandleInfo but must be non-public.
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    36
 */
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    37
/*non-public*/
59201
b24f4caa1411 8234335: Remove line break in class declaration in java.base
jboes
parents: 47216
diff changeset
    38
final class InfoFromMemberName implements MethodHandleInfo {
19804
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    39
    private final MemberName member;
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    40
    private final int referenceKind;
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    41
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    42
    InfoFromMemberName(Lookup lookup, MemberName member, byte referenceKind) {
36934
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents: 29986
diff changeset
    43
        assert(member.isResolved() || member.isMethodHandleInvoke() || member.isVarHandleMethodInvoke());
19804
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    44
        assert(member.referenceKindIsConsistentWith(referenceKind));
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    45
        this.member = member;
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    46
        this.referenceKind = referenceKind;
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    47
    }
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    48
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    49
    @Override
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    50
    public Class<?> getDeclaringClass() {
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    51
        return member.getDeclaringClass();
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    52
    }
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    53
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    54
    @Override
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    55
    public String getName() {
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    56
        return member.getName();
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    57
    }
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    58
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    59
    @Override
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    60
    public MethodType getMethodType() {
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    61
        return member.getMethodOrFieldType();
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    62
    }
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    63
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    64
    @Override
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    65
    public int getModifiers() {
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    66
        return member.getModifiers();
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    67
    }
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    68
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    69
    @Override
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    70
    public int getReferenceKind() {
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    71
        return referenceKind;
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    72
    }
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    73
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    74
    @Override
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    75
    public String toString() {
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    76
        return MethodHandleInfo.toString(getReferenceKind(), getDeclaringClass(), getName(), getMethodType());
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    77
    }
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    78
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    79
    @Override
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    80
    public <T extends Member> T reflectAs(Class<T> expected, Lookup lookup) {
36934
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents: 29986
diff changeset
    81
        if ((member.isMethodHandleInvoke() || member.isVarHandleMethodInvoke())
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents: 29986
diff changeset
    82
            && !member.isVarargs()) {
19804
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    83
            // This member is an instance of a signature-polymorphic method, which cannot be reflected
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    84
            // A method handle invoker can come in either of two forms:
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    85
            // A generic placeholder (present in the source code, and varargs)
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    86
            // and a signature-polymorphic instance (synthetic and not varargs).
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    87
            // For more information see comments on {@link MethodHandleNatives#linkMethod}.
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    88
            throw new IllegalArgumentException("cannot reflect signature polymorphic method");
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    89
        }
29986
97167d851fc4 8078467: Update core libraries to use diamond with anonymous classes
darcy
parents: 25859
diff changeset
    90
        Member mem = AccessController.doPrivileged(new PrivilegedAction<>() {
19804
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    91
                public Member run() {
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    92
                    try {
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    93
                        return reflectUnchecked();
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    94
                    } catch (ReflectiveOperationException ex) {
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    95
                        throw new IllegalArgumentException(ex);
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    96
                    }
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    97
                }
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    98
            });
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
    99
        try {
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   100
            Class<?> defc = getDeclaringClass();
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   101
            byte refKind = (byte) getReferenceKind();
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   102
            lookup.checkAccess(refKind, defc, convertToMemberName(refKind, mem));
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   103
        } catch (IllegalAccessException ex) {
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   104
            throw new IllegalArgumentException(ex);
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   105
        }
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   106
        return expected.cast(mem);
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   107
    }
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   108
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   109
    private Member reflectUnchecked() throws ReflectiveOperationException {
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   110
        byte refKind = (byte) getReferenceKind();
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   111
        Class<?> defc = getDeclaringClass();
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   112
        boolean isPublic = Modifier.isPublic(getModifiers());
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   113
        if (MethodHandleNatives.refKindIsMethod(refKind)) {
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   114
            if (isPublic)
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   115
                return defc.getMethod(getName(), getMethodType().parameterArray());
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   116
            else
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   117
                return defc.getDeclaredMethod(getName(), getMethodType().parameterArray());
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   118
        } else if (MethodHandleNatives.refKindIsConstructor(refKind)) {
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   119
            if (isPublic)
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   120
                return defc.getConstructor(getMethodType().parameterArray());
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   121
            else
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   122
                return defc.getDeclaredConstructor(getMethodType().parameterArray());
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   123
        } else if (MethodHandleNatives.refKindIsField(refKind)) {
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   124
            if (isPublic)
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   125
                return defc.getField(getName());
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   126
            else
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   127
                return defc.getDeclaredField(getName());
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   128
        } else {
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   129
            throw new IllegalArgumentException("referenceKind="+refKind);
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   130
        }
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   131
    }
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   132
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   133
    private static MemberName convertToMemberName(byte refKind, Member mem) throws IllegalAccessException {
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   134
        if (mem instanceof Method) {
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   135
            boolean wantSpecial = (refKind == REF_invokeSpecial);
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   136
            return new MemberName((Method) mem, wantSpecial);
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   137
        } else if (mem instanceof Constructor) {
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   138
            return new MemberName((Constructor) mem);
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   139
        } else if (mem instanceof Field) {
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   140
            boolean isSetter = (refKind == REF_putField || refKind == REF_putStatic);
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   141
            return new MemberName((Field) mem, isSetter);
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   142
        }
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   143
        throw new InternalError(mem.getClass().getName());
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   144
    }
83170920c07b 8008688: Make MethodHandleInfo public
rfield
parents:
diff changeset
   145
}