src/java.base/share/classes/sun/reflect/annotation/AnnotationInvocationHandler.java
author chegar
Thu, 17 Oct 2019 20:54:25 +0100
branchdatagramsocketimpl-branch
changeset 58679 9c3209ff7550
parent 58678 9cf78a70fa4f
parent 58520 e036ee8bae56
permissions -rw-r--r--
datagramsocketimpl-branch: merge with default
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     1
/*
55387
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
     2
 * Copyright (c) 2003, 2019, Oracle and/or its affiliates. All rights reserved.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
90ce3da70b43 Initial load
duke
parents:
diff changeset
     4
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
90ce3da70b43 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 3959
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 3959
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    10
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
90ce3da70b43 Initial load
duke
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
90ce3da70b43 Initial load
duke
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
90ce3da70b43 Initial load
duke
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
90ce3da70b43 Initial load
duke
parents:
diff changeset
    15
 * accompanied this code).
90ce3da70b43 Initial load
duke
parents:
diff changeset
    16
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
90ce3da70b43 Initial load
duke
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    20
 *
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 3959
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 3959
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 3959
diff changeset
    23
 * questions.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    24
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    25
90ce3da70b43 Initial load
duke
parents:
diff changeset
    26
package sun.reflect.annotation;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    27
35295
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
    28
import java.io.ObjectInputStream;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    29
import java.lang.annotation.*;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    30
import java.lang.reflect.*;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    31
import java.io.Serializable;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    32
import java.util.*;
40116
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
    33
import java.util.stream.*;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    34
import java.security.AccessController;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    35
import java.security.PrivilegedAction;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    36
90ce3da70b43 Initial load
duke
parents:
diff changeset
    37
/**
90ce3da70b43 Initial load
duke
parents:
diff changeset
    38
 * InvocationHandler for dynamic proxy implementation of Annotation.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    39
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    40
 * @author  Josh Bloch
90ce3da70b43 Initial load
duke
parents:
diff changeset
    41
 * @since   1.5
90ce3da70b43 Initial load
duke
parents:
diff changeset
    42
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    43
class AnnotationInvocationHandler implements InvocationHandler, Serializable {
57956
e0b8b019d2f5 8229997: Apply java.io.Serial annotations in java.base
darcy
parents: 55387
diff changeset
    44
    @java.io.Serial
10357
c2cde4cd24a1 7080038: (ann) Serializable types in sun.reflect.annotation do not declare serialVersionUIDs
darcy
parents: 5506
diff changeset
    45
    private static final long serialVersionUID = 6182022883658399397L;
3959
05a07c0a273b 5062288: (reflect) Core reflection uses raw types when it could be using wildcards
darcy
parents: 1508
diff changeset
    46
    private final Class<? extends Annotation> type;
58520
e036ee8bae56 8231202: Suppress warnings on non-serializable non-transient instance fields in serializable classes
darcy
parents: 57956
diff changeset
    47
    @SuppressWarnings("serial") // Not statically typed as Serializable
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    48
    private final Map<String, Object> memberValues;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    49
3959
05a07c0a273b 5062288: (reflect) Core reflection uses raw types when it could be using wildcards
darcy
parents: 1508
diff changeset
    50
    AnnotationInvocationHandler(Class<? extends Annotation> type, Map<String, Object> memberValues) {
27069
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
    51
        Class<?>[] superInterfaces = type.getInterfaces();
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
    52
        if (!type.isAnnotation() ||
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
    53
            superInterfaces.length != 1 ||
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
    54
            superInterfaces[0] != java.lang.annotation.Annotation.class)
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
    55
            throw new AnnotationFormatError("Attempt to create proxy for a non-annotation type.");
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    56
        this.type = type;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    57
        this.memberValues = memberValues;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    58
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    59
90ce3da70b43 Initial load
duke
parents:
diff changeset
    60
    public Object invoke(Object proxy, Method method, Object[] args) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    61
        String member = method.getName();
47436
389695e5e8db 8189266: (ann) Optimize AnnotationInvocationHandler.invoke
redestad
parents: 47216
diff changeset
    62
        int parameterCount = method.getParameterCount();
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    63
90ce3da70b43 Initial load
duke
parents:
diff changeset
    64
        // Handle Object and Annotation methods
47436
389695e5e8db 8189266: (ann) Optimize AnnotationInvocationHandler.invoke
redestad
parents: 47216
diff changeset
    65
        if (parameterCount == 1 && member == "equals" &&
389695e5e8db 8189266: (ann) Optimize AnnotationInvocationHandler.invoke
redestad
parents: 47216
diff changeset
    66
                method.getParameterTypes()[0] == Object.class) {
39043
815e52744068 8071859: AnnotationInvocationHandler.equals(Object) return true when apply to annotation
darcy
parents: 38770
diff changeset
    67
            return equalsImpl(proxy, args[0]);
47436
389695e5e8db 8189266: (ann) Optimize AnnotationInvocationHandler.invoke
redestad
parents: 47216
diff changeset
    68
        }
389695e5e8db 8189266: (ann) Optimize AnnotationInvocationHandler.invoke
redestad
parents: 47216
diff changeset
    69
        if (parameterCount != 0) {
27069
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
    70
            throw new AssertionError("Too many parameters for an annotation method");
47436
389695e5e8db 8189266: (ann) Optimize AnnotationInvocationHandler.invoke
redestad
parents: 47216
diff changeset
    71
        }
27069
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
    72
47436
389695e5e8db 8189266: (ann) Optimize AnnotationInvocationHandler.invoke
redestad
parents: 47216
diff changeset
    73
        if (member == "toString") {
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    74
            return toStringImpl();
47436
389695e5e8db 8189266: (ann) Optimize AnnotationInvocationHandler.invoke
redestad
parents: 47216
diff changeset
    75
        } else if (member == "hashCode") {
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    76
            return hashCodeImpl();
47436
389695e5e8db 8189266: (ann) Optimize AnnotationInvocationHandler.invoke
redestad
parents: 47216
diff changeset
    77
        } else if (member == "annotationType") {
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    78
            return type;
27069
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
    79
        }
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    80
90ce3da70b43 Initial load
duke
parents:
diff changeset
    81
        // Handle annotation member accessors
90ce3da70b43 Initial load
duke
parents:
diff changeset
    82
        Object result = memberValues.get(member);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    83
90ce3da70b43 Initial load
duke
parents:
diff changeset
    84
        if (result == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
    85
            throw new IncompleteAnnotationException(type, member);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    86
90ce3da70b43 Initial load
duke
parents:
diff changeset
    87
        if (result instanceof ExceptionProxy)
90ce3da70b43 Initial load
duke
parents:
diff changeset
    88
            throw ((ExceptionProxy) result).generateException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
    89
90ce3da70b43 Initial load
duke
parents:
diff changeset
    90
        if (result.getClass().isArray() && Array.getLength(result) != 0)
90ce3da70b43 Initial load
duke
parents:
diff changeset
    91
            result = cloneArray(result);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    92
90ce3da70b43 Initial load
duke
parents:
diff changeset
    93
        return result;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    94
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    95
90ce3da70b43 Initial load
duke
parents:
diff changeset
    96
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
    97
     * This method, which clones its array argument, would not be necessary
90ce3da70b43 Initial load
duke
parents:
diff changeset
    98
     * if Cloneable had a public clone method.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    99
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   100
    private Object cloneArray(Object array) {
3959
05a07c0a273b 5062288: (reflect) Core reflection uses raw types when it could be using wildcards
darcy
parents: 1508
diff changeset
   101
        Class<?> type = array.getClass();
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   102
90ce3da70b43 Initial load
duke
parents:
diff changeset
   103
        if (type == byte[].class) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   104
            byte[] byteArray = (byte[])array;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   105
            return byteArray.clone();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   106
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   107
        if (type == char[].class) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   108
            char[] charArray = (char[])array;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   109
            return charArray.clone();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   110
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   111
        if (type == double[].class) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   112
            double[] doubleArray = (double[])array;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   113
            return doubleArray.clone();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   114
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   115
        if (type == float[].class) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   116
            float[] floatArray = (float[])array;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   117
            return floatArray.clone();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   118
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   119
        if (type == int[].class) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   120
            int[] intArray = (int[])array;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   121
            return intArray.clone();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   122
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   123
        if (type == long[].class) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   124
            long[] longArray = (long[])array;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   125
            return longArray.clone();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   126
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   127
        if (type == short[].class) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   128
            short[] shortArray = (short[])array;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   129
            return shortArray.clone();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   130
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   131
        if (type == boolean[].class) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   132
            boolean[] booleanArray = (boolean[])array;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   133
            return booleanArray.clone();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   134
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   135
90ce3da70b43 Initial load
duke
parents:
diff changeset
   136
        Object[] objectArray = (Object[])array;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   137
        return objectArray.clone();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   138
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   139
90ce3da70b43 Initial load
duke
parents:
diff changeset
   140
90ce3da70b43 Initial load
duke
parents:
diff changeset
   141
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   142
     * Implementation of dynamicProxy.toString()
90ce3da70b43 Initial load
duke
parents:
diff changeset
   143
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   144
    private String toStringImpl() {
27069
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   145
        StringBuilder result = new StringBuilder(128);
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   146
        result.append('@');
90ce3da70b43 Initial load
duke
parents:
diff changeset
   147
        result.append(type.getName());
90ce3da70b43 Initial load
duke
parents:
diff changeset
   148
        result.append('(');
90ce3da70b43 Initial load
duke
parents:
diff changeset
   149
        boolean firstMember = true;
55387
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   150
        Set<Map.Entry<String, Object>> entries = memberValues.entrySet();
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   151
        boolean loneValue = entries.size() == 1;
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   152
        for (Map.Entry<String, Object> e : entries) {
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   153
            if (firstMember)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   154
                firstMember = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   155
            else
90ce3da70b43 Initial load
duke
parents:
diff changeset
   156
                result.append(", ");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   157
55387
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   158
            String key = e.getKey();
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   159
            if (!loneValue || !"value".equals(key)) {
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   160
                result.append(key);
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   161
                result.append('=');
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   162
            }
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   163
            loneValue = false;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   164
            result.append(memberValueToString(e.getValue()));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   165
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   166
        result.append(')');
90ce3da70b43 Initial load
duke
parents:
diff changeset
   167
        return result.toString();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   168
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   169
90ce3da70b43 Initial load
duke
parents:
diff changeset
   170
    /**
38770
e8746fa36f1a 5040830: (ann) please improve toString() for annotations containing exception proxies
darcy
parents: 35295
diff changeset
   171
     * Translates a member value (in "dynamic proxy return form") into a string.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   172
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   173
    private static String memberValueToString(Object value) {
3959
05a07c0a273b 5062288: (reflect) Core reflection uses raw types when it could be using wildcards
darcy
parents: 1508
diff changeset
   174
        Class<?> type = value.getClass();
40116
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   175
        if (!type.isArray()) {
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   176
            // primitive value, string, class, enum const, or annotation
38770
e8746fa36f1a 5040830: (ann) please improve toString() for annotations containing exception proxies
darcy
parents: 35295
diff changeset
   177
            if (type == Class.class)
40116
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   178
                return toSourceString((Class<?>) value);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   179
            else if (type == String.class)
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   180
                return  toSourceString((String) value);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   181
            if (type == Character.class)
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   182
                return toSourceString((char) value);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   183
            else if (type == Double.class)
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   184
                return  toSourceString((double) value);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   185
            else if (type == Float.class)
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   186
                return  toSourceString((float) value);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   187
            else if (type == Long.class)
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   188
                return  toSourceString((long) value);
55387
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   189
            else if (type == Byte.class)
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   190
                return  toSourceString((byte) value);
38770
e8746fa36f1a 5040830: (ann) please improve toString() for annotations containing exception proxies
darcy
parents: 35295
diff changeset
   191
            else
e8746fa36f1a 5040830: (ann) please improve toString() for annotations containing exception proxies
darcy
parents: 35295
diff changeset
   192
                return value.toString();
40116
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   193
        } else {
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   194
            Stream<String> stringStream;
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   195
            if (type == byte[].class)
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   196
                stringStream = convert((byte[]) value);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   197
            else if (type == char[].class)
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   198
                stringStream = convert((char[]) value);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   199
            else if (type == double[].class)
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   200
                stringStream = DoubleStream.of((double[]) value)
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   201
                    .mapToObj(AnnotationInvocationHandler::toSourceString);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   202
            else if (type == float[].class)
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   203
                stringStream = convert((float[]) value);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   204
            else if (type == int[].class)
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   205
                stringStream = IntStream.of((int[]) value).mapToObj(String::valueOf);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   206
            else if (type == long[].class) {
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   207
                stringStream = LongStream.of((long[]) value)
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   208
                    .mapToObj(AnnotationInvocationHandler::toSourceString);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   209
            } else if (type == short[].class)
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   210
                stringStream = convert((short[]) value);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   211
            else if (type == boolean[].class)
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   212
                stringStream = convert((boolean[]) value);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   213
            else if (type == Class[].class)
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   214
                stringStream =
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   215
                    Arrays.stream((Class<?>[]) value).
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   216
                    map(AnnotationInvocationHandler::toSourceString);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   217
            else if (type == String[].class)
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   218
                stringStream =
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   219
                    Arrays.stream((String[])value).
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   220
                    map(AnnotationInvocationHandler::toSourceString);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   221
            else
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   222
                stringStream = Arrays.stream((Object[])value).map(Objects::toString);
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   223
40116
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   224
            return stringStreamToString(stringStream);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   225
        }
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   226
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   227
90ce3da70b43 Initial load
duke
parents:
diff changeset
   228
    /**
38770
e8746fa36f1a 5040830: (ann) please improve toString() for annotations containing exception proxies
darcy
parents: 35295
diff changeset
   229
     * Translates a Class value to a form suitable for use in the
e8746fa36f1a 5040830: (ann) please improve toString() for annotations containing exception proxies
darcy
parents: 35295
diff changeset
   230
     * string representation of an annotation.
e8746fa36f1a 5040830: (ann) please improve toString() for annotations containing exception proxies
darcy
parents: 35295
diff changeset
   231
     */
40116
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   232
    private static String toSourceString(Class<?> clazz) {
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   233
        Class<?> finalComponent = clazz;
55387
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   234
        StringBuilder arrayBrackets = new StringBuilder();
40116
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   235
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   236
        while(finalComponent.isArray()) {
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   237
            finalComponent = finalComponent.getComponentType();
55387
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   238
            arrayBrackets.append("[]");
40116
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   239
        }
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   240
55387
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   241
        return finalComponent.getName() + arrayBrackets.toString() + ".class";
40116
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   242
    }
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   243
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   244
    private static String toSourceString(float f) {
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   245
        if (Float.isFinite(f))
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   246
            return Float.toString(f) + "f" ;
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   247
        else {
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   248
            if (Float.isInfinite(f)) {
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   249
                return (f < 0.0f) ? "-1.0f/0.0f": "1.0f/0.0f";
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   250
            } else
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   251
                return "0.0f/0.0f";
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   252
        }
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   253
    }
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   254
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   255
    private static String toSourceString(double d) {
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   256
        if (Double.isFinite(d))
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   257
            return Double.toString(d);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   258
        else {
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   259
            if (Double.isInfinite(d)) {
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   260
                return (d < 0.0f) ? "-1.0/0.0": "1.0/0.0";
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   261
            } else
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   262
                return "0.0/0.0";
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   263
        }
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   264
    }
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   265
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   266
    private static String toSourceString(char c) {
41882
0549e50db4bf 8168921: Inconsistent Annotation.toString()
igerasim
parents: 40116
diff changeset
   267
        StringBuilder sb = new StringBuilder(4);
0549e50db4bf 8168921: Inconsistent Annotation.toString()
igerasim
parents: 40116
diff changeset
   268
        sb.append('\'');
55387
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   269
        sb.append(quote(c));
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   270
        return sb.append('\'') .toString();
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   271
    }
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   272
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   273
    /**
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   274
     * Escapes a character if it has an escape sequence or is
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   275
     * non-printable ASCII.  Leaves non-ASCII characters alone.
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   276
     */
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   277
    private static String quote(char ch) {
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   278
        switch (ch) {
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   279
        case '\b':  return "\\b";
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   280
        case '\f':  return "\\f";
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   281
        case '\n':  return "\\n";
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   282
        case '\r':  return "\\r";
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   283
        case '\t':  return "\\t";
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   284
        case '\'':  return "\\'";
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   285
        case '\"':  return "\\\"";
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   286
        case '\\':  return "\\\\";
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   287
        default:
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   288
            return (isPrintableAscii(ch))
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   289
                ? String.valueOf(ch)
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   290
                : String.format("\\u%04x", (int) ch);
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   291
        }
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   292
    }
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   293
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   294
    /**
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   295
     * Is a character printable ASCII?
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   296
     */
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   297
    private static boolean isPrintableAscii(char ch) {
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   298
        return ch >= ' ' && ch <= '~';
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   299
    }
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   300
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   301
    private static String toSourceString(byte b) {
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   302
        return String.format("(byte)0x%02x", b);
40116
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   303
    }
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   304
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   305
    private static String toSourceString(long ell) {
55387
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   306
        return String.valueOf(ell) + "L";
38770
e8746fa36f1a 5040830: (ann) please improve toString() for annotations containing exception proxies
darcy
parents: 35295
diff changeset
   307
    }
e8746fa36f1a 5040830: (ann) please improve toString() for annotations containing exception proxies
darcy
parents: 35295
diff changeset
   308
40116
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   309
    /**
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   310
     * Return a string suitable for use in the string representation
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   311
     * of an annotation.
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   312
     */
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   313
    private static String toSourceString(String s) {
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   314
        StringBuilder sb = new StringBuilder();
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   315
        sb.append('"');
55387
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   316
        for (int i = 0; i < s.length(); i++) {
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   317
            sb.append(quote(s.charAt(i)));
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   318
        }
40116
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   319
        sb.append('"');
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   320
        return sb.toString();
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   321
    }
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   322
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   323
    private static Stream<String> convert(byte[] values) {
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   324
        List<String> list = new ArrayList<>(values.length);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   325
        for (byte b : values)
55387
761b86d5563d 8164819: Make javac's toString() on annotation objects consistent with core reflection
darcy
parents: 52220
diff changeset
   326
            list.add(toSourceString(b));
40116
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   327
        return list.stream();
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   328
    }
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   329
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   330
    private static Stream<String> convert(char[] values) {
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   331
        List<String> list = new ArrayList<>(values.length);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   332
        for (char c : values)
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   333
            list.add(toSourceString(c));
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   334
        return list.stream();
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   335
    }
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   336
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   337
    private static Stream<String> convert(float[] values) {
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   338
        List<String> list = new ArrayList<>(values.length);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   339
        for (float f : values) {
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   340
            list.add(toSourceString(f));
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   341
        }
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   342
        return list.stream();
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   343
    }
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   344
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   345
    private static Stream<String> convert(short[] values) {
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   346
        List<String> list = new ArrayList<>(values.length);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   347
        for (short s : values)
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   348
            list.add(Short.toString(s));
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   349
        return list.stream();
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   350
    }
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   351
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   352
    private static Stream<String> convert(boolean[] values) {
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   353
        List<String> list = new ArrayList<>(values.length);
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   354
        for (boolean b : values)
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   355
            list.add(Boolean.toString(b));
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   356
        return list.stream();
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   357
    }
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   358
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   359
    private static String stringStreamToString(Stream<String> stream) {
9bde91c0d0ef 8162817: Annotation toString output not reusable for source input
darcy
parents: 39043
diff changeset
   360
        return stream.collect(Collectors.joining(", ", "{", "}"));
38770
e8746fa36f1a 5040830: (ann) please improve toString() for annotations containing exception proxies
darcy
parents: 35295
diff changeset
   361
    }
e8746fa36f1a 5040830: (ann) please improve toString() for annotations containing exception proxies
darcy
parents: 35295
diff changeset
   362
e8746fa36f1a 5040830: (ann) please improve toString() for annotations containing exception proxies
darcy
parents: 35295
diff changeset
   363
    /**
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   364
     * Implementation of dynamicProxy.equals(Object o)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   365
     */
39043
815e52744068 8071859: AnnotationInvocationHandler.equals(Object) return true when apply to annotation
darcy
parents: 38770
diff changeset
   366
    private Boolean equalsImpl(Object proxy, Object o) {
815e52744068 8071859: AnnotationInvocationHandler.equals(Object) return true when apply to annotation
darcy
parents: 38770
diff changeset
   367
        if (o == proxy)
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   368
            return true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   369
90ce3da70b43 Initial load
duke
parents:
diff changeset
   370
        if (!type.isInstance(o))
90ce3da70b43 Initial load
duke
parents:
diff changeset
   371
            return false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   372
        for (Method memberMethod : getMemberMethods()) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   373
            String member = memberMethod.getName();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   374
            Object ourValue = memberValues.get(member);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   375
            Object hisValue = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   376
            AnnotationInvocationHandler hisHandler = asOneOfUs(o);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   377
            if (hisHandler != null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   378
                hisValue = hisHandler.memberValues.get(member);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   379
            } else {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   380
                try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   381
                    hisValue = memberMethod.invoke(o);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   382
                } catch (InvocationTargetException e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   383
                    return false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   384
                } catch (IllegalAccessException e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   385
                    throw new AssertionError(e);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   386
                }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   387
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   388
            if (!memberValueEquals(ourValue, hisValue))
90ce3da70b43 Initial load
duke
parents:
diff changeset
   389
                return false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   390
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   391
        return true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   392
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   393
90ce3da70b43 Initial load
duke
parents:
diff changeset
   394
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   395
     * Returns an object's invocation handler if that object is a dynamic
90ce3da70b43 Initial load
duke
parents:
diff changeset
   396
     * proxy with a handler of type AnnotationInvocationHandler.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   397
     * Returns null otherwise.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   398
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   399
    private AnnotationInvocationHandler asOneOfUs(Object o) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   400
        if (Proxy.isProxyClass(o.getClass())) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   401
            InvocationHandler handler = Proxy.getInvocationHandler(o);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   402
            if (handler instanceof AnnotationInvocationHandler)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   403
                return (AnnotationInvocationHandler) handler;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   404
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   405
        return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   406
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   407
90ce3da70b43 Initial load
duke
parents:
diff changeset
   408
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   409
     * Returns true iff the two member values in "dynamic proxy return form"
90ce3da70b43 Initial load
duke
parents:
diff changeset
   410
     * are equal using the appropriate equality function depending on the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   411
     * member type.  The two values will be of the same type unless one of
90ce3da70b43 Initial load
duke
parents:
diff changeset
   412
     * the containing annotations is ill-formed.  If one of the containing
90ce3da70b43 Initial load
duke
parents:
diff changeset
   413
     * annotations is ill-formed, this method will return false unless the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   414
     * two members are identical object references.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   415
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   416
    private static boolean memberValueEquals(Object v1, Object v2) {
3959
05a07c0a273b 5062288: (reflect) Core reflection uses raw types when it could be using wildcards
darcy
parents: 1508
diff changeset
   417
        Class<?> type = v1.getClass();
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   418
90ce3da70b43 Initial load
duke
parents:
diff changeset
   419
        // Check for primitive, string, class, enum const, annotation,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   420
        // or ExceptionProxy
90ce3da70b43 Initial load
duke
parents:
diff changeset
   421
        if (!type.isArray())
90ce3da70b43 Initial load
duke
parents:
diff changeset
   422
            return v1.equals(v2);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   423
90ce3da70b43 Initial load
duke
parents:
diff changeset
   424
        // Check for array of string, class, enum const, annotation,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   425
        // or ExceptionProxy
90ce3da70b43 Initial load
duke
parents:
diff changeset
   426
        if (v1 instanceof Object[] && v2 instanceof Object[])
90ce3da70b43 Initial load
duke
parents:
diff changeset
   427
            return Arrays.equals((Object[]) v1, (Object[]) v2);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   428
90ce3da70b43 Initial load
duke
parents:
diff changeset
   429
        // Check for ill formed annotation(s)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   430
        if (v2.getClass() != type)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   431
            return false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   432
90ce3da70b43 Initial load
duke
parents:
diff changeset
   433
        // Deal with array of primitives
90ce3da70b43 Initial load
duke
parents:
diff changeset
   434
        if (type == byte[].class)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   435
            return Arrays.equals((byte[]) v1, (byte[]) v2);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   436
        if (type == char[].class)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   437
            return Arrays.equals((char[]) v1, (char[]) v2);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   438
        if (type == double[].class)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   439
            return Arrays.equals((double[]) v1, (double[]) v2);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   440
        if (type == float[].class)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   441
            return Arrays.equals((float[]) v1, (float[]) v2);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   442
        if (type == int[].class)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   443
            return Arrays.equals((int[]) v1, (int[]) v2);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   444
        if (type == long[].class)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   445
            return Arrays.equals((long[]) v1, (long[]) v2);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   446
        if (type == short[].class)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   447
            return Arrays.equals((short[]) v1, (short[]) v2);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   448
        assert type == boolean[].class;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   449
        return Arrays.equals((boolean[]) v1, (boolean[]) v2);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   450
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   451
90ce3da70b43 Initial load
duke
parents:
diff changeset
   452
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   453
     * Returns the member methods for our annotation type.  These are
90ce3da70b43 Initial load
duke
parents:
diff changeset
   454
     * obtained lazily and cached, as they're expensive to obtain
90ce3da70b43 Initial load
duke
parents:
diff changeset
   455
     * and we only need them if our equals method is invoked (which should
90ce3da70b43 Initial load
duke
parents:
diff changeset
   456
     * be rare).
90ce3da70b43 Initial load
duke
parents:
diff changeset
   457
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   458
    private Method[] getMemberMethods() {
28056
0cab6eb92852 8065172: More core reflection final and volatile annotations
martin
parents: 27069
diff changeset
   459
        Method[] value = memberMethods;
0cab6eb92852 8065172: More core reflection final and volatile annotations
martin
parents: 27069
diff changeset
   460
        if (value == null) {
0cab6eb92852 8065172: More core reflection final and volatile annotations
martin
parents: 27069
diff changeset
   461
            value = computeMemberMethods();
0cab6eb92852 8065172: More core reflection final and volatile annotations
martin
parents: 27069
diff changeset
   462
            memberMethods = value;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   463
        }
28056
0cab6eb92852 8065172: More core reflection final and volatile annotations
martin
parents: 27069
diff changeset
   464
        return value;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   465
    }
28056
0cab6eb92852 8065172: More core reflection final and volatile annotations
martin
parents: 27069
diff changeset
   466
0cab6eb92852 8065172: More core reflection final and volatile annotations
martin
parents: 27069
diff changeset
   467
    private Method[] computeMemberMethods() {
0cab6eb92852 8065172: More core reflection final and volatile annotations
martin
parents: 27069
diff changeset
   468
        return AccessController.doPrivileged(
0cab6eb92852 8065172: More core reflection final and volatile annotations
martin
parents: 27069
diff changeset
   469
            new PrivilegedAction<Method[]>() {
0cab6eb92852 8065172: More core reflection final and volatile annotations
martin
parents: 27069
diff changeset
   470
                public Method[] run() {
0cab6eb92852 8065172: More core reflection final and volatile annotations
martin
parents: 27069
diff changeset
   471
                    final Method[] methods = type.getDeclaredMethods();
0cab6eb92852 8065172: More core reflection final and volatile annotations
martin
parents: 27069
diff changeset
   472
                    validateAnnotationMethods(methods);
0cab6eb92852 8065172: More core reflection final and volatile annotations
martin
parents: 27069
diff changeset
   473
                    AccessibleObject.setAccessible(methods, true);
0cab6eb92852 8065172: More core reflection final and volatile annotations
martin
parents: 27069
diff changeset
   474
                    return methods;
0cab6eb92852 8065172: More core reflection final and volatile annotations
martin
parents: 27069
diff changeset
   475
                }});
0cab6eb92852 8065172: More core reflection final and volatile annotations
martin
parents: 27069
diff changeset
   476
    }
0cab6eb92852 8065172: More core reflection final and volatile annotations
martin
parents: 27069
diff changeset
   477
34774
03b4e6dc367b 8145680: Remove unnecessary explicit initialization of volatile variables in java.base
redestad
parents: 28056
diff changeset
   478
    private transient volatile Method[] memberMethods;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   479
90ce3da70b43 Initial load
duke
parents:
diff changeset
   480
    /**
27069
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   481
     * Validates that a method is structurally appropriate for an
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   482
     * annotation type. As of Java SE 8, annotation types cannot
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   483
     * contain static methods and the declared methods of an
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   484
     * annotation type must take zero arguments and there are
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   485
     * restrictions on the return type.
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   486
     */
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   487
    private void validateAnnotationMethods(Method[] memberMethods) {
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   488
        /*
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   489
         * Specification citations below are from JLS
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   490
         * 9.6.1. Annotation Type Elements
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   491
         */
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   492
        boolean valid = true;
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   493
        for(Method method : memberMethods) {
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   494
            /*
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   495
             * "By virtue of the AnnotationTypeElementDeclaration
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   496
             * production, a method declaration in an annotation type
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   497
             * declaration cannot have formal parameters, type
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   498
             * parameters, or a throws clause.
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   499
             *
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   500
             * "By virtue of the AnnotationTypeElementModifier
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   501
             * production, a method declaration in an annotation type
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   502
             * declaration cannot be default or static."
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   503
             */
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   504
            if (method.getModifiers() != (Modifier.PUBLIC | Modifier.ABSTRACT) ||
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   505
                method.isDefault() ||
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   506
                method.getParameterCount() != 0 ||
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   507
                method.getExceptionTypes().length != 0) {
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   508
                valid = false;
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   509
                break;
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   510
            }
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   511
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   512
            /*
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   513
             * "It is a compile-time error if the return type of a
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   514
             * method declared in an annotation type is not one of the
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   515
             * following: a primitive type, String, Class, any
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   516
             * parameterized invocation of Class, an enum type
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   517
             * (section 8.9), an annotation type, or an array type
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   518
             * (chapter 10) whose element type is one of the preceding
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   519
             * types."
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   520
             */
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   521
            Class<?> returnType = method.getReturnType();
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   522
            if (returnType.isArray()) {
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   523
                returnType = returnType.getComponentType();
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   524
                if (returnType.isArray()) { // Only single dimensional arrays
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   525
                    valid = false;
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   526
                    break;
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   527
                }
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   528
            }
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   529
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   530
            if (!((returnType.isPrimitive() && returnType != void.class) ||
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   531
                  returnType == java.lang.String.class ||
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   532
                  returnType == java.lang.Class.class ||
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   533
                  returnType.isEnum() ||
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   534
                  returnType.isAnnotation())) {
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   535
                valid = false;
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   536
                break;
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   537
            }
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   538
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   539
            /*
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   540
             * "It is a compile-time error if any method declared in an
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   541
             * annotation type has a signature that is
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   542
             * override-equivalent to that of any public or protected
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   543
             * method declared in class Object or in the interface
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   544
             * java.lang.annotation.Annotation."
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   545
             *
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   546
             * The methods in Object or Annotation meeting the other
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   547
             * criteria (no arguments, contrained return type, etc.)
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   548
             * above are:
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   549
             *
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   550
             * String toString()
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   551
             * int hashCode()
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   552
             * Class<? extends Annotation> annotationType()
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   553
             */
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   554
            String methodName = method.getName();
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   555
            if ((methodName.equals("toString") && returnType == java.lang.String.class) ||
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   556
                (methodName.equals("hashCode") && returnType == int.class) ||
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   557
                (methodName.equals("annotationType") && returnType == java.lang.Class.class)) {
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   558
                valid = false;
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   559
                break;
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   560
            }
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   561
        }
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   562
        if (valid)
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   563
            return;
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   564
        else
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   565
            throw new AnnotationFormatError("Malformed method on an annotation type");
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   566
    }
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   567
ee10bb4f6dc4 8035781: Improve equality for annotations
darcy
parents: 25859
diff changeset
   568
    /**
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   569
     * Implementation of dynamicProxy.hashCode()
90ce3da70b43 Initial load
duke
parents:
diff changeset
   570
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   571
    private int hashCodeImpl() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   572
        int result = 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   573
        for (Map.Entry<String, Object> e : memberValues.entrySet()) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   574
            result += (127 * e.getKey().hashCode()) ^
90ce3da70b43 Initial load
duke
parents:
diff changeset
   575
                memberValueHashCode(e.getValue());
90ce3da70b43 Initial load
duke
parents:
diff changeset
   576
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   577
        return result;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   578
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   579
90ce3da70b43 Initial load
duke
parents:
diff changeset
   580
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   581
     * Computes hashCode of a member value (in "dynamic proxy return form")
90ce3da70b43 Initial load
duke
parents:
diff changeset
   582
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   583
    private static int memberValueHashCode(Object value) {
3959
05a07c0a273b 5062288: (reflect) Core reflection uses raw types when it could be using wildcards
darcy
parents: 1508
diff changeset
   584
        Class<?> type = value.getClass();
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   585
        if (!type.isArray())    // primitive, string, class, enum const,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   586
                                // or annotation
90ce3da70b43 Initial load
duke
parents:
diff changeset
   587
            return value.hashCode();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   588
90ce3da70b43 Initial load
duke
parents:
diff changeset
   589
        if (type == byte[].class)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   590
            return Arrays.hashCode((byte[]) value);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   591
        if (type == char[].class)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   592
            return Arrays.hashCode((char[]) value);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   593
        if (type == double[].class)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   594
            return Arrays.hashCode((double[]) value);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   595
        if (type == float[].class)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   596
            return Arrays.hashCode((float[]) value);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   597
        if (type == int[].class)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   598
            return Arrays.hashCode((int[]) value);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   599
        if (type == long[].class)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   600
            return Arrays.hashCode((long[]) value);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   601
        if (type == short[].class)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   602
            return Arrays.hashCode((short[]) value);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   603
        if (type == boolean[].class)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   604
            return Arrays.hashCode((boolean[]) value);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   605
        return Arrays.hashCode((Object[]) value);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   606
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   607
57956
e0b8b019d2f5 8229997: Apply java.io.Serial annotations in java.base
darcy
parents: 55387
diff changeset
   608
    @java.io.Serial
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   609
    private void readObject(java.io.ObjectInputStream s)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   610
        throws java.io.IOException, ClassNotFoundException {
35295
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   611
        ObjectInputStream.GetField fields = s.readFields();
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   612
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   613
        @SuppressWarnings("unchecked")
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   614
        Class<? extends Annotation> t = (Class<? extends Annotation>)fields.get("type", null);
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   615
        @SuppressWarnings("unchecked")
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   616
        Map<String, Object> streamVals = (Map<String, Object>)fields.get("memberValues", null);
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   617
90ce3da70b43 Initial load
duke
parents:
diff changeset
   618
        // Check to make sure that types have not evolved incompatibly
90ce3da70b43 Initial load
duke
parents:
diff changeset
   619
90ce3da70b43 Initial load
duke
parents:
diff changeset
   620
        AnnotationType annotationType = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   621
        try {
35295
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   622
            annotationType = AnnotationType.getInstance(t);
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   623
        } catch(IllegalArgumentException e) {
18199
bfd86c4f4249 8001309: Better handling of annotation interfaces
darcy
parents: 10357
diff changeset
   624
            // Class is no longer an annotation type; time to punch out
bfd86c4f4249 8001309: Better handling of annotation interfaces
darcy
parents: 10357
diff changeset
   625
            throw new java.io.InvalidObjectException("Non-annotation type in annotation serial stream");
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   626
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   627
3959
05a07c0a273b 5062288: (reflect) Core reflection uses raw types when it could be using wildcards
darcy
parents: 1508
diff changeset
   628
        Map<String, Class<?>> memberTypes = annotationType.memberTypes();
35295
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   629
        // consistent with runtime Map type
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   630
        Map<String, Object> mv = new LinkedHashMap<>();
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   631
18199
bfd86c4f4249 8001309: Better handling of annotation interfaces
darcy
parents: 10357
diff changeset
   632
        // If there are annotation members without values, that
bfd86c4f4249 8001309: Better handling of annotation interfaces
darcy
parents: 10357
diff changeset
   633
        // situation is handled by the invoke method.
35295
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   634
        for (Map.Entry<String, Object> memberValue : streamVals.entrySet()) {
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   635
            String name = memberValue.getKey();
35295
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   636
            Object value = null;
3959
05a07c0a273b 5062288: (reflect) Core reflection uses raw types when it could be using wildcards
darcy
parents: 1508
diff changeset
   637
            Class<?> memberType = memberTypes.get(name);
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   638
            if (memberType != null) {  // i.e. member still exists
35295
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   639
                value = memberValue.getValue();
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   640
                if (!(memberType.isInstance(value) ||
90ce3da70b43 Initial load
duke
parents:
diff changeset
   641
                      value instanceof ExceptionProxy)) {
35295
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   642
                    value = new AnnotationTypeMismatchExceptionProxy(
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   643
                            value.getClass() + "[" + value + "]").setMember(
35295
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   644
                                annotationType.members().get(name));
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   645
                }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   646
            }
35295
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   647
            mv.put(name, value);
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   648
        }
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   649
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   650
        UnsafeAccessor.setType(this, t);
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   651
        UnsafeAccessor.setMemberValues(this, mv);
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   652
    }
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   653
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   654
    private static class UnsafeAccessor {
46873
7ac2f551b0d6 8182487: Add Unsafe.objectFieldOffset(Class, String)
redestad
parents: 41882
diff changeset
   655
        private static final jdk.internal.misc.Unsafe unsafe
7ac2f551b0d6 8182487: Add Unsafe.objectFieldOffset(Class, String)
redestad
parents: 41882
diff changeset
   656
                = jdk.internal.misc.Unsafe.getUnsafe();
7ac2f551b0d6 8182487: Add Unsafe.objectFieldOffset(Class, String)
redestad
parents: 41882
diff changeset
   657
        private static final long typeOffset = unsafe.objectFieldOffset
7ac2f551b0d6 8182487: Add Unsafe.objectFieldOffset(Class, String)
redestad
parents: 41882
diff changeset
   658
                (AnnotationInvocationHandler.class, "type");
7ac2f551b0d6 8182487: Add Unsafe.objectFieldOffset(Class, String)
redestad
parents: 41882
diff changeset
   659
        private static final long memberValuesOffset = unsafe.objectFieldOffset
7ac2f551b0d6 8182487: Add Unsafe.objectFieldOffset(Class, String)
redestad
parents: 41882
diff changeset
   660
                (AnnotationInvocationHandler.class, "memberValues");
7ac2f551b0d6 8182487: Add Unsafe.objectFieldOffset(Class, String)
redestad
parents: 41882
diff changeset
   661
35295
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   662
        static void setType(AnnotationInvocationHandler o,
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   663
                            Class<? extends Annotation> type) {
52220
9c260a6b6471 8207146: Rename jdk.internal.misc.Unsafe::xxxObject to xxxReference
mchung
parents: 47436
diff changeset
   664
            unsafe.putReference(o, typeOffset, type);
35295
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   665
        }
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   666
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   667
        static void setMemberValues(AnnotationInvocationHandler o,
80c40839a17e 8143185: Cleanup for handling proxies
chegar
parents: 34774
diff changeset
   668
                                    Map<String, Object> memberValues) {
52220
9c260a6b6471 8207146: Rename jdk.internal.misc.Unsafe::xxxObject to xxxReference
mchung
parents: 47436
diff changeset
   669
            unsafe.putReference(o, memberValuesOffset, memberValues);
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   670
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   671
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   672
}