Tue, 10 Apr 2012 08:15:25 -0700
7074397: Build infrastructure changes (makefile re-write)
Summary: New makefiles transition, old and new living side by side for now.
Reviewed-by: ohair, jjg, dholmes, ohrstrom, erikj, ihse, tgranat, ykantser
Contributed-by: ohrstrom <fredrik.ohrstrom@oracle.com>, erikj <erik.joelsson@oracle.com>, ihse <magnus.ihse.bursie@oracle.com>, tgranat <torbjorn.granat@oracle.com>, ykantser <yekaterina.kantserova@oracle.com>
1 /*
2 * Copyright (c) 2003, 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 */
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 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 }