1 /*
2 * Copyright (c) 2009, 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 static com.sun.tools.classfile.TypeAnnotation.TargetType.*;
25
26 /*
27 * @test
28 * @summary Test population of reference info for class type parameters
29 * @compile -g Driver.java ReferenceInfoUtil.java ClassTypeParam.java
30 * @run main Driver ClassTypeParam
31 */
32 public class ClassTypeParam {
33
34 @TADescriptions({
35 @TADescription(annotation = "TA", type = CLASS_TYPE_PARAMETER, paramIndex = 0),
36 @TADescription(annotation = "TB", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 0),
37 @TADescription(annotation = "TC", type = CLASS_TYPE_PARAMETER, paramIndex = 1),
38 @TADescription(annotation = "TD", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 0),
39 @TADescription(annotation = "TE", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1)
40 })
41 public String regularClass() {
42 return "class Test<@TA K extends @TB Date, @TC V extends @TD Object & @TE Cloneable> { }";
43 }
44
45 @TADescriptions({
46 @TADescription(annotation = "TA", type = CLASS_TYPE_PARAMETER, paramIndex = 0),
47 @TADescription(annotation = "TB", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 0),
48 @TADescription(annotation = "TC", type = CLASS_TYPE_PARAMETER, paramIndex = 1),
49 @TADescription(annotation = "TE", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1)
50 })
51 public String regularClass2() {
52 return "class Test<@TA K extends @TB Date, @TC V extends @TE Cloneable> { }";
53 }
54
55 @TADescriptions({
56 @TADescription(annotation = "TA", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1),
57 @TADescription(annotation = "TB", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1, genericLocation = {3, 1}),
58 @TADescription(annotation = "TC", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1),
59 @TADescription(annotation = "TD", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0}),
60 @TADescription(annotation = "TE", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0, 3, 0})
61 })
62 public String regularClassParameterized() {
63 return "class Test<K extends @TA Map<String, @TB String>, V extends @TC List<@TD List<@TE Object>>> { }";
64 }
65
66 @TADescriptions({
67 @TADescription(annotation = "TA", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1),
68 @TADescription(annotation = "TB", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1, genericLocation = {3, 1}),
69 @TADescription(annotation = "TC", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1),
70 @TADescription(annotation = "TD", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0}),
71 @TADescription(annotation = "TE", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0, 3, 0}),
72 @TADescription(annotation = "TF", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 0),
73 @TADescription(annotation = "TG", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 0)
74 })
75 public String regularClassParameterized2() {
76 return "class Test<K extends @TG Object & @TA Map<String, @TB String>, V extends @TF Object & @TC List<@TD List<@TE Object>>> { }";
77 }
78
79 @TADescriptions({
80 @TADescription(annotation = "TA", type = CLASS_TYPE_PARAMETER, paramIndex = 0),
81 @TADescription(annotation = "TB", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 0),
82 @TADescription(annotation = "TC", type = CLASS_TYPE_PARAMETER, paramIndex = 1),
83 @TADescription(annotation = "TD", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 0),
84 @TADescription(annotation = "TE", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1)
85 })
86 public String abstractClass() {
87 return "abstract class Test<@TA K extends @TB Date, @TC V extends @TD Object & @TE Cloneable> { }";
88 }
89
90 @TADescriptions({
91 @TADescription(annotation = "TA", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1),
92 @TADescription(annotation = "TB", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1, genericLocation = {3, 1}),
93 @TADescription(annotation = "TC", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1),
94 @TADescription(annotation = "TD", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0}),
95 @TADescription(annotation = "TE", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0, 3, 0}),
96 @TADescription(annotation = "TF", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 0)
97 })
98 public String abstractClassParameterized() {
99 return "abstract class Test<K extends @TA Map<String, @TB String>, V extends @TF Object & @TC List<@TD List<@TE Object>>> { }";
100 }
101
102 @TADescriptions({
103 @TADescription(annotation = "TA", type = CLASS_TYPE_PARAMETER, paramIndex = 0),
104 @TADescription(annotation = "TB", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 0),
105 @TADescription(annotation = "TC", type = CLASS_TYPE_PARAMETER, paramIndex = 1),
106 @TADescription(annotation = "TD", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 0),
107 @TADescription(annotation = "TE", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1)
108 })
109 public String regularInterface() {
110 return "interface Test<@TA K extends @TB Date, @TC V extends @TD Object & @TE Cloneable> { }";
111 }
112
113 @TADescriptions({
114 @TADescription(annotation = "TA", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1),
115 @TADescription(annotation = "TB", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1, genericLocation = {3, 1}),
116 @TADescription(annotation = "TC", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1),
117 @TADescription(annotation = "TD", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0}),
118 @TADescription(annotation = "TE", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0, 3, 0})
119 })
120 public String regularInterfaceParameterized() {
121 return "interface Test<K extends @TA Map<String, @TB String>, V extends @TC List<@TD List<@TE Object>>> { }";
122 }
123
124 @TADescriptions({
125 @TADescription(annotation = "TA", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1),
126 @TADescription(annotation = "TB", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1, genericLocation = {3, 1}),
127 @TADescription(annotation = "TC", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1),
128 @TADescription(annotation = "TD", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0}),
129 @TADescription(annotation = "TE", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0, 3, 0}),
130 @TADescription(annotation = "TF", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 0),
131 @TADescription(annotation = "TG", type = CLASS_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 0)
132 })
133 public String regularInterfaceParameterized2() {
134 return "interface Test<K extends @TG Object & @TA Map<String, @TB String>, V extends @TF Object & @TC List<@TD List<@TE Object>>> { }";
135 }
136
137 @TADescription(annotation = "TA", type = METHOD_RETURN)
138 public String useInReturn1() {
139 return "class Test<T> { @TA T m() { throw new RuntimeException(); } }";
140 }
141
142 @TADescription(annotation = "TA", type = METHOD_RETURN, genericLocation = {3, 0})
143 public String useInReturn2() {
144 return "class Test<T> { Class<@TA T> m() { throw new RuntimeException(); } }";
145 }
146
147 @TADescription(annotation = "TA", type = METHOD_FORMAL_PARAMETER,
148 paramIndex = 0, genericLocation = {3, 0})
149 public String useInParam1() {
150 return "class Test<T> { void m(Class<@TA T> p) { throw new RuntimeException(); } }";
151 }
152
153 @TADescription(annotation = "TA", type = METHOD_FORMAL_PARAMETER,
154 paramIndex = 0, genericLocation = {3, 0})
155 public String useInParam2() {
156 return "class Test { void m(Class<@TA Object> p) { throw new RuntimeException(); } }";
157 }
158 }