| /* |
| * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved. |
| * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
| * |
| * This code is free software; you can redistribute it and/or modify it |
| * under the terms of the GNU General Public License version 2 only, as |
| * published by the Free Software Foundation. |
| * |
| * This code is distributed in the hope that it will be useful, but WITHOUT |
| * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
| * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
| * version 2 for more details (a copy is included in the LICENSE file that |
| * accompanied this code). |
| * |
| * You should have received a copy of the GNU General Public License version |
| * 2 along with this work; if not, write to the Free Software Foundation, |
| * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
| * |
| * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
| * or visit www.oracle.com if you need additional information or have any |
| * questions. |
| */ |
| |
| /* |
| * @test |
| * @bug 8005220 |
| * @summary javap must display repeating annotations |
| */ |
| import java.io.*; |
| import java.util.*; |
| |
| /** |
| * This class extends the abstract {@link Tester} test-driver, and |
| * encapusulates a number of test-case classes (i.e. classes extending |
| * this class and annotated with {@code TestCase}). |
| * <p> |
| * By default (no argument), this test runs all test-cases, except |
| * if annotated with {@code ignore}. |
| * <p> |
| * Individual test cases can be executed using a run action. |
| * <p> |
| * Example: @run main RepeatingTypeAnnotations RepeatingTypeAnnotations$TC4 |
| * <p> |
| * Note: when specific test-cases are run, additional debug output is |
| * produced to help debugging. Test annotated with {@code ignore} |
| * can be executed explicitly. |
| */ |
| public class RepeatingTypeAnnotations extends Tester { |
| |
| /** |
| * Main method instantiates test and run test-cases. |
| */ |
| public static void main(String... args) throws Exception { |
| Tester tester = new RepeatingTypeAnnotations(); |
| tester.run(args); |
| } |
| |
| /** |
| * Testcases are classes extending {@code RepeatingTypeAnnotations}, |
| * and calling {@link setSrc}, followed by one or more invocations |
| * of {@link verify} in the body of the constructor. |
| */ |
| public RepeatingTypeAnnotations() { |
| setSrc(new TestSource(template)); |
| } |
| |
| /** |
| * Common template for test cases. The line TESTCASE is |
| * replaced with the specific lines of individual tests. |
| */ |
| private static final String[] template = { |
| "import java.lang.annotation.*;", |
| "class Test {", |
| " @Repeatable(As.class)", |
| " @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})", |
| " @Retention(RetentionPolicy.CLASS)", |
| " @interface A {", |
| " Class f() default int.class;", |
| " }", |
| |
| " @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})", |
| " @Retention(RetentionPolicy.CLASS)", |
| " @interface As { A[] value(); }", |
| |
| " @Repeatable(Bs.class)", |
| " @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})", |
| " @Retention(RetentionPolicy.CLASS)", |
| " @interface B {", |
| " Class f() default int.class;", |
| " }", |
| |
| " @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})", |
| " @Retention(RetentionPolicy.CLASS)", |
| " @interface Bs { B[] value(); }", |
| |
| " @Repeatable(Cs.class)", |
| " @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})", |
| " @Retention(RetentionPolicy.RUNTIME)", |
| " @interface C {", |
| " Class f() default int.class;", |
| " }", |
| |
| " @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})", |
| " @Retention(RetentionPolicy.RUNTIME)", |
| " @interface Cs { C[] value(); }", |
| "TESTCASE", |
| "}" |
| }; |
| |
| /* |
| * The test cases covers annotation in the following locations: |
| * - static and non-static fields |
| * - local variables |
| * - constructor and method return type and parameter types |
| * - casts in class and method contexts. |
| * For the above locations the test-cases covers: |
| * - single annotation type |
| * - two annotation types with same retention |
| * - two annotation types with different retention |
| * - three annotation types, two of same retention, one different. |
| */ |
| |
| @TestCase |
| public static class TC1 extends RepeatingTypeAnnotations { |
| public TC1() { |
| setSrc(" /* TC1 */ ", |
| " static String so = \"hello world\";", |
| " public @A @A @A Object o = (@A @A @A String) Test.so;"); |
| verify("RuntimeInvisibleTypeAnnotations", |
| "0: #25(#26=[@#27(),@#27(),@#27()]): FIELD", |
| "0: #25(#26=[@#27(),@#27(),@#27()]): CAST, offset=5, type_index=0"); |
| } |
| } |
| |
| @TestCase |
| public static class TC2 extends RepeatingTypeAnnotations { |
| public TC2() { |
| setSrc(" /* TC2 */ ", |
| " static String so = \"hello world\";", |
| " public @A @B @A Object o = (@B @A @B String) Test.so;"); |
| verify("RuntimeInvisibleTypeAnnotations", |
| "0: #25(#26=[@#27(),@#27()]): FIELD", |
| "1: #28(): FIELD", |
| "0: #36(#26=[@#28(),@#28()]): CAST, offset=5, type_index=0", |
| "1: #27(): CAST, offset=5, type_index=0"); |
| } |
| } |
| |
| @TestCase |
| public static class TC3 extends RepeatingTypeAnnotations { |
| public TC3() { |
| setSrc(" /* TC3 */ ", |
| " static String so = \"hello world\";", |
| " public @A @A @C Object o = (@B @C @B String) Test.so;"); |
| verify("RuntimeVisibleTypeAnnotations", |
| "RuntimeInvisibleTypeAnnotations", |
| "0: #25(): FIELD", |
| "0: #27(#28=[@#29(),@#29()]): FIELD", |
| "0: #25(): CAST, offset=5, type_index=0", |
| "0: #37(#28=[@#38(),@#38()]): CAST, offset=5, type_index=0"); |
| } |
| } |
| |
| @TestCase |
| public static class TC4 extends RepeatingTypeAnnotations { |
| public TC4() { |
| setSrc(" /* TC4 */ ", |
| " static String so = \"hello world\";", |
| " public @A @B @C Object o = (@C @B @A String) Test.so;"); |
| verify("RuntimeInvisibleTypeAnnotations", |
| "RuntimeVisibleTypeAnnotations", |
| "0: #25(): FIELD", |
| "0: #27(): FIELD", |
| "1: #28(): FIELD", |
| "0: #25(): CAST, offset=5, type_index=0", |
| "0: #28(): CAST, offset=5, type_index=0", |
| "1: #27(): CAST, offset=5, type_index=0"); |
| } |
| } |
| |
| @TestCase |
| public static class TC5 extends RepeatingTypeAnnotations { |
| public TC5() { |
| setSrc(" /* TC5 */ ", |
| " static String so = \"hello world\";", |
| " public static @A @A @A Object o = (@B @B @B String) Test.so;"); |
| verify("RuntimeInvisibleTypeAnnotations", |
| "0: #25(#26=[@#27(),@#27(),@#27()]): FIELD", |
| "0: #36(#26=[@#37(),@#37(),@#37()]): CAST, offset=5, type_index=0"); |
| } |
| } |
| |
| @TestCase |
| public static class TC6 extends RepeatingTypeAnnotations { |
| public TC6() { |
| setSrc(" /* TC6 */ ", |
| " static String so = \"hello world\";", |
| " public static @A @B @A Object o = (@B @A @B String) Test.so;"); |
| verify("RuntimeInvisibleTypeAnnotations", |
| "0: #25(#26=[@#27(),@#27()]): FIELD", |
| "1: #28(): FIELD", |
| "0: #37(#26=[@#28(),@#28()]): CAST, offset=5, type_index=0", |
| "1: #27(): CAST, offset=5, type_index=0"); |
| } |
| } |
| |
| @TestCase |
| public static class TC7 extends RepeatingTypeAnnotations { |
| public TC7() { |
| setSrc(" /* TC7 */ ", |
| " static String so = \"hello world\";", |
| " public static @A @A @C Object o = (@B @C @B String) Test.so;"); |
| verify("RuntimeVisibleTypeAnnotations", |
| "RuntimeInvisibleTypeAnnotations", |
| "0: #25(): FIELD", |
| "0: #27(#28=[@#29(),@#29()]): FIELD", |
| "0: #25(): CAST, offset=5, type_index=0", |
| "0: #38(#28=[@#39(),@#39()]): CAST, offset=5, type_index=0"); |
| } |
| } |
| |
| @TestCase |
| public static class TC8 extends RepeatingTypeAnnotations { |
| public TC8() { |
| setSrc(" /* TC8 */ ", |
| " static String so = \"hello world\";", |
| " public static @A @B @C Object o = (@C @B @A String) Test.so;"); |
| |
| verify("RuntimeVisibleTypeAnnotations", |
| "RuntimeInvisibleTypeAnnotations", |
| "0: #25(): FIELD", |
| "0: #27(): FIELD", |
| "1: #28(): FIELD", |
| "0: #25(): CAST, offset=5, type_index=0", |
| "0: #28(): CAST, offset=5, type_index=0", |
| "1: #27(): CAST, offset=5, type_index=0"); |
| } |
| } |
| |
| @TestCase |
| public static class TC9 extends RepeatingTypeAnnotations { |
| public TC9() { |
| setSrc(" /* TC9 */ ", |
| " public Test(@A @A @A Object o, @A int i, long l) {", |
| " @A @A @A String ls = (@B @B @B String) o;", |
| " }"); |
| verify("RuntimeInvisibleTypeAnnotations", |
| "0: #34(#35=[@#36(),@#36(),@#36()]): LOCAL_VARIABLE, {start_pc=10, length=1, index=5}", |
| "1: #37(#35=[@#38(),@#38(),@#38()]): CAST, offset=4, type_index=0", |
| "RuntimeInvisibleTypeAnnotations", |
| "0: #36(): METHOD_FORMAL_PARAMETER, param_index=1", |
| "1: #34(#35=[@#36(),@#36(),@#36()]): METHOD_FORMAL_PARAMETER, param_index=0"); |
| } |
| } |
| |
| @TestCase |
| public static class TC10 extends RepeatingTypeAnnotations { |
| public TC10() { |
| setSrc(" /* TC10 */ ", |
| " public Test(@A @A @B Object o, @A @B int i, long l) {", |
| " @A @A @B String ls = (@B @A @B String) o;", |
| " }"); |
| verify("RuntimeInvisibleTypeAnnotations", |
| "0: #34(#35=[@#36(),@#36()]): LOCAL_VARIABLE, {start_pc=10, length=1, index=5}", |
| "1: #37(): LOCAL_VARIABLE, {start_pc=10, length=1, index=5}", |
| "2: #38(#35=[@#37(),@#37()]): CAST, offset=4, type_index=0", |
| "3: #36(): CAST, offset=4, type_index=0", |
| "RuntimeInvisibleTypeAnnotations", |
| "0: #36(): METHOD_FORMAL_PARAMETER, param_index=1", |
| "1: #37(): METHOD_FORMAL_PARAMETER, param_index=1", |
| "2: #34(#35=[@#36(),@#36()]): METHOD_FORMAL_PARAMETER, param_index=0", |
| "3: #37(): METHOD_FORMAL_PARAMETER, param_index=0"); |
| } |
| } |
| |
| @TestCase |
| public static class TC11 extends RepeatingTypeAnnotations { |
| public TC11() { |
| setSrc(" /* TC11 */ ", |
| " public Test(@C @C @A Object o, @A @B int i, long l) {", |
| " @C @C @A String ls = (@A @A @C String) o;", |
| " }"); |
| verify("RuntimeVisibleTypeAnnotations", |
| "RuntimeInvisibleTypeAnnotations", |
| "0: #34(#35=[@#36(),@#36()]): LOCAL_VARIABLE, {start_pc=10, length=1, index=5}", |
| "1: #36(): CAST, offset=4, type_index=0", |
| "0: #38(): LOCAL_VARIABLE, {start_pc=10, length=1, index=5}", |
| "1: #39(#35=[@#38(),@#38()]): CAST, offset=4, type_index=0", |
| "0: #34(#35=[@#36(),@#36()]): METHOD_FORMAL_PARAMETER, param_index=0", |
| "0: #38(): METHOD_FORMAL_PARAMETER, param_index=1", |
| "1: #40(): METHOD_FORMAL_PARAMETER, param_index=1", |
| "2: #38(): METHOD_FORMAL_PARAMETER, param_index=0"); |
| } |
| } |
| |
| @TestCase |
| public static class TC12 extends RepeatingTypeAnnotations { |
| public TC12() { |
| setSrc(" /* TC12 */ ", |
| " public Test(@A @B @C Object o, @A @C int i, long l) {", |
| " @A @B @C String ls = (@C @A @B String) o;", |
| " }"); |
| verify("RuntimeVisibleTypeAnnotations", |
| "0: #34(): LOCAL_VARIABLE, {start_pc=10, length=1, index=5}", |
| "1: #34(): CAST, offset=4, type_index=0", |
| "RuntimeInvisibleTypeAnnotations", |
| "0: #36(): LOCAL_VARIABLE, {start_pc=10, length=1, index=5}", |
| "1: #37(): LOCAL_VARIABLE, {start_pc=10, length=1, index=5}", |
| "2: #36(): CAST, offset=4, type_index=0", |
| "3: #37(): CAST, offset=4, type_index=0", |
| "0: #34(): METHOD_FORMAL_PARAMETER, param_index=0", |
| "1: #34(): METHOD_FORMAL_PARAMETER, param_index=1", |
| "0: #36(): METHOD_FORMAL_PARAMETER, param_index=0", |
| "1: #37(): METHOD_FORMAL_PARAMETER, param_index=0", |
| "2: #36(): METHOD_FORMAL_PARAMETER, param_index=1"); |
| } |
| } |
| |
| @TestCase |
| public static class TC13 extends RepeatingTypeAnnotations { |
| public TC13() { |
| setSrc(" /* TC13 */ ", |
| " public @A @A @A String foo(@A @A @A Object o, @A int i, long l) {", |
| " @A @A @A String ls = (@B @B @B String) o;", |
| " return (@A @A @A String) o;", |
| " }"); |
| verify("RuntimeInvisibleTypeAnnotations", |
| "0: #36(#37=[@#38(),@#38(),@#38()]): LOCAL_VARIABLE, {start_pc=6, length=5, index=5}", |
| "1: #39(#37=[@#40(),@#40(),@#40()]): CAST, offset=0, type_index=0", |
| "2: #36(#37=[@#38(),@#38(),@#38()]): CAST, offset=6, type_index=0", |
| "RuntimeInvisibleTypeAnnotations", |
| "0: #38(): METHOD_FORMAL_PARAMETER, param_index=1", |
| "1: #36(#37=[@#38(),@#38(),@#38()]): METHOD_FORMAL_PARAMETER, param_index=0", |
| "2: #36(#37=[@#38(),@#38(),@#38()]): METHOD_RETURN" |
| ); |
| } |
| } |
| |
| @TestCase |
| public static class TC14 extends RepeatingTypeAnnotations { |
| public TC14() { |
| setSrc(" /* TC14 */ ", |
| " public @A @B @B String foo(@A @A @B Object o, @A @B int i, long l) {", |
| " @A @A @B String ls = (@B @A @B String) o;", |
| " return (@A @B @B String) o;", |
| " }"); |
| verify( |
| "RuntimeInvisibleTypeAnnotations:", |
| "0: #36(#37=[@#38(),@#38()]): LOCAL_VARIABLE, {start_pc=6, length=5, index=5}", |
| "1: #39(): LOCAL_VARIABLE, {start_pc=6, length=5, index=5}", |
| "2: #40(#37=[@#39(),@#39()]): CAST, offset=0, type_index=0", |
| "3: #38(): CAST, offset=0, type_index=0", |
| "4: #38(): CAST, offset=6, type_index=0", |
| "5: #40(#37=[@#39(),@#39()]): CAST, offset=6, type_index=0", |
| "RuntimeInvisibleTypeAnnotations:", |
| "0: #38(): METHOD_FORMAL_PARAMETER, param_index=1", |
| "1: #39(): METHOD_FORMAL_PARAMETER, param_index=1", |
| "2: #36(#37=[@#38(),@#38()]): METHOD_FORMAL_PARAMETER, param_index=0", |
| "3: #39(): METHOD_FORMAL_PARAMETER, param_index=0", |
| "4: #38(): METHOD_RETURN", |
| "5: #40(#37=[@#39(),@#39()]): METHOD_RETURN" |
| ); |
| } |
| } |
| |
| @TestCase |
| public static class TC15 extends RepeatingTypeAnnotations { |
| public TC15() { |
| setSrc(" /* TC15 */ ", |
| " public @A @A @C String foo(@C @C @A Object o, @A @B int i, long l) {", |
| " @C @C @A String ls = (@A @A @C String) o;", |
| " return (@C @B @B String) o;", |
| " }"); |
| verify( |
| "RuntimeVisibleTypeAnnotations:", |
| "0: #36(#37=[@#38(),@#38()]): LOCAL_VARIABLE, {start_pc=6, length=5, index=5}", |
| "1: #38(): CAST, offset=0, type_index=0", |
| "2: #38(): CAST, offset=6, type_index=0", |
| "RuntimeInvisibleTypeAnnotations:", |
| "0: #40(): LOCAL_VARIABLE, {start_pc=6, length=5, index=5}", |
| "1: #41(#37=[@#40(),@#40()]): CAST, offset=0, type_index=0", |
| "2: #42(#37=[@#43(),@#43()]): CAST, offset=6, type_index=0", |
| "RuntimeVisibleTypeAnnotations:", |
| "0: #36(#37=[@#38(),@#38()]): METHOD_FORMAL_PARAMETER, param_index=0", |
| "1: #38(): METHOD_RETURN", |
| "RuntimeInvisibleTypeAnnotations:", |
| "0: #40(): METHOD_FORMAL_PARAMETER, param_index=1", |
| "1: #43(): METHOD_FORMAL_PARAMETER, param_index=1", |
| "2: #40(): METHOD_FORMAL_PARAMETER, param_index=0", |
| "3: #41(#37=[@#40(),@#40()]): METHOD_RETURN" |
| ); |
| } |
| } |
| |
| @TestCase |
| public static class TC16 extends RepeatingTypeAnnotations { |
| public TC16() { |
| setSrc(" /* TC16 */ ", |
| " public @A @B @C String foo(@A @B @C Object o, @A @C int i, long l) {", |
| " @A @B @C String ls = (@C @A @B String) o;", |
| " return (@B @A @C String) o;", |
| " }"); |
| verify( |
| "RuntimeVisibleTypeAnnotations:", |
| "0: #36(): LOCAL_VARIABLE, {start_pc=6, length=5, index=5}", |
| "1: #36(): CAST, offset=0, type_index=0", |
| "2: #36(): CAST, offset=6, type_index=0", |
| "RuntimeInvisibleTypeAnnotations:", |
| "0: #38(): LOCAL_VARIABLE, {start_pc=6, length=5, index=5}", |
| "1: #39(): LOCAL_VARIABLE, {start_pc=6, length=5, index=5}", |
| "2: #38(): CAST, offset=0, type_index=0", |
| "3: #39(): CAST, offset=0, type_index=0", |
| "4: #39(): CAST, offset=6, type_index=0", |
| "5: #38(): CAST, offset=6, type_index=0", |
| "RuntimeVisibleTypeAnnotations:", |
| "0: #36(): METHOD_FORMAL_PARAMETER, param_index=0", |
| "1: #36(): METHOD_FORMAL_PARAMETER, param_index=1", |
| "2: #36(): METHOD_RETURN", |
| "RuntimeInvisibleTypeAnnotations:", |
| "0: #38(): METHOD_FORMAL_PARAMETER, param_index=0", |
| "1: #39(): METHOD_FORMAL_PARAMETER, param_index=0", |
| "2: #38(): METHOD_FORMAL_PARAMETER, param_index=1", |
| "3: #38(): METHOD_RETURN", |
| "4: #39(): METHOD_RETURN" |
| ); |
| } |
| } |
| } |
