1 /*
   2  * Copyright (c) 2017, 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 /*
  25  * @test
  26  * @bug 8186046
  27  * @summary Test invalid name in name and type
  28  * @library /lib/testlibrary/bytecode /java/lang/invoke/common
  29  * @build jdk.experimental.bytecode.BasicClassBuilder test.java.lang.invoke.lib.InstructionHelper
  30  * @run testng/othervm CondyTypeValidationTest
  31  */
  32 
  33 import org.testng.annotations.DataProvider;
  34 import org.testng.annotations.Test;
  35 import test.java.lang.invoke.lib.InstructionHelper;
  36 
  37 import java.lang.invoke.MethodHandle;
  38 import java.lang.invoke.MethodHandles;
  39 import java.util.ArrayList;
  40 import java.util.List;
  41 import java.util.stream.Collectors;
  42 import java.util.stream.Stream;
  43 
  44 import static java.lang.invoke.MethodType.methodType;
  45 
  46 public class CondyTypeValidationTest {
  47     static final MethodHandles.Lookup L = MethodHandles.lookup();
  48     static final String BSM_TYPE = methodType(Object.class, MethodHandles.Lookup.class, String.class, Object.class)
  49             .toMethodDescriptorString();
  50 
  51     @DataProvider
  52     public Object[][] invalidTypesProvider() throws Exception {
  53         return Stream.of(
  54 //                         ByteCode API checks for the following invalid types
  55 //                         "",
  56 //                         "[",
  57 //                         "A",
  58 //                         "a",
  59                 "L/java/lang/Object",
  60                 Stream.generate(() -> "[").limit(256).collect(Collectors.joining("", "", "I")))
  61                 .map(e -> new Object[]{e}).toArray(Object[][]::new);
  62     }
  63 
  64     @Test(dataProvider = "invalidTypesProvider", expectedExceptions = ClassFormatError.class)
  65     public void testInvalidTypes(String type) throws Exception {
  66         MethodHandle mh = InstructionHelper.ldcDynamicConstant(
  67                 L, "name", type,
  68                 "bsm", BSM_TYPE,
  69                 S -> {
  70                 });
  71     }
  72 
  73     @DataProvider
  74     public Object[][] validTypesProvider() throws Exception {
  75         List<String> t = new ArrayList<>(List.of("B", "C", "D", "F", "I", "J", "Ljava/lang/Object;", "S", "Z"));
  76         int l = t.size();
  77         for (int i = 0; i < l; i++) {
  78             t.add("[" + t.get(i));
  79         }
  80 
  81         return t.stream()
  82                 .map(e -> new Object[]{e}).toArray(Object[][]::new);
  83     }
  84 
  85     @Test(dataProvider = "validTypesProvider")
  86     public void testValidTypes(String type) throws Exception {
  87         MethodHandle mh = InstructionHelper.ldcDynamicConstant(
  88                 L, "name", type,
  89                 "bsm", BSM_TYPE,
  90                 S -> {
  91                 });
  92     }
  93 }