test/jdk/java/lang/invoke/condy/CondyBSMInvocation.java
author psandoz
Wed, 11 Apr 2018 11:11:13 -0700
changeset 49576 535498e7602f
parent 48826 c4d9d1b08e2e
permissions -rw-r--r--
8199875: Require first parameter type of a condy bootstrap to be Lookup Reviewed-by: jrose
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
     1
/*
49576
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
     2
 * Copyright (c) 2017, 2018, Oracle and/or its affiliates. All rights reserved.
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
     4
 *
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
     7
 * published by the Free Software Foundation.
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
     8
 *
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    13
 * accompanied this code).
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    14
 *
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    18
 *
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    21
 * questions.
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    22
 */
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    23
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    24
/*
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    25
 * @test
49576
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    26
 * @bug 8186046 8199875
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    27
 * @summary Test basic invocation of bootstrap methods
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    28
 * @library /lib/testlibrary/bytecode /java/lang/invoke/common
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    29
 * @build jdk.experimental.bytecode.BasicClassBuilder test.java.lang.invoke.lib.InstructionHelper
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    30
 * @run testng CondyBSMInvocation
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    31
 * @run testng/othervm -XX:+UnlockDiagnosticVMOptions -XX:UseBootstrapCallInfo=3 CondyBSMInvocation
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    32
 */
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    33
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    34
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    35
import org.testng.Assert;
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    36
import org.testng.annotations.Test;
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    37
import test.java.lang.invoke.lib.InstructionHelper;
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    38
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    39
import java.lang.invoke.MethodHandle;
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    40
import java.lang.invoke.MethodHandles;
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    41
import java.lang.invoke.MethodType;
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    42
import java.lang.invoke.WrongMethodTypeException;
49576
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    43
import java.util.Arrays;
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    44
import java.util.Collections;
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    45
import java.util.stream.IntStream;
49576
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    46
import java.util.stream.Stream;
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    47
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    48
import static java.lang.invoke.MethodType.methodType;
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    49
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    50
public class CondyBSMInvocation {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    51
    static final MethodHandles.Lookup L = MethodHandles.lookup();
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    52
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    53
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    54
    @Test
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    55
    public void testNonexistent() throws Throwable {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    56
        MethodHandle mh = InstructionHelper.ldcDynamicConstant(
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    57
                L, "name", Object.class,
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    58
                "bsm", methodType(Object.class),
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    59
                S -> {});
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    60
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    61
        try {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    62
            mh.invoke();
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    63
            Assert.fail("NoSuchMethodError expected to be thrown");
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    64
        } catch (NoSuchMethodError e) {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    65
        }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    66
    }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    67
49576
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    68
    static MethodHandle[] bsms(String bsmName) {
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    69
        return Stream.of(CondyBSMInvocation.class.getDeclaredMethods()).
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    70
                filter(m -> m.getName().equals(bsmName)).
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    71
                map(m -> {
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    72
                    try {
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    73
                        return MethodHandles.lookup().unreflect(m);
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    74
                    } catch (IllegalAccessException e) {
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    75
                        throw new RuntimeException();
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    76
                    }
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    77
                }).toArray(MethodHandle[]::new);
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    78
    }
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    79
49576
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    80
    public static Object shape_bsm() {
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    81
        return "0";
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    82
    }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    83
49576
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    84
    public static Object shape_bsm(Object a1) {
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    85
        return "0";
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    86
    }
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    87
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    88
    public static Object shape_bsm(Object... args) {
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    89
        return "0";
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    90
    }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
    91
49576
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    92
    public static Object shape_bsm(Object a1, Object a2) {
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    93
        return "0";
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    94
    }
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    95
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    96
    public static Object shape_bsm(Object a1, Object... args) {
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    97
        return "0";
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    98
    }
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
    99
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   100
    public static Object shape_bsm(Object a1, Object a2, Object a3) {
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   101
        return "0";
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   102
    }
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   103
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   104
    public static Object shape_bsm(MethodHandles.Lookup a1) {
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   105
        return "0";
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   106
    }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   107
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   108
    @Test
49576
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   109
    public void testWrongShape() throws Throwable {
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   110
        for (MethodHandle bsm : bsms("shape_bsm")) {
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   111
            MethodHandle mh = InstructionHelper.ldcDynamicConstant(
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   112
                    L, "name", Object.class,
49576
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   113
                    "shape_bsm", bsm.type(),
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   114
                    S -> {}
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   115
            );
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   116
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   117
            try {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   118
                Object r = mh.invoke();
49576
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   119
                Assert.fail("BootstrapMethodError expected to be thrown for " + bsm);
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   120
            } catch (BootstrapMethodError e) {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   121
            }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   122
        }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   123
    }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   124
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   125
49576
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   126
    public static Object sig_bsm(MethodHandles.Lookup a1, String[] a2) {
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   127
        return "0";
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   128
    }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   129
49576
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   130
    public static Object sig_bsm(MethodHandles.Lookup a1, String a2, String a3) {
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   131
        return "0";
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   132
    }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   133
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   134
    @Test
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   135
    public void testWrongSignature() throws Throwable {
49576
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   136
        for (MethodHandle bsm : bsms("sig_bsm")) {
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   137
            MethodHandle mh = InstructionHelper.ldcDynamicConstant(
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   138
                    L, "name", Object.class,
49576
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   139
                    "sig_bsm", bsm.type(),
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   140
                    S -> {}
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   141
            );
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   142
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   143
            try {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   144
                Object r = mh.invoke();
49576
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   145
                Assert.fail("BootstrapMethodError expected to be thrown for " + bsm);
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   146
            } catch (BootstrapMethodError e) {
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   147
            }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   148
        }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   149
    }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   150
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   151
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   152
    public static Object bsm(MethodHandles.Lookup l, String name, Class<?> type) {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   153
        return "0";
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   154
    }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   155
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   156
    public static Object bsm(MethodHandles.Lookup l, String name, Class<?> type,
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   157
                             Object a1) {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   158
        assertAll(a1);
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   159
        return "1";
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   160
    }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   161
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   162
    public static Object bsm(MethodHandles.Lookup l, String name, Class<?> type,
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   163
                             Object a1, Object a2) {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   164
        assertAll(a1, a2);
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   165
        return "2";
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   166
    }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   167
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   168
    public static Object bsm(MethodHandles.Lookup l, String name, Class<?> type,
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   169
                             Object a1, Object a2, Object a3) {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   170
        assertAll(a1, a2, a3);
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   171
        return "3";
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   172
    }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   173
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   174
    public static Object bsm(MethodHandles.Lookup l, String name, Class<?> type,
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   175
                             Object a1, Object a2, Object a3, Object a4) {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   176
        assertAll(a1, a2, a3, a4);
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   177
        return "4";
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   178
    }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   179
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   180
    public static Object bsm(MethodHandles.Lookup l, String name, Class<?> type,
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   181
                             Object a1, Object a2, Object a3, Object a4, Object a5) {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   182
        assertAll(a1, a2, a3, a4, a5);
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   183
        return "5";
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   184
    }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   185
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   186
    public static Object bsm(MethodHandles.Lookup l, String name, Class<?> type,
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   187
                             Object a1, Object a2, Object a3, Object a4, Object a5, Object a6) {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   188
        assertAll(a1, a2, a3, a4, a5, a6);
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   189
        return "6";
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   190
    }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   191
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   192
    public static Object bsm(MethodHandles.Lookup l, String name, Class<?> type,
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   193
                             Object a1, Object a2, Object a3, Object a4, Object a5, Object a6, Object a7) {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   194
        assertAll(a1, a2, a3, a4, a5, a6, a7);
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   195
        return "7";
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   196
    }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   197
49576
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   198
    public static Object bsm(MethodHandles.Lookup l, Object... args) {
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   199
        Object[] staticArgs = Arrays.copyOfRange(args, 2, args.length);
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   200
        assertAll(staticArgs);
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   201
        return Integer.toString(staticArgs.length);
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   202
    }
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   203
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   204
    static void assertAll(Object... as) {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   205
        for (int i = 0; i < as.length; i++) {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   206
            Assert.assertEquals(as[i], i);
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   207
        }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   208
    }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   209
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   210
    @Test
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   211
    public void testArity() throws Throwable {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   212
        for (int i = 0; i < 8; i++) {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   213
            final int n = i;
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   214
            MethodType mt = methodType(Object.class, MethodHandles.Lookup.class, String.class, Class.class)
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   215
                    .appendParameterTypes(Collections.nCopies(n, Object.class));
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   216
            MethodHandle mh = InstructionHelper.ldcDynamicConstant(
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   217
                    L, "name", Object.class,
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   218
                    "bsm", mt,
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   219
                    S -> IntStream.range(0, n).forEach(S::add)
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   220
                    );
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   221
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   222
            Object r = mh.invoke();
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   223
            Assert.assertEquals(r, Integer.toString(n));
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   224
        }
49576
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   225
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   226
        {
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   227
            MethodType mt = methodType(Object.class, MethodHandles.Lookup.class, Object[].class);
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   228
            MethodHandle mh = InstructionHelper.ldcDynamicConstant(
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   229
                    L, "name", Object.class,
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   230
                    "bsm", mt,
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   231
                    S -> IntStream.range(0, 9).forEach(S::add)
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   232
            );
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   233
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   234
            Object r = mh.invoke();
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   235
            Assert.assertEquals(r, Integer.toString(9));
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   236
535498e7602f 8199875: Require first parameter type of a condy bootstrap to be Lookup
psandoz
parents: 48826
diff changeset
   237
        }
48826
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   238
    }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   239
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   240
    @Test
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   241
    public void testWrongNumberOfStaticArguments() throws Throwable {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   242
        for (int i = 1; i < 8; i++) {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   243
            final int n = i;
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   244
            MethodType mt = methodType(Object.class, MethodHandles.Lookup.class, String.class, Class.class)
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   245
                    .appendParameterTypes(Collections.nCopies(n, Object.class));
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   246
            MethodHandle mh = InstructionHelper.ldcDynamicConstant(
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   247
                    L, "name", Object.class,
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   248
                    "bsm", mt,
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   249
                    S -> IntStream.range(0, n - 1).forEach(S::add)
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   250
            );
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   251
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   252
            try {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   253
                Object r = mh.invoke();
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   254
                Assert.fail("BootstrapMethodError expected to be thrown for arrity " + n);
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   255
            } catch (BootstrapMethodError e) {
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   256
                Throwable t = e.getCause();
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   257
                Assert.assertTrue(WrongMethodTypeException.class.isAssignableFrom(t.getClass()));
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   258
            }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   259
        }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   260
    }
c4d9d1b08e2e 8186209: Tool support for ConstantDynamic
psandoz
parents:
diff changeset
   261
}