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 /* 25 * @test 26 * @summary test that the right exceptions get thrown for bad value type 27 * class files. 28 * @compile cfpTests.jcod 29 * @run main BadValueTypes 30 */ 31 32 public class BadValueTypes { 33 34 public static void runTest(String test_name, String message) throws Exception { 35 System.out.println("Testing: " + test_name); 36 try { 37 Class newClass = Class.forName(test_name); 38 } catch (java.lang.ClassFormatError e) { 39 if (!e.getMessage().contains(message)) { 40 throw new RuntimeException( "Wrong ClassFormatError: " + e.getMessage()); 41 } 42 } 43 } 44 45 public static void main(String[] args) throws Exception { 46 47 // Test that ACC_VALUE with ACC_ABSTRACT is illegal. 48 runTest("ValueAbstract", "Illegal class modifiers in class ValueAbstract"); 49 50 // Test that ACC_VALUE with ACC_ENUM is illegal. 51 runTest("ValueEnum", "Illegal class modifiers in class ValueEnum"); 52 53 // Test that value type fields must be final. 54 runTest("ValueFieldNotFinal", "Illegal field modifiers in class ValueFieldNotFinal"); 55 56 // Test that arrays cannot have ACC_FLATTENABLE set. 57 runTest("ValueFlatArray", "ACC_FLATTENABLE cannot be specified for an array"); 58 59 // Test that a value type cannot have a method named init. 60 /* TBD: uncomment when javac stops generating <init>() methods for value types. 61 runTest("ValueInitMethod", "Value Type cannot have a method named <init>"); 62 */ 63 64 // Test that ACC_VALUE with ACC_INTERFACE is illegal. 65 runTest("ValueInterface", "Illegal class modifiers in class ValueInterface"); 66 67 // Test that value type instance methods cannot be synchronized. 68 runTest("ValueMethodSynch", "Method instanceMethod in class ValueMethodSynch has illegal modifiers"); 69 70 runTest("ValueSuperClass", "Value type must have java.lang.Object as superclass"); 71 72 // Test that ClassCircularityError gets detected for instance fields. 73 try { 74 Class newClass = Class.forName("Circ"); 75 throw new RuntimeException( "java.lang.ClassCircularityError exception not thrown!"); 76 } catch (java.lang.ClassCircularityError e) { 77 if (!e.getMessage().contains("Circ2")) { 78 throw new RuntimeException( "Wrong ClassCircularityError: " + e.getMessage()); 79 } 80 } 81 82 // Test that ClassCircularityError gets detected for static fields. 83 try { 84 Class newClass = Class.forName("CircStaticB"); 85 throw new RuntimeException( "java.lang.ClassCircularityError exception not thrown!"); 86 } catch (java.lang.ClassCircularityError e) { 87 if (!e.getMessage().contains("CircStaticA")) { 88 throw new RuntimeException( "Wrong ClassCircularityError: " + e.getMessage()); 89 } 90 } 91 92 runTest("ValueCloneable", "Value Types do not support Cloneable"); 93 } 94 }