• file
• revisions
• annotate
• diff
• comparison
• raw

test/tools/javac/multicatch/Pos10.java@f497fac86cf9 (annotated)

test/tools/javac/multicatch/Pos10.java

Thu, 25 Aug 2011 17:18:25 -0700

author

schien

date

Thu, 25 Aug 2011 17:18:25 -0700

changeset 1067

f497fac86cf9

parent 0

959103a6100f

permissions

-rw-r--r--

Added tag jdk8-b02 for changeset b3c059de2a61

aoqi@0	1	/*
aoqi@0	2	* Copyright (c) 2011, Oracle and/or its affiliates. All rights reserved.
aoqi@0	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
aoqi@0	4	*
aoqi@0	5	* This code is free software; you can redistribute it and/or modify it
aoqi@0	6	* under the terms of the GNU General Public License version 2 only, as
aoqi@0	7	* published by the Free Software Foundation.
aoqi@0	8	*
aoqi@0	9	* This code is distributed in the hope that it will be useful, but WITHOUT
aoqi@0	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
aoqi@0	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
aoqi@0	12	* version 2 for more details (a copy is included in the LICENSE file that
aoqi@0	13	* accompanied this code).
aoqi@0	14	*
aoqi@0	15	* You should have received a copy of the GNU General Public License version
aoqi@0	16	* 2 along with this work; if not, write to the Free Software Foundation,
aoqi@0	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
aoqi@0	18	*
aoqi@0	19	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
aoqi@0	20	* or visit www.oracle.com if you need additional information or have any
aoqi@0	21	* questions.
aoqi@0	22	*/
aoqi@0	23
aoqi@0	24	/*
aoqi@0	25	* @test
aoqi@0	26	* @bug 7039822
aoqi@0	27	* @summary Verify lub of an exception parameter can be an intersection type
aoqi@0	28	* @author Joseph D. Darcy
aoqi@0	29	*/
aoqi@0	30
aoqi@0	31	public class Pos10 {
aoqi@0	32	public static void main(String... args) {
aoqi@0	33	test(0);
aoqi@0	34	test(1);
aoqi@0	35
aoqi@0	36	if (record != 0b11)
aoqi@0	37	throw new RuntimeException("Unexpected exception execution: " +
aoqi@0	38	record);
aoqi@0	39	if (closeRecord != 0b11)
aoqi@0	40	throw new RuntimeException("Unexpected close execution: " +
aoqi@0	41	closeRecord);
aoqi@0	42	}
aoqi@0	43
aoqi@0	44	private static int record = 0;
aoqi@0	45	private static int closeRecord = 0;
aoqi@0	46
aoqi@0	47	private static void test(int i) {
aoqi@0	48	try {
aoqi@0	49	thrower(i);
aoqi@0	50	} catch (SonException | DaughterException e) {
aoqi@0	51	Class<? extends ParentException> clazz = e.getClass();
aoqi@0	52	HasFoo m = e;
aoqi@0	53	e.foo();
aoqi@0	54
aoqi@0	55	try (AutoCloseable ac = e) {
aoqi@0	56	e.toString();
aoqi@0	57	} catch(Exception except) {
aoqi@0	58	throw new RuntimeException(except);
aoqi@0	59	}
aoqi@0	60	}
aoqi@0	61	}
aoqi@0	62
aoqi@0	63	private static interface HasFoo {
aoqi@0	64	void foo();
aoqi@0	65	}
aoqi@0	66
aoqi@0	67	private static void thrower(int i) throws SonException, DaughterException {
aoqi@0	68	if (i == 0)
aoqi@0	69	throw new SonException();
aoqi@0	70	else
aoqi@0	71	throw new DaughterException();
aoqi@0	72	}
aoqi@0	73
aoqi@0	74	private static class ParentException extends RuntimeException {}
aoqi@0	75
aoqi@0	76	private static class SonException
aoqi@0	77	extends ParentException
aoqi@0	78	implements HasFoo, AutoCloseable {
aoqi@0	79
aoqi@0	80	public void foo() {
aoqi@0	81	record |= 0b01;
aoqi@0	82	}
aoqi@0	83
aoqi@0	84	@Override
aoqi@0	85	public void close() {
aoqi@0	86	closeRecord |= 0b01;
aoqi@0	87	}
aoqi@0	88	}
aoqi@0	89
aoqi@0	90	private static class DaughterException
aoqi@0	91	extends ParentException
aoqi@0	92	implements HasFoo, AutoCloseable {
aoqi@0	93
aoqi@0	94	public void foo() {
aoqi@0	95	record |= 0b10;
aoqi@0	96	}
aoqi@0	97
aoqi@0	98	@Override
aoqi@0	99	public void close() {
aoqi@0	100	closeRecord |= 0b10;
aoqi@0	101	}
aoqi@0	102	}
aoqi@0	103	}