1 /*
  2  * Copyright (c) 2022, 2026, 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 import jdk.internal.misc.PreviewFeatures;
 25 
 26 import java.lang.classfile.ClassFile;
 27 import java.lang.reflect.Modifier;
 28 import java.lang.annotation.*;
 29 
 30 /*
 31  * @test
 32  * @bug 8296743
 33  * @modules java.base/jdk.internal.misc
 34  * @summary Verify array classes and primitives have expected modifiers
 35  * @run main/othervm TestPrimitiveAndArrayModifiers
 36  * @run main/othervm --enable-preview TestPrimitiveAndArrayModifiers
 37  */
 38 @ExpectedModifiers(Modifier.PUBLIC | Modifier.FINAL | Modifier.ABSTRACT)
 39 public class TestPrimitiveAndArrayModifiers {
 40 
 41     /*
 42      * Relevant excerpt of the Class.getModifiers() specification:
 43      * <p> If the underlying class is an array class:
 44      * <ul>
 45      * <li> its {@code public}, {@code private} and {@code protected}
 46      *      modifiers are the same as those of its component type
 47      * <li> its {@code final} and {@code abstract} modifiers are always
 48      *      {@code true}
 49      * <li> its interface modifier is always {@code false}, even when
 50      *      the component type is an interface
 51      * </ul>
 52      */
 53 
 54     public static void main(String... args) throws Exception {
 55         testPrimitives();
 56         testArrays();
 57     }
 58 
 59     private static void testArrays() {
 60         Class<?>[] testCases = {
 61             TestPrimitiveAndArrayModifiers.class,
 62 
 63             PackagePrivateClass.class,
 64             ProtectedClass.class,
 65             PrivateClass.class,
 66 
 67             PublicInterface.class,
 68             PackagePrivateInterface.class,
 69             ProtectedInterface.class,
 70             PrivateInterface.class,
 71         };
 72 
 73         for(var testCase : testCases) {
 74             int expectedModifiers =
 75                 testCase.getAnnotation(ExpectedModifiers.class).value();
 76             if (PreviewFeatures.isEnabled()) {
 77                 // All arrays under preview also have IDENTITY
 78                 expectedModifiers |= ClassFile.ACC_IDENTITY;
 79             }
 80             Class<?> arrayClass = testCase.arrayType();
 81             int actualModifiers = arrayClass.getModifiers();
 82             if (expectedModifiers != actualModifiers) {
 83                 throw new RuntimeException("Expected " + Modifier.toString(expectedModifiers) +
 84                                            " on " + testCase.getCanonicalName() +
 85                                            ", but got " + Modifier.toString(actualModifiers));
 86             }
 87         }
 88     }
 89 
 90     @ExpectedModifiers(Modifier.FINAL | Modifier.ABSTRACT)
 91     class PackagePrivateClass {}
 92 
 93     @ExpectedModifiers(Modifier.FINAL | Modifier.ABSTRACT | Modifier.PROTECTED)
 94     protected class ProtectedClass {}
 95 
 96     @ExpectedModifiers(Modifier.FINAL | Modifier.ABSTRACT | Modifier.PRIVATE)
 97     private class  PrivateClass {}
 98 
 99     @ExpectedModifiers(Modifier.FINAL | Modifier.ABSTRACT | Modifier.PUBLIC)
100     public interface PublicInterface {}
101 
102     @ExpectedModifiers(Modifier.FINAL | Modifier.ABSTRACT)
103     interface PackagePrivateInterface {}
104 
105     @ExpectedModifiers(Modifier.FINAL | Modifier.ABSTRACT | Modifier.PROTECTED)
106     protected interface ProtectedInterface {}
107 
108     @ExpectedModifiers(Modifier.FINAL | Modifier.ABSTRACT | Modifier.PRIVATE)
109     private interface PrivateInterface {}
110 
111     /*
112      * Relevant excerpt of the Class.getModifiers() specification:
113      *
114      * If this {@code Class} object represents a primitive type or
115      * void, its {@code public}, {@code abstract}, and {@code final}
116      * modifiers are always {@code true}.
117      */
118     private static void testPrimitives() {
119         Class<?>[] testCases = {
120             void.class,
121             boolean.class,
122             byte.class,
123             short.class,
124             char.class,
125             int.class,
126             float.class,
127             long.class,
128             double.class,
129         };
130 
131         for(var testCase : testCases) {
132             int actualModifiers = testCase.getModifiers();
133             if ((Modifier.PUBLIC | Modifier.ABSTRACT | Modifier.FINAL) !=
134                 actualModifiers) {
135                 throw new RuntimeException("Bad modifiers " +
136                                            Modifier.toString(actualModifiers) +
137                                            " on primitive type " + testCase);
138             }
139         }
140     }
141 }
142 
143 @Retention(RetentionPolicy.RUNTIME)
144 @interface ExpectedModifiers {
145     int value() default 0;
146 }
--- EOF ---