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 method type parameters
29 * @compile -g Driver.java ReferenceInfoUtil.java MethodTypeParam.java
30 * @run main Driver MethodTypeParam
31 */
32 public class MethodTypeParam {
33
34 @TADescriptions({
35 @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER, paramIndex = 0),
36 @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 0),
37 @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER, paramIndex = 1),
38 @TADescription(annotation = "TD", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 0),
39 @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1)
40 })
41 public String regularClass() {
42 return "<@TA K extends @TB Date, @TC V extends @TD Object & @TE Cloneable> void test() { }";
43 }
44
45 @TADescriptions({
46 @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER, paramIndex = 0),
47 @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 0),
48 @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER, paramIndex = 1),
49 @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1)
50 })
51 public String regularClass2() {
52 return "<@TA K extends @TB Date, @TC V extends @TE Cloneable> void test() { }";
53 }
54
55 @TADescriptions({
56 @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1),
57 @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1, genericLocation = {3, 1}),
58 @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1),
59 @TADescription(annotation = "TD", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0}),
60 @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0, 3, 0}),
61 @TADescription(annotation = "TF", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 0)
62 })
63 public String regularClassParameterized() {
64 return "<K extends @TA Map<String, @TB String>, V extends @TF Object & @TC List<@TD List<@TE Object>>> void test() { }";
65 }
66
67 @TADescriptions({
68 @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER, paramIndex = 0),
69 @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 0),
70 @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER, paramIndex = 1),
71 @TADescription(annotation = "TD", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 0),
72 @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1)
73 })
74 public String abstractClass() {
75 return "abstract class Test { abstract <@TA K extends @TB Date, @TC V extends @TD Object & @TE Cloneable> void test(); }";
76 }
77
78 @TADescriptions({
79 @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1),
80 @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1, genericLocation = {3, 1}),
81 @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1),
82 @TADescription(annotation = "TD", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0}),
83 @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0, 3, 0}),
84 @TADescription(annotation = "TF", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 0),
85 @TADescription(annotation = "TG", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 0)
86 })
87 public String abstractClassParameterized() {
88 return "abstract class Test { abstract <K extends @TG Object & @TA Map<String, @TB String>, V extends @TF Object & @TC List<@TD List<@TE Object>>> void test(); }";
89 }
90
91 @TADescriptions({
92 @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1),
93 @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1, genericLocation = {3, 1}),
94 @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1),
95 @TADescription(annotation = "TD", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0}),
96 @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0, 3, 0})
97 })
98 public String abstractClassParameterized2() {
99 return "abstract class Test { abstract <K extends @TA Map<String, @TB String>, V extends @TC List<@TD List<@TE Object>>> void test(); }";
100 }
101
102 @TADescriptions({
103 @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1),
104 @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1)
105 })
106 public String abstractClassParameterized3() {
107 return "abstract class Test { abstract <K extends @TA List<String>, V extends @TB List<Object>> void test(); }";
108 }
109
110 @TADescriptions({
111 @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER, paramIndex = 0),
112 @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 0),
113 @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER, paramIndex = 1),
114 @TADescription(annotation = "TD", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 0),
115 @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1)
116 })
117 public String regularInterface() {
118 return "interface Test { <@TA K extends @TB Date, @TC V extends @TD Object & @TE Cloneable> void test(); }";
119 }
120
121 @TADescriptions({
122 @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1),
123 @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1, genericLocation = {3, 1}),
124 @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1),
125 @TADescription(annotation = "TD", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0}),
126 @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0, 3, 0}),
127 @TADescription(annotation = "TF", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 0),
128 @TADescription(annotation = "TG", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 0),
129 @TADescription(annotation = "TH", type = METHOD_TYPE_PARAMETER, paramIndex = 0),
130 @TADescription(annotation = "TI", type = METHOD_TYPE_PARAMETER, paramIndex = 1)
131 })
132 public String regularInterfaceParameterized() {
133 return "interface Test { <@TH K extends @TG Object & @TA Map<String, @TB String>, @TI V extends @TF Object & @TC List<@TD List<@TE Object>>> void test(); }";
134 }
135
136 @TADescriptions({
137 @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1),
138 @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1, genericLocation = {3, 1}),
139 @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1),
140 @TADescription(annotation = "TD", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0}),
141 @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0, 3, 0}),
142 @TADescription(annotation = "TF", type = METHOD_TYPE_PARAMETER, paramIndex = 0),
143 @TADescription(annotation = "TG", type = METHOD_TYPE_PARAMETER, paramIndex = 1)
144 })
145 public String regularInterfaceParameterized2() {
146 return "interface Test { <@TF K extends @TA Map<String, @TB String>, @TG V extends @TC List<@TD List<@TE Object>>> void test(); }";
147 }
148
149 @TADescription(annotation = "TA", type = METHOD_RETURN)
150 public String useInReturn1() {
151 return "class Test { <T> @TA T m() { throw new RuntimeException(); } }";
152 }
153
154 @TADescription(annotation = "TA", type = METHOD_RETURN, genericLocation = {3, 0})
155 public String useInReturn2() {
156 return "class Test { <T> Class<@TA T> m() { throw new RuntimeException(); } }";
157 }
158
159 @TADescriptions({
160 @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 0),
161 @TADescription(annotation = "TB", type = METHOD_RETURN)
162 })
163 public String useInReturn3() {
164 return "class Test { <T extends @TA Object> @TB T m() { throw new RuntimeException(); } }";
165 }
166
167 @TADescription(annotation = "TA", type = METHOD_FORMAL_PARAMETER,
168 paramIndex = 0, genericLocation = {3, 0})
169 public String useInParam1() {
170 return "class Test { <T> void m(Class<@TA T> p) { throw new RuntimeException(); } }";
171 }
172
173 @TADescription(annotation = "TA", type = METHOD_FORMAL_PARAMETER,
174 paramIndex = 0, genericLocation = {3, 0})
175 public String useInParam2() {
176 return "class Test { void m(Class<@TA Object> p) { throw new RuntimeException(); } }";
177 }
178
179 @TADescriptions({
180 @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1),
181 @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 2),
182 @TADescription(annotation = "TC", type = METHOD_FORMAL_PARAMETER, paramIndex = 0)
183 })
184 public String useInParam3() {
185 return "interface IA {} " +
186 "interface IB<XB> {} " +
187 "interface IC<XC> {} " +
188 "class Test { <T extends @TA IB<IA> & @TB IC<IA>> void m(@TC T p) { throw new RuntimeException(); } }";
189 }
190
191 @TADescriptions({
192 @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND,
193 paramIndex = 0, boundIndex = 1,
194 genericLocation = {}),
195 @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND,
196 paramIndex = 0, boundIndex = 2,
197 genericLocation = {}),
198 @TADescription(annotation = "TC", type = METHOD_FORMAL_PARAMETER,
199 paramIndex = 0)
200 })
201 public String useInParam4() {
202 return "class Test {" +
203 " interface IA {} " +
204 " interface IB<XB> {} " +
205 " interface IC<XC> {} " +
206 " <T extends @TA IB<IA> & @TB IC<IA>> void m(@TC T p) { throw new RuntimeException(); } }";
207 }
208
209 @TADescriptions({
210 @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND,
211 paramIndex = 0, boundIndex = 0,
212 genericLocation = {}),
213 @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND,
214 paramIndex = 0, boundIndex = 0,
215 genericLocation = {1, 0}),
216 @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER_BOUND,
217 paramIndex = 0, boundIndex = 0,
218 genericLocation = {1, 0, 3, 0}),
219 })
220 public String useInParam5() {
221 return "class Test {" +
222 " interface IA {} " +
223 " class CB<XC> {} " +
224 " <T extends @TA Test. @TB CB<@TC IA>> void m(T p) { throw new RuntimeException(); } }";
225 }
226
227 @TADescriptions({
228 @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER,
229 paramIndex = 0),
230 @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND,
231 paramIndex = 0, boundIndex = 0,
232 genericLocation = {}),
233 @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER_BOUND,
234 paramIndex = 0, boundIndex = 0,
235 genericLocation = {1, 0, 3, 0}),
236 @TADescription(annotation = "TD", type = METHOD_TYPE_PARAMETER_BOUND,
237 paramIndex = 0, boundIndex = 1,
238 genericLocation = {}),
239 @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND,
240 paramIndex = 0, boundIndex = 1,
241 genericLocation = {3, 0})
242 })
243 public String useInParam6() {
244 return "class Test {" +
245 " interface IA {} " +
246 " interface IB<XB> {} " +
247 " class CC<XC> {} " +
248 " interface ID<XD> {} " +
249 " <@TA T extends @TB Test.CC<@TC IA> & Test. @TD ID<@TE IA>> void m(T p) { throw new RuntimeException(); } }";
250 }
251 }