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 /java/lang/invoke/common
 29  * @enablePreview
 30  * @run testng/othervm -XX:+UnlockDiagnosticVMOptions -XX:UseBootstrapCallInfo=3 CondyTypeValidationTest
 31  */
 32 
 33 import org.testng.Assert;
 34 import org.testng.annotations.DataProvider;
 35 import org.testng.annotations.Test;
 36 import test.java.lang.invoke.lib.InstructionHelper;
 37 
 38 import java.lang.invoke.MethodHandle;
 39 import java.lang.invoke.MethodHandles;
 40 import java.util.ArrayList;
 41 import java.util.List;
 42 import java.util.stream.Collectors;
 43 import java.util.stream.Stream;
 44 
 45 import static java.lang.invoke.MethodType.methodType;
 46 
 47 public class CondyTypeValidationTest {
 48     static final MethodHandles.Lookup L = MethodHandles.lookup();
 49     static final String BSM_TYPE = methodType(Object.class, MethodHandles.Lookup.class, String.class, Object.class)
 50             .toMethodDescriptorString();
 51 
 52     @DataProvider
 53     public Object[][] invalidTypesProvider() {
 54         return Stream.of(
 55 //                         ByteCode API checks for the following invalid types
 56 //                         "",
 57 //                         "[",
 58 //                         "A",
 59 //                         "a",
 60                 new Object[]{"L/java/lang/Object", "not a valid reference type descriptor"},
 61                 new Object[]{
 62                         Stream.generate(() -> "[").limit(256)
 63                                 .collect(Collectors.joining("", "", "I")),
 64                         "Cannot create an array type descriptor with more than 255 dimensions"
 65                 }
 66         ).toArray(Object[][]::new);
 67     }
 68 
 69     @Test(dataProvider = "invalidTypesProvider")
 70     public void testInvalidTypes(String type, String errMessContent) throws Exception {
 71         try {
 72             MethodHandle mh = InstructionHelper.ldcDynamicConstant(
 73                     L, "name", type,
 74                     "bsm", BSM_TYPE
 75             );
 76         } catch (IllegalArgumentException e) {
 77             Assert.assertTrue(e.getMessage().contains(errMessContent));
 78         }
 79     }
 80 
 81     @DataProvider
 82     public Object[][] validTypesProvider() {
 83         List<String> t = new ArrayList<>(List.of("B", "C", "D", "F", "I", "J", "Ljava/lang/Object;", "S", "Z"));
 84         int l = t.size();
 85         for (int i = 0; i < l; i++) {
 86             t.add("[" + t.get(i));
 87         }
 88 
 89         return t.stream()
 90                 .map(e -> new Object[]{e}).toArray(Object[][]::new);
 91     }
 92 
 93     @Test(dataProvider = "validTypesProvider")
 94     public void testValidTypes(String type) throws Exception {
 95         MethodHandle mh = InstructionHelper.ldcDynamicConstant(
 96                 L, "name", type,
 97                 "bsm", BSM_TYPE
 98         );
 99     }
100 }