aoqi@0: /*
aoqi@0:  * Copyright (c) 2011, Oracle and/or its affiliates. All rights reserved.
aoqi@0:  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
aoqi@0:  *
aoqi@0:  * This code is free software; you can redistribute it and/or modify it
aoqi@0:  * under the terms of the GNU General Public License version 2 only, as
aoqi@0:  * published by the Free Software Foundation.
aoqi@0:  *
aoqi@0:  * This code is distributed in the hope that it will be useful, but WITHOUT
aoqi@0:  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
aoqi@0:  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
aoqi@0:  * version 2 for more details (a copy is included in the LICENSE file that
aoqi@0:  * accompanied this code).
aoqi@0:  *
aoqi@0:  * You should have received a copy of the GNU General Public License version
aoqi@0:  * 2 along with this work; if not, write to the Free Software Foundation,
aoqi@0:  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
aoqi@0:  *
aoqi@0:  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
aoqi@0:  * or visit www.oracle.com if you need additional information or have any
aoqi@0:  * questions.
aoqi@0:  */
aoqi@0: 
aoqi@0: /*
aoqi@0:  * @test
aoqi@0:  * @bug 7039822
aoqi@0:  * @summary Verify lub of an exception parameter can be an intersection type
aoqi@0:  * @author Joseph D. Darcy
aoqi@0:  */
aoqi@0: 
aoqi@0: public class Pos10 {
aoqi@0:     public static void main(String... args) {
aoqi@0:         test(0);
aoqi@0:         test(1);
aoqi@0: 
aoqi@0:         if (record != 0b11)
aoqi@0:             throw new RuntimeException("Unexpected exception execution: " +
aoqi@0:                                        record);
aoqi@0:         if (closeRecord != 0b11)
aoqi@0:             throw new RuntimeException("Unexpected close execution: " +
aoqi@0:                                        closeRecord);
aoqi@0:     }
aoqi@0: 
aoqi@0:     private static int record = 0;
aoqi@0:     private static int closeRecord = 0;
aoqi@0: 
aoqi@0:     private static void test(int i) {
aoqi@0:         try {
aoqi@0:             thrower(i);
aoqi@0:         } catch (SonException | DaughterException e) {
aoqi@0:             Class<? extends ParentException> clazz = e.getClass();
aoqi@0:             HasFoo m = e;
aoqi@0:             e.foo();
aoqi@0: 
aoqi@0:             try (AutoCloseable ac = e) {
aoqi@0:                 e.toString();
aoqi@0:             } catch(Exception except) {
aoqi@0:                 throw new RuntimeException(except);
aoqi@0:             }
aoqi@0:         }
aoqi@0:     }
aoqi@0: 
aoqi@0:     private static interface HasFoo {
aoqi@0:         void foo();
aoqi@0:     }
aoqi@0: 
aoqi@0:     private static void thrower(int i) throws SonException, DaughterException {
aoqi@0:         if (i == 0)
aoqi@0:             throw new SonException();
aoqi@0:         else
aoqi@0:             throw new DaughterException();
aoqi@0:     }
aoqi@0: 
aoqi@0:     private static class ParentException extends RuntimeException {}
aoqi@0: 
aoqi@0:     private static class SonException
aoqi@0:         extends ParentException
aoqi@0:         implements HasFoo, AutoCloseable {
aoqi@0: 
aoqi@0:         public void foo() {
aoqi@0:             record |= 0b01;
aoqi@0:         }
aoqi@0: 
aoqi@0:         @Override
aoqi@0:         public void close() {
aoqi@0:             closeRecord |= 0b01;
aoqi@0:         }
aoqi@0:     }
aoqi@0: 
aoqi@0:     private static class DaughterException
aoqi@0:         extends ParentException
aoqi@0:         implements HasFoo, AutoCloseable {
aoqi@0: 
aoqi@0:         public void foo() {
aoqi@0:             record |= 0b10;
aoqi@0:         }
aoqi@0: 
aoqi@0:         @Override
aoqi@0:         public  void close() {
aoqi@0:             closeRecord |= 0b10;
aoqi@0:         }
aoqi@0:     }
aoqi@0: }