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 }