1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/test/tools/javac/annotations/typeAnnotations/referenceinfos/MethodTypeParam.java Wed Jan 23 13:27:24 2013 -0800 1.3 @@ -0,0 +1,251 @@ 1.4 +/* 1.5 + * Copyright (c) 2009 Oracle and/or its affiliates. All rights reserved. 1.6 + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 1.7 + * 1.8 + * This code is free software; you can redistribute it and/or modify it 1.9 + * under the terms of the GNU General Public License version 2 only, as 1.10 + * published by the Free Software Foundation. 1.11 + * 1.12 + * This code is distributed in the hope that it will be useful, but WITHOUT 1.13 + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 1.14 + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 1.15 + * version 2 for more details (a copy is included in the LICENSE file that 1.16 + * accompanied this code). 1.17 + * 1.18 + * You should have received a copy of the GNU General Public License version 1.19 + * 2 along with this work; if not, write to the Free Software Foundation, 1.20 + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 1.21 + * 1.22 + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 1.23 + * or visit www.oracle.com if you need additional information or have any 1.24 + * questions. 1.25 + */ 1.26 + 1.27 +import static com.sun.tools.classfile.TypeAnnotation.TargetType.*; 1.28 + 1.29 +/* 1.30 + * @test 1.31 + * @summary Test population of reference info for method type parameters 1.32 + * @compile -g Driver.java ReferenceInfoUtil.java MethodTypeParam.java 1.33 + * @run main Driver MethodTypeParam 1.34 + */ 1.35 +public class MethodTypeParam { 1.36 + 1.37 + @TADescriptions({ 1.38 + @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER, paramIndex = 0), 1.39 + @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 0), 1.40 + @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER, paramIndex = 1), 1.41 + @TADescription(annotation = "TD", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 0), 1.42 + @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1) 1.43 + }) 1.44 + public String regularClass() { 1.45 + return "<@TA K extends @TB Date, @TC V extends @TD Object & @TE Cloneable> void test() { }"; 1.46 + } 1.47 + 1.48 + @TADescriptions({ 1.49 + @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER, paramIndex = 0), 1.50 + @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 0), 1.51 + @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER, paramIndex = 1), 1.52 + @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1) 1.53 + }) 1.54 + public String regularClass2() { 1.55 + return "<@TA K extends @TB Date, @TC V extends @TE Cloneable> void test() { }"; 1.56 + } 1.57 + 1.58 + @TADescriptions({ 1.59 + @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1), 1.60 + @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1, genericLocation = {3, 1}), 1.61 + @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1), 1.62 + @TADescription(annotation = "TD", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0}), 1.63 + @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0, 3, 0}), 1.64 + @TADescription(annotation = "TF", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 0) 1.65 + }) 1.66 + public String regularClassParameterized() { 1.67 + return "<K extends @TA Map<String, @TB String>, V extends @TF Object & @TC List<@TD List<@TE Object>>> void test() { }"; 1.68 + } 1.69 + 1.70 + @TADescriptions({ 1.71 + @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER, paramIndex = 0), 1.72 + @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 0), 1.73 + @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER, paramIndex = 1), 1.74 + @TADescription(annotation = "TD", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 0), 1.75 + @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1) 1.76 + }) 1.77 + public String abstractClass() { 1.78 + return "abstract class Test { abstract <@TA K extends @TB Date, @TC V extends @TD Object & @TE Cloneable> void test(); }"; 1.79 + } 1.80 + 1.81 + @TADescriptions({ 1.82 + @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1), 1.83 + @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1, genericLocation = {3, 1}), 1.84 + @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1), 1.85 + @TADescription(annotation = "TD", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0}), 1.86 + @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0, 3, 0}), 1.87 + @TADescription(annotation = "TF", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 0), 1.88 + @TADescription(annotation = "TG", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 0) 1.89 + }) 1.90 + public String abstractClassParameterized() { 1.91 + 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(); }"; 1.92 + } 1.93 + 1.94 + @TADescriptions({ 1.95 + @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1), 1.96 + @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1, genericLocation = {3, 1}), 1.97 + @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1), 1.98 + @TADescription(annotation = "TD", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0}), 1.99 + @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0, 3, 0}) 1.100 + }) 1.101 + public String abstractClassParameterized2() { 1.102 + return "abstract class Test { abstract <K extends @TA Map<String, @TB String>, V extends @TC List<@TD List<@TE Object>>> void test(); }"; 1.103 + } 1.104 + 1.105 + @TADescriptions({ 1.106 + @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1), 1.107 + @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1) 1.108 + }) 1.109 + public String abstractClassParameterized3() { 1.110 + return "abstract class Test { abstract <K extends @TA List<String>, V extends @TB List<Object>> void test(); }"; 1.111 + } 1.112 + 1.113 + @TADescriptions({ 1.114 + @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER, paramIndex = 0), 1.115 + @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 0), 1.116 + @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER, paramIndex = 1), 1.117 + @TADescription(annotation = "TD", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 0), 1.118 + @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1) 1.119 + }) 1.120 + public String regularInterface() { 1.121 + return "interface Test { <@TA K extends @TB Date, @TC V extends @TD Object & @TE Cloneable> void test(); }"; 1.122 + } 1.123 + 1.124 + @TADescriptions({ 1.125 + @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1), 1.126 + @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1, genericLocation = {3, 1}), 1.127 + @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1), 1.128 + @TADescription(annotation = "TD", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0}), 1.129 + @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0, 3, 0}), 1.130 + @TADescription(annotation = "TF", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 0), 1.131 + @TADescription(annotation = "TG", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 0), 1.132 + @TADescription(annotation = "TH", type = METHOD_TYPE_PARAMETER, paramIndex = 0), 1.133 + @TADescription(annotation = "TI", type = METHOD_TYPE_PARAMETER, paramIndex = 1) 1.134 + }) 1.135 + public String regularInterfaceParameterized() { 1.136 + 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(); }"; 1.137 + } 1.138 + 1.139 + @TADescriptions({ 1.140 + @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1), 1.141 + @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1, genericLocation = {3, 1}), 1.142 + @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1), 1.143 + @TADescription(annotation = "TD", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0}), 1.144 + @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 1, boundIndex = 1, genericLocation = {3, 0, 3, 0}), 1.145 + @TADescription(annotation = "TF", type = METHOD_TYPE_PARAMETER, paramIndex = 0), 1.146 + @TADescription(annotation = "TG", type = METHOD_TYPE_PARAMETER, paramIndex = 1) 1.147 + }) 1.148 + public String regularInterfaceParameterized2() { 1.149 + return "interface Test { <@TF K extends @TA Map<String, @TB String>, @TG V extends @TC List<@TD List<@TE Object>>> void test(); }"; 1.150 + } 1.151 + 1.152 + @TADescription(annotation = "TA", type = METHOD_RETURN) 1.153 + public String useInReturn1() { 1.154 + return "class Test { <T> @TA T m() { throw new RuntimeException(); } }"; 1.155 + } 1.156 + 1.157 + @TADescription(annotation = "TA", type = METHOD_RETURN, genericLocation = {3, 0}) 1.158 + public String useInReturn2() { 1.159 + return "class Test { <T> Class<@TA T> m() { throw new RuntimeException(); } }"; 1.160 + } 1.161 + 1.162 + @TADescriptions({ 1.163 + @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 0), 1.164 + @TADescription(annotation = "TB", type = METHOD_RETURN) 1.165 + }) 1.166 + public String useInReturn3() { 1.167 + return "class Test { <T extends @TA Object> @TB T m() { throw new RuntimeException(); } }"; 1.168 + } 1.169 + 1.170 + @TADescription(annotation = "TA", type = METHOD_FORMAL_PARAMETER, 1.171 + paramIndex = 0, genericLocation = {3, 0}) 1.172 + public String useInParam1() { 1.173 + return "class Test { <T> void m(Class<@TA T> p) { throw new RuntimeException(); } }"; 1.174 + } 1.175 + 1.176 + @TADescription(annotation = "TA", type = METHOD_FORMAL_PARAMETER, 1.177 + paramIndex = 0, genericLocation = {3, 0}) 1.178 + public String useInParam2() { 1.179 + return "class Test { void m(Class<@TA Object> p) { throw new RuntimeException(); } }"; 1.180 + } 1.181 + 1.182 + @TADescriptions({ 1.183 + @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 1), 1.184 + @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, paramIndex = 0, boundIndex = 2), 1.185 + @TADescription(annotation = "TC", type = METHOD_FORMAL_PARAMETER, paramIndex = 0) 1.186 + }) 1.187 + public String useInParam3() { 1.188 + return "interface IA {} " + 1.189 + "interface IB<XB> {} " + 1.190 + "interface IC<XC> {} " + 1.191 + "class Test { <T extends @TA IB<IA> & @TB IC<IA>> void m(@TC T p) { throw new RuntimeException(); } }"; 1.192 + } 1.193 + 1.194 + @TADescriptions({ 1.195 + @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND, 1.196 + paramIndex = 0, boundIndex = 1, 1.197 + genericLocation = {}), 1.198 + @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, 1.199 + paramIndex = 0, boundIndex = 2, 1.200 + genericLocation = {}), 1.201 + @TADescription(annotation = "TC", type = METHOD_FORMAL_PARAMETER, 1.202 + paramIndex = 0) 1.203 + }) 1.204 + public String useInParam4() { 1.205 + return "class Test {" + 1.206 + " interface IA {} " + 1.207 + " interface IB<XB> {} " + 1.208 + " interface IC<XC> {} " + 1.209 + " <T extends @TA IB<IA> & @TB IC<IA>> void m(@TC T p) { throw new RuntimeException(); } }"; 1.210 + } 1.211 + 1.212 + @TADescriptions({ 1.213 + @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER_BOUND, 1.214 + paramIndex = 0, boundIndex = 0, 1.215 + genericLocation = {}), 1.216 + @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, 1.217 + paramIndex = 0, boundIndex = 0, 1.218 + genericLocation = {1, 0}), 1.219 + @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER_BOUND, 1.220 + paramIndex = 0, boundIndex = 0, 1.221 + genericLocation = {1, 0, 3, 0}), 1.222 + }) 1.223 + public String useInParam5() { 1.224 + return "class Test {" + 1.225 + " interface IA {} " + 1.226 + " class CB<XC> {} " + 1.227 + " <T extends @TA Test. @TB CB<@TC IA>> void m(T p) { throw new RuntimeException(); } }"; 1.228 + } 1.229 + 1.230 + @TADescriptions({ 1.231 + @TADescription(annotation = "TA", type = METHOD_TYPE_PARAMETER, 1.232 + paramIndex = 0), 1.233 + @TADescription(annotation = "TB", type = METHOD_TYPE_PARAMETER_BOUND, 1.234 + paramIndex = 0, boundIndex = 0, 1.235 + genericLocation = {}), 1.236 + @TADescription(annotation = "TC", type = METHOD_TYPE_PARAMETER_BOUND, 1.237 + paramIndex = 0, boundIndex = 0, 1.238 + genericLocation = {1, 0, 3, 0}), 1.239 + @TADescription(annotation = "TD", type = METHOD_TYPE_PARAMETER_BOUND, 1.240 + paramIndex = 0, boundIndex = 1, 1.241 + genericLocation = {}), 1.242 + @TADescription(annotation = "TE", type = METHOD_TYPE_PARAMETER_BOUND, 1.243 + paramIndex = 0, boundIndex = 1, 1.244 + genericLocation = {3, 0}) 1.245 + }) 1.246 + public String useInParam6() { 1.247 + return "class Test {" + 1.248 + " interface IA {} " + 1.249 + " interface IB<XB> {} " + 1.250 + " class CC<XC> {} " + 1.251 + " interface ID<XD> {} " + 1.252 + " <@TA T extends @TB Test.CC<@TC IA> & Test. @TD ID<@TE IA>> void m(T p) { throw new RuntimeException(); } }"; 1.253 + } 1.254 +}