1 /*

     2  * Copyright (c) 2008, 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 /*

    25  * @test

    26  * @bug 6843077

    27  * @summary new type annotation location: wildcard bound

    28  * @author Mahmood Ali

    29  * @compile -source 1.7 Wildcards.java

    30  */

    31 class BoundTest {

    32   void wcExtends(MyList<? extends @A String> l) { }

    33   void wcSuper(MyList<? super @A String> l) { }

    34 

    35   MyList<? extends @A String> returnWcExtends() { return null; }

    36   MyList<? super @A String> returnWcSuper() { return null; }

    37   MyList<? extends @A MyList<? super @B("m") String>> complex() { return null; }

    38 }

    39 

    40 class BoundWithValue {

    41   void wcExtends(MyList<? extends @B("m") String> l) { }

    42   void wcSuper(MyList<? super @B(value="m") String> l) { }

    43 

    44   MyList<? extends @B("m") String> returnWcExtends() { return null; }

    45   MyList<? super @B(value="m") String> returnWcSuper() { return null; }

    46   MyList<? extends @B("m") MyList<? super @B("m") String>> complex() { return null; }

    47 }

    48 

    49 class SelfTest {

    50   void wcExtends(MyList<@A ?> l) { }

    51   void wcSuper(MyList<@A ?> l) { }

    52 

    53   MyList<@A ?> returnWcExtends() { return null; }

    54   MyList<@A ?> returnWcSuper() { return null; }

    55   MyList<@A ? extends @A MyList<@B("m") ?>> complex() { return null; }

    56 }

    57 

    58 class SelfWithValue {

    59   void wcExtends(MyList<@B("m") ?> l) { }

    60   void wcSuper(MyList<@B(value="m") ?> l) { }

    61 

    62   MyList<@B("m") ?> returnWcExtends() { return null; }

    63   MyList<@B(value="m") ?> returnWcSuper() { return null; }

    64   MyList<@B("m") ? extends MyList<@B("m") ? super String>> complex() { return null; }

    65 }

    66 

    67 class MyList<K> { }

    68 

    69 @interface A { }

    70 @interface B { String value(); }