1 /*
2  * Copyright (c) 2008, 2013, 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 java.lang.annotation.*;
25 
26 /*
27  * @test
28  * @bug 6843077 8006775
29  * @summary new type annotation location: class type parameter bounds
30  * @author Mahmood Ali
31  * @compile ClassParameters.java
32  */
33 class Unannotated<K> { }
34 
35 class ExtendsBound<K extends @A String> { }
36 class ExtendsGeneric<K extends @A Unannotated<@B String>> { }
37 class TwoBounds<K extends @A String, V extends @B String> { }
38 
39 class Complex1<K extends @A String&Runnable> { }
40 class Complex2<K extends String & @B Runnable> { }
41 class ComplexBoth<K extends @A String & @A Runnable> { }
42 
43 class Outer {
inner()44   void inner() {
45     class Unannotated<K> { }
46 
47     class ExtendsBound<K extends @A String> { }
48     class ExtendsGeneric<K extends @A Unannotated<@B String>> { }
49     class TwoBounds<K extends @A String, V extends @B String> { }
50 
51     class Complex1<K extends @A String&Runnable> { }
52     class Complex2<K extends String & @B Runnable> { }
53     class ComplexBoth<K extends @A String & @A Runnable> { }
54   }
55 }
56 
57 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
58 @interface A { }
59 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
60 @interface B { }
61