Mon, 17 Oct 2011 12:54:33 +0100
7097436: Project Coin: duplicate varargs warnings on method annotated with @SafeVarargs
Summary: Duplicate aliasing check during subtyping leads to spurious varargs diagnostic
Reviewed-by: jjg
1 /*
2 * Copyright (c) 2011, 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 7039822
27 * @summary Verify lub of an exception parameter can be an intersection type
28 * @author Joseph D. Darcy
29 */
31 public class Pos10 {
32 public static void main(String... args) {
33 test(0);
34 test(1);
36 if (record != 0b11)
37 throw new RuntimeException("Unexpected exception execution: " +
38 record);
39 if (closeRecord != 0b11)
40 throw new RuntimeException("Unexpected close execution: " +
41 closeRecord);
42 }
44 private static int record = 0;
45 private static int closeRecord = 0;
47 private static void test(int i) {
48 try {
49 thrower(i);
50 } catch (SonException | DaughterException e) {
51 Class<? extends ParentException> clazz = e.getClass();
52 HasFoo m = e;
53 e.foo();
55 try (AutoCloseable ac = e) {
56 e.toString();
57 } catch(Exception except) {
58 throw new RuntimeException(except);
59 }
60 }
61 }
63 private static interface HasFoo {
64 void foo();
65 }
67 private static void thrower(int i) throws SonException, DaughterException {
68 if (i == 0)
69 throw new SonException();
70 else
71 throw new DaughterException();
72 }
74 private static class ParentException extends RuntimeException {}
76 private static class SonException
77 extends ParentException
78 implements HasFoo, AutoCloseable {
80 public void foo() {
81 record |= 0b01;
82 }
84 @Override
85 public void close() {
86 closeRecord |= 0b01;
87 }
88 }
90 private static class DaughterException
91 extends ParentException
92 implements HasFoo, AutoCloseable {
94 public void foo() {
95 record |= 0b10;
96 }
98 @Override
99 public void close() {
100 closeRecord |= 0b10;
101 }
102 }
103 }