TargetTypes.java revision 1533:bec996065c45 
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 */
23import java.lang.annotation.*;
24import static java.lang.annotation.ElementType.*;
25import static java.lang.annotation.RetentionPolicy.*;
26
27import java.util.*;
28import java.io.*;
29
30/*
31 * @test
32 * @summary compiler accepts all values
33 * @author Mahmood Ali
34 * @author Yuri Gaevsky
35 * @compile TargetTypes.java
36 */
37
38@Target({TYPE_USE, TYPE_PARAMETER, TYPE})
39@Retention(RetentionPolicy.RUNTIME)
40@interface A {}
41
42/** wildcard bound */
43class T0x1C {
44    void m0x1C(List<? extends @A String> lst) {}
45}
46
47/** wildcard bound generic/array */
48class T0x1D<T> {
49    void m0x1D(List<? extends @A List<int[]>> lst) {}
50}
51
52/** typecast */
53class T0x00 {
54    void m0x00(Long l1) {
55        Object l2 = (@A Long) l1;
56    }
57}
58
59/** typecast generic/array */
60class T0x01<T> {
61    void m0x01(List<T> list) {
62        List<T> l = (List<@A T>) list;
63    }
64}
65
66/** instanceof */
67class T0x02 {
68    boolean m0x02(String s) {
69        return (s instanceof @A String);
70    }
71}
72
73/** object creation (new) */
74class T0x04 {
75    void m0x04() {
76        new @A ArrayList<String>();
77    }
78}
79
80/** local variable */
81class T0x08 {
82    void m0x08() {
83      @A String s = null;
84    }
85}
86
87/** method parameter generic/array */
88class T0x0D {
89    void m0x0D(HashMap<@A Object, List<@A List<@A Class>>> s1) {}
90}
91
92/** method receiver */
93class T0x06 {
94    void m0x06(@A T0x06 this) {}
95}
96
97/** method return type generic/array */
98class T0x0B {
99    Class<@A Object> m0x0B() { return null; }
100}
101
102/** field generic/array */
103class T0x0F {
104    HashMap<@A Object, @A Object> c1;
105}
106
107/** method type parameter */
108class T0x20<T, U> {
109    <@A T, @A U> void m0x20() {}
110}
111
112/** class type parameter */
113class T0x22<@A T, @A U> {
114}
115
116/** class type parameter bound */
117class T0x10<T extends @A Object> {
118}
119
120/** method type parameter bound */
121class T0x12<T> {
122    <T extends @A Object> void m0x12() {}
123}
124
125/** class type parameter bound generic/array */
126class T0x11<T extends List<@A T>> {
127}
128
129
130/** method type parameter bound generic/array */
131class T0x13 {
132    static <T extends Comparable<@A T>> T m0x13() {
133        return null;
134    }
135}
136
137/** class extends/implements generic/array */
138class T0x15<T> extends ArrayList<@A T> {
139}
140
141/** type test (instanceof) generic/array */
142class T0x03<T> {
143    void m0x03(T typeObj, Object obj) {
144        boolean ok = obj instanceof String @A [];
145    }
146}
147
148/** object creation (new) generic/array */
149class T0x05<T> {
150    void m0x05() {
151        new ArrayList<@A T>();
152    }
153}
154
155/** local variable generic/array */
156class T0x09<T> {
157    void g() {
158        List<@A String> l = null;
159    }
160
161    void a() {
162        String @A [] as = null;
163    }
164}
165
166/** type argument in constructor call generic/array */
167class T0x19 {
168    <T> T0x19() {}
169
170    void g() {
171       new <List<@A String>> T0x19();
172    }
173}
174
175/** type argument in method call generic/array */
176class T0x1B<T> {
177    void m0x1B() {
178        Collections.<T @A []>emptyList();
179    }
180}
181
182/** type argument in constructor call */
183class T0x18<T> {
184    <T> T0x18() {}
185
186    void m() {
187        new <@A Integer> T0x18();
188    }
189}
190
191/** type argument in method call */
192class T0x1A<T,U> {
193    public static <T, U> T m() { return null; }
194    static void m0x1A() {
195        T0x1A.<@A Integer, @A Short>m();
196    }
197}
198
199/** class extends/implements */
200class T0x14 extends @A Object implements @A Serializable, @A Cloneable {
201}
202
203/** exception type in throws */
204class T0x16 {
205    void m0x16() throws @A Exception {}
206}
207