test/jdk/java/lang/invoke/MethodHandlesCastFailureTest.java
changeset 50037 92ec6aec6f06
child 51754 594919232b8f
equal deleted inserted replaced
50036:e0dbf14885b8 50037:92ec6aec6f06
       
     1 /*
       
     2  * Copyright (c) 2018, Oracle and/or its affiliates. All rights reserved.
       
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
       
     4  *
       
     5  * This code is free software; you can redistribute it and/or modify it
       
     6  * under the terms of the GNU General Public License version 2 only, as
       
     7  * published by the Free Software Foundation.
       
     8  *
       
     9  * This code is distributed in the hope that it will be useful, but WITHOUT
       
    10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
       
    11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
       
    12  * version 2 for more details (a copy is included in the LICENSE file that
       
    13  * accompanied this code).
       
    14  *
       
    15  * You should have received a copy of the GNU General Public License version
       
    16  * 2 along with this work; if not, write to the Free Software Foundation,
       
    17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
       
    18  *
       
    19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
       
    20  * or visit www.oracle.com if you need additional information or have any
       
    21  * questions.
       
    22  */
       
    23 
       
    24 /* @test
       
    25  * @summary unit tests for java.lang.invoke.MethodHandles
       
    26  * @library /lib/testlibrary /java/lang/invoke/common
       
    27  * @compile MethodHandlesTest.java MethodHandlesCastFailureTest.java remote/RemoteExample.java
       
    28  * @run junit/othervm/timeout=2500 -XX:+IgnoreUnrecognizedVMOptions
       
    29  *                                 -XX:-VerifyDependencies
       
    30  *                                 -esa
       
    31  *                                 test.java.lang.invoke.MethodHandlesCastFailureTest
       
    32  */
       
    33 
       
    34 package test.java.lang.invoke;
       
    35 
       
    36 import org.junit.*;
       
    37 import test.java.lang.invoke.lib.CodeCacheOverflowProcessor;
       
    38 
       
    39 import java.lang.invoke.MethodHandle;
       
    40 import java.lang.invoke.MethodHandles;
       
    41 import java.lang.invoke.MethodType;
       
    42 
       
    43 import static org.junit.Assert.*;
       
    44 
       
    45 public class MethodHandlesCastFailureTest extends MethodHandlesTest {
       
    46 
       
    47     @Test  // SLOW
       
    48     public void testCastFailure() throws Throwable {
       
    49         CodeCacheOverflowProcessor.runMHTest(this::testCastFailure0);
       
    50     }
       
    51 
       
    52     public void testCastFailure0() throws Throwable {
       
    53         if (CAN_SKIP_WORKING)  return;
       
    54         startTest("testCastFailure");
       
    55         testCastFailure("cast/argument", 11000);
       
    56         if (CAN_TEST_LIGHTLY)  return;
       
    57         testCastFailure("unbox/argument", 11000);
       
    58         testCastFailure("cast/return", 11000);
       
    59         testCastFailure("unbox/return", 11000);
       
    60     }
       
    61 
       
    62     static class Surprise {
       
    63         public MethodHandle asMethodHandle() {
       
    64             return VALUE.bindTo(this);
       
    65         }
       
    66         Object value(Object x) {
       
    67             trace("value", x);
       
    68             if (boo != null)  return boo;
       
    69             return x;
       
    70         }
       
    71         Object boo;
       
    72         void boo(Object x) { boo = x; }
       
    73 
       
    74         static void trace(String x, Object y) {
       
    75             if (verbosity > 8) System.out.println(x+"="+y);
       
    76         }
       
    77         static Object  refIdentity(Object x)  { trace("ref.x", x); return x; }
       
    78         static Integer boxIdentity(Integer x) { trace("box.x", x); return x; }
       
    79         static int     intIdentity(int x)     { trace("int.x", x); return x; }
       
    80         static MethodHandle VALUE, REF_IDENTITY, BOX_IDENTITY, INT_IDENTITY;
       
    81         static {
       
    82             try {
       
    83                 VALUE = PRIVATE.findVirtual(
       
    84                     Surprise.class, "value",
       
    85                         MethodType.methodType(Object.class, Object.class));
       
    86                 REF_IDENTITY = PRIVATE.findStatic(
       
    87                     Surprise.class, "refIdentity",
       
    88                         MethodType.methodType(Object.class, Object.class));
       
    89                 BOX_IDENTITY = PRIVATE.findStatic(
       
    90                     Surprise.class, "boxIdentity",
       
    91                         MethodType.methodType(Integer.class, Integer.class));
       
    92                 INT_IDENTITY = PRIVATE.findStatic(
       
    93                     Surprise.class, "intIdentity",
       
    94                         MethodType.methodType(int.class, int.class));
       
    95             } catch (NoSuchMethodException | IllegalAccessException ex) {
       
    96                 throw new RuntimeException(ex);
       
    97             }
       
    98         }
       
    99     }
       
   100 
       
   101     @SuppressWarnings("ConvertToStringSwitch")
       
   102     void testCastFailure(String mode, int okCount) throws Throwable {
       
   103         countTest(false);
       
   104         if (verbosity > 2)  System.out.println("mode="+mode);
       
   105         Surprise boo = new Surprise();
       
   106         MethodHandle identity = Surprise.REF_IDENTITY, surprise0 = boo.asMethodHandle(), surprise = surprise0;
       
   107         if (mode.endsWith("/return")) {
       
   108             if (mode.equals("unbox/return")) {
       
   109                 // fail on return to ((Integer)surprise).intValue
       
   110                 surprise = surprise.asType(MethodType.methodType(int.class, Object.class));
       
   111                 identity = identity.asType(MethodType.methodType(int.class, Object.class));
       
   112             } else if (mode.equals("cast/return")) {
       
   113                 // fail on return to (Integer)surprise
       
   114                 surprise = surprise.asType(MethodType.methodType(Integer.class, Object.class));
       
   115                 identity = identity.asType(MethodType.methodType(Integer.class, Object.class));
       
   116             }
       
   117         } else if (mode.endsWith("/argument")) {
       
   118             MethodHandle callee = null;
       
   119             if (mode.equals("unbox/argument")) {
       
   120                 // fail on handing surprise to int argument
       
   121                 callee = Surprise.INT_IDENTITY;
       
   122             } else if (mode.equals("cast/argument")) {
       
   123                 // fail on handing surprise to Integer argument
       
   124                 callee = Surprise.BOX_IDENTITY;
       
   125             }
       
   126             if (callee != null) {
       
   127                 callee = callee.asType(MethodType.genericMethodType(1));
       
   128                 surprise = MethodHandles.filterArguments(callee, 0, surprise);
       
   129                 identity = MethodHandles.filterArguments(callee, 0, identity);
       
   130             }
       
   131         }
       
   132         assertNotSame(mode, surprise, surprise0);
       
   133         identity = identity.asType(MethodType.genericMethodType(1));
       
   134         surprise = surprise.asType(MethodType.genericMethodType(1));
       
   135         Object x = 42;
       
   136         for (int i = 0; i < okCount; i++) {
       
   137             Object y = identity.invokeExact(x);
       
   138             assertEquals(x, y);
       
   139             Object z = surprise.invokeExact(x);
       
   140             assertEquals(x, z);
       
   141         }
       
   142         boo.boo("Boo!");
       
   143         Object y = identity.invokeExact(x);
       
   144         assertEquals(x, y);
       
   145         try {
       
   146             Object z = surprise.invokeExact(x);
       
   147             System.out.println("Failed to throw; got z="+z);
       
   148             assertTrue(false);
       
   149         } catch (ClassCastException ex) {
       
   150             if (verbosity > 2)
       
   151                 System.out.println("caught "+ex);
       
   152             if (verbosity > 3)
       
   153                 ex.printStackTrace(System.out);
       
   154             assertTrue(true);  // all is well
       
   155         }
       
   156     }
       
   157 }