jdk8-mips64-public/langtools: test/tools/javac/generics/Conditional.java@9a66ca7c79fa

     1 /*

     2  * Copyright 2003 Sun Microsystems, Inc.  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 Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,

    20  * CA 95054 USA or visit www.sun.com if you need additional information or

    21  * have any questions.

    22  */

    24 /*

    25  * @test

    26  * @bug 4881179 4883239

    27  * @summary Rule for semantics of ?: in the presence of generics and generic class Class

    28  * @author gafter

    29  *

    30  * @compile -source 1.5 Conditional.java

    31  */

    33 package conditional;

    35 import java.io.Serializable;

    37 interface I {}

    38 interface J {}

    39 class A implements I, J {}

    40 class B implements I, J {}

    41 class C extends B {}

    43 class Conditional {

    44     static boolean cond = String.class.getName().length() == 1;

    45     public static void main(String[] args) {

    46         Class c = cond ? A.class : B.class;

    47         Class<?> d = cond ? A.class : B.class;

    49         Class<? extends B> e = cond ? B.class : C.class;

    50     }

    52     void f(A a, B b) {

    53         I i = cond ? a : b;

    54         J j = cond ? a : b;

    55     }

    57     // required for compatibility

    58     Class g(Class a) {

    59         return cond ? a : B.class;

    60     }

    62     // required for compatibility

    63     byte[] h(byte[] a, byte[] b) {

    64         return cond ? a : b;

    65     }

    67     // This one is hard because of the recursive F-bounds

    68     // The naive result is the infinite type

    69     // Class<? extends Number&Comparable<? extends Number&Comparable<? extends

    70     // ...

    71     Class<? extends Comparable<?>> c =

    72         cond ? Integer.class : Float.class;

    74     Comparable<?> o =

    75         cond ? true : 3;

    77     /*

    79     // See 4942040

    80     void f(Cloneable a, int[] b) {

    81         Cloneable x = cond ? a : b;

    82     }

    83     void f(Serializable a, int[] b) {

    84         Serializable x = cond ? a : b;

    85     }

    87     // See 4941882

    88     void f(float[] a, int[] b) {

    89         Serializable x = cond ? a : b;

    90     }

    91     */

    92 }

Mercurial > jdk8-mips64-public > langtools / file revision