darcy@609: /*
darcy@609:  * Copyright (c) 2009, 2010, Oracle and/or its affiliates. All rights reserved.
darcy@609:  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
darcy@609:  *
darcy@609:  * This code is free software; you can redistribute it and/or modify it
darcy@609:  * under the terms of the GNU General Public License version 2 only, as
darcy@609:  * published by the Free Software Foundation.
darcy@609:  *
darcy@609:  * This code is distributed in the hope that it will be useful, but WITHOUT
darcy@609:  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
darcy@609:  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
darcy@609:  * version 2 for more details (a copy is included in the LICENSE file that
darcy@609:  * accompanied this code).
darcy@609:  *
darcy@609:  * You should have received a copy of the GNU General Public License version
darcy@609:  * 2 along with this work; if not, write to the Free Software Foundation,
darcy@609:  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
darcy@609:  *
darcy@609:  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
darcy@609:  * or visit www.oracle.com if you need additional information or have any
darcy@609:  * questions.
darcy@609:  */
darcy@609: 
darcy@609: /*
darcy@609:  * @test
darcy@609:  * @bug 6911256 6964740
darcy@609:  * @summary Tests of generated TWR code.
darcy@609:  */
darcy@609: 
darcy@609: import java.util.List;
darcy@609: import java.util.ArrayList;
darcy@609: 
darcy@609: public class TwrTests {
darcy@609:     public static void main(String[] args) {
darcy@609:         testCreateFailure1();
darcy@609:         testCreateFailure2();
darcy@609:         testCreateFailure2Nested();
darcy@609:         testCreateFailure3();
darcy@609:         testCreateFailure3Nested();
darcy@609:         testCreateFailure4();
darcy@609:         testCreateFailure4Nested();
darcy@609:         testCreateFailure5();
darcy@609:         testCreateFailure5Nested();
darcy@609: 
darcy@609:         testCreateSuccess1();
darcy@609:         testCreateSuccess2();
darcy@609:         testCreateSuccess2Nested();
darcy@609:         testCreateSuccess3();
darcy@609:         testCreateSuccess3Nested();
darcy@609:         testCreateSuccess4();
darcy@609:         testCreateSuccess4Nested();
darcy@609:         testCreateSuccess5();
darcy@609:         testCreateSuccess5Nested();
darcy@609:     }
darcy@609: 
darcy@609:     /*
darcy@609:      * The following tests simulate a creation failure of every possible
darcy@609:      * resource in an TWR block, and check to make sure that the failure
darcy@609:      * prevents creation of subsequent resources, and that all created
darcy@609:      * resources are properly closed, even if one or more of the close
darcy@609:      * attempts fails.
darcy@609:      */
darcy@609: 
darcy@609:     public static void testCreateFailure1() {
darcy@609:         int creationFailuresDetected = 0;
darcy@609:         List<Integer> closedList = new ArrayList<Integer>(0);
darcy@609:         try (Resource r0 = createResource(0, 0, 0, closedList)) {
darcy@609:             throw new AssertionError("Resource creation succeeded");
darcy@609:         } catch (Resource.CreateFailException e) {
darcy@609:             creationFailuresDetected++;
darcy@609:             if (e.resourceId() != 0) {
darcy@609:                 throw new AssertionError("Wrong resource creation "
darcy@609:                                          + e.resourceId() + " failed");
darcy@609:             }
darcy@609:         } catch (Resource.CloseFailException e) {
darcy@609:             throw new AssertionError("Unexpected CloseFailException: " + e.resourceId());
darcy@609:         }
darcy@609:         checkForSingleCreationFailure(creationFailuresDetected);
darcy@609:         checkClosedList(closedList, 0);
darcy@609:     }
darcy@609: 
darcy@609:     public static void testCreateFailure2() {
darcy@609:         for (int createFailureId = 0; createFailureId < 2; createFailureId++) {
darcy@609:             for (int bitMap = 0, n = 1 << createFailureId; bitMap < n; bitMap++) {
darcy@609:                 int creationFailuresDetected = 0;
darcy@609:                 List<Integer> closedList = new ArrayList<Integer>();
darcy@609:                 try (Resource r0 = createResource(0, createFailureId, bitMap, closedList);
darcy@609:                      Resource r1 = createResource(1, createFailureId, bitMap, closedList)) {
darcy@609:                     throw new AssertionError("Entire resource creation succeeded");
darcy@609:                 } catch (Resource.CreateFailException e) {
darcy@609:                     creationFailuresDetected++;
darcy@609:                     checkCreateFailureId(e.resourceId(), createFailureId);
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap);
darcy@609:                 } catch (Resource.CloseFailException e) {
darcy@609:                     throw new AssertionError("Secondary exception suppression failed");
darcy@609:                 }
darcy@609:                 checkForSingleCreationFailure(creationFailuresDetected);
darcy@609:                 checkClosedList(closedList, createFailureId);
darcy@609:             }
darcy@609:         }
darcy@609:     }
darcy@609: 
darcy@609:     public static void testCreateFailure2Nested() {
darcy@609:         for (int createFailureId = 0; createFailureId < 2; createFailureId++) {
darcy@609:             for (int bitMap = 0, n = 1 << createFailureId; bitMap < n; bitMap++) {
darcy@609:                 int creationFailuresDetected = 0;
darcy@609:                 List<Integer> closedList = new ArrayList<Integer>();
darcy@609:                 try (Resource r0 = createResource(0, createFailureId, bitMap, closedList)) {
darcy@609:                     try(Resource r1 = createResource(1, createFailureId, bitMap, closedList)) {
darcy@609:                         throw new AssertionError("Entire resource creation succeeded");
darcy@609:                     }
darcy@609:                 } catch (Resource.CreateFailException e) {
darcy@609:                     creationFailuresDetected++;
darcy@609:                     checkCreateFailureId(e.resourceId(), createFailureId);
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap);
darcy@609:                 } catch (Resource.CloseFailException e) {
darcy@609:                     throw new AssertionError("Secondary exception suppression failed");
darcy@609:                 }
darcy@609:                 checkForSingleCreationFailure(creationFailuresDetected);
darcy@609:                 checkClosedList(closedList, createFailureId);
darcy@609:             }
darcy@609:         }
darcy@609:     }
darcy@609: 
darcy@609:     public static void testCreateFailure3() {
darcy@609:         for (int createFailureId = 0; createFailureId < 3; createFailureId++) {
darcy@609:             for (int bitMap = 0, n = 1 << createFailureId; bitMap < n; bitMap++) {
darcy@609:                 int creationFailuresDetected = 0;
darcy@609:                 List<Integer> closedList = new ArrayList<Integer>();
darcy@609:                 try (Resource r0 = createResource(0, createFailureId, bitMap, closedList);
darcy@609:                      Resource r1 = createResource(1, createFailureId, bitMap, closedList);
darcy@609:                      Resource r2 = createResource(2, createFailureId, bitMap, closedList)) {
darcy@609:                     throw new AssertionError("Entire resource creation succeeded");
darcy@609:                 } catch (Resource.CreateFailException e) {
darcy@609:                     creationFailuresDetected++;
darcy@609:                     checkCreateFailureId(e.resourceId(), createFailureId);
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap);
darcy@609:                 } catch (Resource.CloseFailException e) {
darcy@609:                     throw new AssertionError("Secondary exception suppression failed:" + e);
darcy@609:                 }
darcy@609:                 checkForSingleCreationFailure(creationFailuresDetected);
darcy@609:                 checkClosedList(closedList, createFailureId);
darcy@609:             }
darcy@609:         }
darcy@609:     }
darcy@609: 
darcy@609:     public static void testCreateFailure3Nested() {
darcy@609:         for (int createFailureId = 0; createFailureId < 3; createFailureId++) {
darcy@609:             for (int bitMap = 0, n = 1 << createFailureId; bitMap < n; bitMap++) {
darcy@609:                 int creationFailuresDetected = 0;
darcy@609:                 List<Integer> closedList = new ArrayList<Integer>();
darcy@609:                 try (Resource r0 = createResource(0, createFailureId, bitMap, closedList)) {
darcy@609:                     try (Resource r1 = createResource(1, createFailureId, bitMap, closedList)) {
darcy@609:                         try (Resource r2 = createResource(2, createFailureId, bitMap, closedList)) {
darcy@609:                             throw new AssertionError("Entire resource creation succeeded");
darcy@609:                         }
darcy@609:                     }
darcy@609:                 } catch (Resource.CreateFailException e) {
darcy@609:                     creationFailuresDetected++;
darcy@609:                     checkCreateFailureId(e.resourceId(), createFailureId);
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap);
darcy@609:                 } catch (Resource.CloseFailException e) {
darcy@609:                     throw new AssertionError("Secondary exception suppression failed:" + e);
darcy@609:                 }
darcy@609:                 checkForSingleCreationFailure(creationFailuresDetected);
darcy@609:                 checkClosedList(closedList, createFailureId);
darcy@609:             }
darcy@609:         }
darcy@609:     }
darcy@609: 
darcy@609:     public static void testCreateFailure4() {
darcy@609:         for (int createFailureId = 0; createFailureId < 4; createFailureId++) {
darcy@609:             for (int bitMap = 0, n = 1 << createFailureId; bitMap < n; bitMap++) {
darcy@609:                 int creationFailuresDetected = 0;
darcy@609:                 List<Integer> closedList = new ArrayList<Integer>();
darcy@609:                 try (Resource r0 = createResource(0, createFailureId, bitMap, closedList);
darcy@609:                      Resource r1 = createResource(1, createFailureId, bitMap, closedList);
darcy@609:                      Resource r2 = createResource(2, createFailureId, bitMap, closedList);
darcy@609:                      Resource r3 = createResource(3, createFailureId, bitMap, closedList)) {
darcy@609:                     throw new AssertionError("Entire resource creation succeeded");
darcy@609:                 } catch (Resource.CreateFailException e) {
darcy@609:                     creationFailuresDetected++;
darcy@609:                     checkCreateFailureId(e.resourceId(), createFailureId);
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap);
darcy@609:                 } catch (Resource.CloseFailException e) {
darcy@609:                     throw new AssertionError("Secondary exception suppression failed:" + e);
darcy@609:                 }
darcy@609:                 checkForSingleCreationFailure(creationFailuresDetected);
darcy@609:                 checkClosedList(closedList, createFailureId);
darcy@609:             }
darcy@609:         }
darcy@609:     }
darcy@609: 
darcy@609:     public static void testCreateFailure4Nested() {
darcy@609:         for (int createFailureId = 0; createFailureId < 4; createFailureId++) {
darcy@609:             for (int bitMap = 0, n = 1 << createFailureId; bitMap < n; bitMap++) {
darcy@609:                 int creationFailuresDetected = 0;
darcy@609:                 List<Integer> closedList = new ArrayList<Integer>();
darcy@609:                 try (Resource r0 = createResource(0, createFailureId, bitMap, closedList)) {
darcy@609:                     try (Resource r1 = createResource(1, createFailureId, bitMap, closedList)) {
darcy@609:                         try (Resource r2 = createResource(2, createFailureId, bitMap, closedList)) {
darcy@609:                             try (Resource r3 = createResource(3, createFailureId, bitMap, closedList)) {
darcy@609:                                 throw new AssertionError("Entire resource creation succeeded");
darcy@609:                             }
darcy@609:                         }
darcy@609:                     }
darcy@609:                 } catch (Resource.CreateFailException e) {
darcy@609:                     creationFailuresDetected++;
darcy@609:                     checkCreateFailureId(e.resourceId(), createFailureId);
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap);
darcy@609:                 } catch (Resource.CloseFailException e) {
darcy@609:                     throw new AssertionError("Secondary exception suppression failed:" + e);
darcy@609:                 }
darcy@609:                 checkForSingleCreationFailure(creationFailuresDetected);
darcy@609:                 checkClosedList(closedList, createFailureId);
darcy@609:             }
darcy@609:         }
darcy@609:     }
darcy@609: 
darcy@609:     public static void testCreateFailure5() {
darcy@609:         for (int createFailureId = 0; createFailureId < 5; createFailureId++) {
darcy@609:             for (int bitMap = 0, n = 1 << createFailureId; bitMap < n; bitMap++) {
darcy@609:                 int creationFailuresDetected = 0;
darcy@609:                 List<Integer> closedList = new ArrayList<Integer>();
darcy@609:                 try (Resource r0 = createResource(0, createFailureId, bitMap, closedList);
darcy@609:                      Resource r1 = createResource(1, createFailureId, bitMap, closedList);
darcy@609:                      Resource r2 = createResource(2, createFailureId, bitMap, closedList);
darcy@609:                      Resource r3 = createResource(3, createFailureId, bitMap, closedList);
darcy@609:                      Resource r4 = createResource(4, createFailureId, bitMap, closedList)) {
darcy@609:                     throw new AssertionError("Entire resource creation succeeded");
darcy@609:                 } catch (Resource.CreateFailException e) {
darcy@609:                     creationFailuresDetected++;
darcy@609:                     checkCreateFailureId(e.resourceId(), createFailureId);
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap);
darcy@609:                 } catch (Resource.CloseFailException e) {
darcy@609:                     throw new AssertionError("Secondary exception suppression failed:" + e);
darcy@609:                 }
darcy@609:                 checkForSingleCreationFailure(creationFailuresDetected);
darcy@609:                 checkClosedList(closedList, createFailureId);
darcy@609:             }
darcy@609:         }
darcy@609:     }
darcy@609: 
darcy@609:     public static void testCreateFailure5Nested() {
darcy@609:         for (int createFailureId = 0; createFailureId < 5; createFailureId++) {
darcy@609:             for (int bitMap = 0, n = 1 << createFailureId; bitMap < n; bitMap++) {
darcy@609:                 int creationFailuresDetected = 0;
darcy@609:                 List<Integer> closedList = new ArrayList<Integer>();
darcy@609:                 try (Resource r0 = createResource(0, createFailureId, bitMap, closedList)) {
darcy@609:                     try (Resource r1 = createResource(1, createFailureId, bitMap, closedList)) {
darcy@609:                         try (Resource r2 = createResource(2, createFailureId, bitMap, closedList)) {
darcy@609:                             try (Resource r3 = createResource(3, createFailureId, bitMap, closedList)) {
darcy@609:                                 try (Resource r4 = createResource(4, createFailureId, bitMap, closedList)) {
darcy@609:                                     throw new AssertionError("Entire resource creation succeeded");
darcy@609:                                 }
darcy@609:                             }
darcy@609:                         }
darcy@609:                     }
darcy@609:                 } catch (Resource.CreateFailException e) {
darcy@609:                     creationFailuresDetected++;
darcy@609:                     checkCreateFailureId(e.resourceId(), createFailureId);
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap);
darcy@609:                 } catch (Resource.CloseFailException e) {
darcy@609:                     throw new AssertionError("Secondary exception suppression failed:" + e);
darcy@609:                 }
darcy@609:                 checkForSingleCreationFailure(creationFailuresDetected);
darcy@609:                 checkClosedList(closedList, createFailureId);
darcy@609:             }
darcy@609:         }
darcy@609:     }
darcy@609: 
darcy@609:     /**
darcy@609:      * Create a resource with the specified ID. The ID must be less than createFailureId.
darcy@609:      * A subsequent attempt to close the resource will fail iff the corresponding bit
darcy@609:      * is set in closeFailureBitMap.  When an attempt is made to close this resource,
darcy@609:      * its ID will be added to closedList, regardless of whether the attempt succeeds.
darcy@609:      *
darcy@609:      * @param id the ID of this resource
darcy@609:      * @param createFailureId the ID of the resource whose creation will fail
darcy@609:      * @param closeFailureBitMap a bit vector describing which resources should throw an
darcy@609:      *        exception when close is attempted
darcy@609:      * @param closedList a list on which to record resource close attempts
darcy@609:      * @throws AssertionError if no attempt should be made to create this resource
darcy@609:      */
darcy@609:     private static Resource createResource(int id,
darcy@609:                                            int createFailureId,
darcy@609:                                            int closeFailureBitMap,
darcy@609:                                            List<Integer> closedList) throws Resource.CreateFailException {
darcy@609:         if (id > createFailureId)
darcy@609:             throw new AssertionError("Resource " + id + " shouldn't be created");
darcy@609:         boolean createSucceeds = id != createFailureId;
darcy@609:         boolean closeSucceeds = (closeFailureBitMap & (1 << id)) == 0;
darcy@609:         return new Resource(id, createSucceeds, closeSucceeds, closedList);
darcy@609:     }
darcy@609: 
darcy@609: 
darcy@609:     /**
darcy@609:      * Check that an observed creation failure has the expected resource ID.
darcy@609:      *
darcy@609:      * @param foundId the ID of the resource whose creation failed
darcy@609:      * @param expectedId the ID of the resource whose creation should have failed
darcy@609:      */
darcy@609:     private static void checkCreateFailureId(int foundId, int expectedId) {
darcy@609:         if (foundId != expectedId)
darcy@609:             throw new AssertionError("Wrong resource creation failed. Found ID "
darcy@609:                                      + foundId + " expected " + expectedId);
darcy@609:     }
darcy@609: 
darcy@609:     /**
darcy@609:      * Check for proper suppressed exceptions in proper order.
darcy@609:      *
darcy@609:      * @param suppressedExceptions the suppressed exceptions array returned by
darcy@745:      *        getSuppressed()
darcy@609:      * @bitmap a bitmap indicating which suppressed exceptions are expected.
darcy@609:      *         Bit i is set iff id should throw a CloseFailException.
darcy@609:      */
darcy@609:     private static void checkSuppressedExceptions(Throwable[] suppressedExceptions, int bitMap) {
darcy@609:         if (suppressedExceptions.length != Integer.bitCount(bitMap))
darcy@609:             throw new AssertionError("Expected " + Integer.bitCount(bitMap)
darcy@609:                                      + " suppressed exceptions, got " +  suppressedExceptions.length);
darcy@609: 
darcy@609:         int prevCloseFailExceptionId = Integer.MAX_VALUE;
darcy@609:         for (Throwable t : suppressedExceptions) {
darcy@609:             int id = ((Resource.CloseFailException) t).resourceId();
darcy@609:             if ((1 << id  & bitMap) == 0)
darcy@609:                 throw new AssertionError("Unexpected suppressed CloseFailException: " + id);
darcy@609:             if (id > prevCloseFailExceptionId)
darcy@609:                 throw new AssertionError("Suppressed CloseFailException" + id
darcy@609:                                          + " followed " + prevCloseFailExceptionId);
darcy@609:         }
darcy@609:     }
darcy@609: 
darcy@609:     /**
darcy@609:      * Check that exactly one resource creation failed.
darcy@609:      *
darcy@609:      * @param numCreationFailuresDetected the number of creation failures detected
darcy@609:      */
darcy@609:     private static void checkForSingleCreationFailure(int numCreationFailuresDetected) {
darcy@609:         if (numCreationFailuresDetected != 1)
darcy@609:             throw new AssertionError("Wrong number of creation failures: "
darcy@609:                                      + numCreationFailuresDetected);
darcy@609:     }
darcy@609: 
darcy@609:     /**
darcy@609:      * Check that a close was attempted on every resourced that was successfully opened,
darcy@609:      * and that the close attempts occurred in the proper order.
darcy@609:      *
darcy@609:      * @param closedList the resource IDs of the close attempts, in the order they occurred
darcy@609:      * @param the ID of the resource whose creation failed.  Close attempts should occur
darcy@609:      *        for all previous resources, in reverse order.
darcy@609:      */
darcy@609:     private static void checkClosedList(List<Integer> closedList, int createFailureId) {
darcy@609:         List<Integer> expectedList = new ArrayList<Integer>(createFailureId);
darcy@609:         for (int i = createFailureId - 1; i >= 0; i--)
darcy@609:             expectedList.add(i);
darcy@609:         if (!closedList.equals(expectedList))
darcy@609:             throw new AssertionError("Closing sequence " + closedList + " != " + expectedList);
darcy@609:     }
darcy@609: 
darcy@609:     /*
darcy@609:      * The following tests simulate the creation of several resources, followed
darcy@609:      * by success or failure of forward processing.  They test that all resources
darcy@609:      * are properly closed, even if one or more of the close attempts fails.
darcy@609:      */
darcy@609: 
darcy@609:     public static void testCreateSuccess1() {
darcy@609:         for (int bitMap = 0, n = 1 << 1; bitMap < n; bitMap++) {
darcy@609:             for (int failure = 0; failure < 2; failure++) {
darcy@609:                 List<Integer> closedList = new ArrayList<Integer>();
darcy@609:                 try (Resource r0 = createResource(0, bitMap, closedList)) {
darcy@609:                     if (failure != 0)
darcy@609:                         throw new MyKindOfException();
darcy@609:                 } catch (Resource.CreateFailException e) {
darcy@609:                     throw new AssertionError(
darcy@609:                                              "Resource creation failed: " + e.resourceId());
darcy@609:                 } catch (MyKindOfException e) {
darcy@609:                     if (failure == 0)
darcy@609:                         throw new AssertionError("Unexpected MyKindOfException");
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap);
darcy@609:                 } catch (Resource.CloseFailException e) {
darcy@609:                     if (failure == 1)
darcy@609:                         throw new AssertionError("Secondary exception suppression failed");
darcy@609:                     int id = e.resourceId();
darcy@609:                     if (bitMap == 0)
darcy@609:                         throw new AssertionError("Unexpected CloseFailException: " + id);
darcy@609:                     int highestCloseFailBit = Integer.highestOneBit(bitMap);
darcy@609:                     if (1 << id != highestCloseFailBit) {
darcy@609:                         throw new AssertionError("CloseFailException: got id " + id
darcy@609:                                                  + ", expected lg(" + highestCloseFailBit +")");
darcy@609:                     }
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap & ~highestCloseFailBit);
darcy@609:                 }
darcy@609:                 checkClosedList(closedList, 1);
darcy@609:             }
darcy@609:         }
darcy@609:     }
darcy@609: 
darcy@609:     public static void testCreateSuccess2() {
darcy@609:         for (int bitMap = 0, n = 1 << 2; bitMap < n; bitMap++) {
darcy@609:             for (int failure = 0; failure < 2; failure++) {
darcy@609:                 List<Integer> closedList = new ArrayList<Integer>();
darcy@609:                 try (Resource r0 = createResource(0, bitMap, closedList);
darcy@609:                      Resource r1 = createResource(1, bitMap, closedList)) {
darcy@609:                     if (failure != 0)
darcy@609:                         throw new MyKindOfException();
darcy@609:                 } catch (Resource.CreateFailException e) {
darcy@609:                     throw new AssertionError(
darcy@609:                                              "Resource creation failed: " + e.resourceId());
darcy@609:                 } catch (MyKindOfException e) {
darcy@609:                     if (failure == 0)
darcy@609:                         throw new AssertionError("Unexpected MyKindOfException");
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap);
darcy@609:                 } catch (Resource.CloseFailException e) {
darcy@609:                     if (failure == 1)
darcy@609:                         throw new AssertionError("Secondary exception suppression failed");
darcy@609:                     int id = e.resourceId();
darcy@609:                     if (bitMap == 0)
darcy@609:                         throw new AssertionError("Unexpected CloseFailException: " + id);
darcy@609:                     int highestCloseFailBit = Integer.highestOneBit(bitMap);
darcy@609:                     if (1 << id != highestCloseFailBit) {
darcy@609:                         throw new AssertionError("CloseFailException: got id " + id
darcy@609:                                                  + ", expected lg(" + highestCloseFailBit +")");
darcy@609:                     }
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap & ~highestCloseFailBit);
darcy@609:                 }
darcy@609:                 checkClosedList(closedList, 2);
darcy@609:             }
darcy@609:         }
darcy@609:     }
darcy@609: 
darcy@609:     public static void testCreateSuccess2Nested() {
darcy@609:         for (int bitMap = 0, n = 1 << 2; bitMap < n; bitMap++) {
darcy@609:             for (int failure = 0; failure < 2; failure++) {
darcy@609:                 List<Integer> closedList = new ArrayList<Integer>();
darcy@609:                 try (Resource r0 = createResource(0, bitMap, closedList)) {
darcy@609:                     try (Resource r1 = createResource(1, bitMap, closedList)) {
darcy@609:                         if (failure != 0)
darcy@609:                             throw new MyKindOfException();
darcy@609:                     }
darcy@609:                 } catch (Resource.CreateFailException e) {
darcy@609:                     throw new AssertionError(
darcy@609:                                              "Resource creation failed: " + e.resourceId());
darcy@609:                 } catch (MyKindOfException e) {
darcy@609:                     if (failure == 0)
darcy@609:                         throw new AssertionError("Unexpected MyKindOfException");
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap);
darcy@609:                 } catch (Resource.CloseFailException e) {
darcy@609:                     if (failure == 1)
darcy@609:                         throw new AssertionError("Secondary exception suppression failed");
darcy@609:                     int id = e.resourceId();
darcy@609:                     if (bitMap == 0)
darcy@609:                         throw new AssertionError("Unexpected CloseFailException: " + id);
darcy@609:                     int highestCloseFailBit = Integer.highestOneBit(bitMap);
darcy@609:                     if (1 << id != highestCloseFailBit) {
darcy@609:                         throw new AssertionError("CloseFailException: got id " + id
darcy@609:                                                  + ", expected lg(" + highestCloseFailBit +")");
darcy@609:                     }
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap & ~highestCloseFailBit);
darcy@609:                 }
darcy@609:                 checkClosedList(closedList, 2);
darcy@609:             }
darcy@609:         }
darcy@609:     }
darcy@609: 
darcy@609:     public static void testCreateSuccess3() {
darcy@609:         for (int bitMap = 0, n = 1 << 3; bitMap < n; bitMap++) {
darcy@609:             for (int failure = 0; failure < 2; failure++) {
darcy@609:                 List<Integer> closedList = new ArrayList<Integer>();
darcy@609:                 try (Resource r0 = createResource(0, bitMap, closedList);
darcy@609:                      Resource r1 = createResource(1, bitMap, closedList);
darcy@609:                      Resource r2 = createResource(2, bitMap, closedList)) {
darcy@609:                     if (failure != 0)
darcy@609:                         throw new MyKindOfException();
darcy@609:                 } catch (Resource.CreateFailException e) {
darcy@609:                     throw new AssertionError(
darcy@609:                                              "Resource creation failed: " + e.resourceId());
darcy@609:                 } catch (MyKindOfException e) {
darcy@609:                     if (failure == 0)
darcy@609:                         throw new AssertionError("Unexpected MyKindOfException");
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap);
darcy@609:                 } catch (Resource.CloseFailException e) {
darcy@609:                     if (failure == 1)
darcy@609:                         throw new AssertionError("Secondary exception suppression failed");
darcy@609:                     int id = e.resourceId();
darcy@609:                     if (bitMap == 0)
darcy@609:                         throw new AssertionError("Unexpected CloseFailException: " + id);
darcy@609:                     int highestCloseFailBit = Integer.highestOneBit(bitMap);
darcy@609:                     if (1 << id != highestCloseFailBit) {
darcy@609:                         throw new AssertionError("CloseFailException: got id " + id
darcy@609:                                                  + ", expected lg(" + highestCloseFailBit +")");
darcy@609:                     }
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap & ~highestCloseFailBit);
darcy@609:                 }
darcy@609:                 checkClosedList(closedList, 3);
darcy@609:             }
darcy@609:         }
darcy@609:     }
darcy@609: 
darcy@609:     public static void testCreateSuccess3Nested() {
darcy@609:         for (int bitMap = 0, n = 1 << 3; bitMap < n; bitMap++) {
darcy@609:             for (int failure = 0; failure < 2; failure++) {
darcy@609:                 List<Integer> closedList = new ArrayList<Integer>();
darcy@609:                 try (Resource r0 = createResource(0, bitMap, closedList)) {
darcy@609:                     try (Resource r1 = createResource(1, bitMap, closedList)) {
darcy@609:                         try (Resource r2 = createResource(2, bitMap, closedList)) {
darcy@609:                             if (failure != 0)
darcy@609:                                 throw new MyKindOfException();
darcy@609:                         }
darcy@609:                     }
darcy@609:                 } catch (Resource.CreateFailException e) {
darcy@609:                     throw new AssertionError(
darcy@609:                                              "Resource creation failed: " + e.resourceId());
darcy@609:                 } catch (MyKindOfException e) {
darcy@609:                     if (failure == 0)
darcy@609:                         throw new AssertionError("Unexpected MyKindOfException");
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap);
darcy@609:                 } catch (Resource.CloseFailException e) {
darcy@609:                     if (failure == 1)
darcy@609:                         throw new AssertionError("Secondary exception suppression failed");
darcy@609:                     int id = e.resourceId();
darcy@609:                     if (bitMap == 0)
darcy@609:                         throw new AssertionError("Unexpected CloseFailException: " + id);
darcy@609:                     int highestCloseFailBit = Integer.highestOneBit(bitMap);
darcy@609:                     if (1 << id != highestCloseFailBit) {
darcy@609:                         throw new AssertionError("CloseFailException: got id " + id
darcy@609:                                                  + ", expected lg(" + highestCloseFailBit +")");
darcy@609:                     }
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap & ~highestCloseFailBit);
darcy@609:                 }
darcy@609:                 checkClosedList(closedList, 3);
darcy@609:             }
darcy@609:         }
darcy@609:     }
darcy@609: 
darcy@609:     public static void testCreateSuccess4() {
darcy@609:         for (int bitMap = 0, n = 1 << 4; bitMap < n; bitMap++) {
darcy@609:             for (int failure = 0; failure < 2; failure++) {
darcy@609:                 List<Integer> closedList = new ArrayList<Integer>();
darcy@609:                 try (Resource r0 = createResource(0, bitMap, closedList);
darcy@609:                      Resource r1 = createResource(1, bitMap, closedList);
darcy@609:                      Resource r2 = createResource(2, bitMap, closedList);
darcy@609:                      Resource r3 = createResource(3, bitMap, closedList)) {
darcy@609:                     if (failure != 0)
darcy@609:                         throw new MyKindOfException();
darcy@609:                 } catch (Resource.CreateFailException e) {
darcy@609:                     throw new AssertionError(
darcy@609:                                              "Resource creation failed: " + e.resourceId());
darcy@609:                 } catch (MyKindOfException e) {
darcy@609:                     if (failure == 0)
darcy@609:                         throw new AssertionError("Unexpected MyKindOfException");
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap);
darcy@609:                 } catch (Resource.CloseFailException e) {
darcy@609:                     if (failure == 1)
darcy@609:                         throw new AssertionError("Secondary exception suppression failed");
darcy@609:                     int id = e.resourceId();
darcy@609:                     if (bitMap == 0)
darcy@609:                         throw new AssertionError("Unexpected CloseFailException: " + id);
darcy@609:                     int highestCloseFailBit = Integer.highestOneBit(bitMap);
darcy@609:                     if (1 << id != highestCloseFailBit) {
darcy@609:                         throw new AssertionError("CloseFailException: got id " + id
darcy@609:                                                  + ", expected lg(" + highestCloseFailBit +")");
darcy@609:                     }
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap & ~highestCloseFailBit);
darcy@609:                 }
darcy@609:                 checkClosedList(closedList, 4);
darcy@609:             }
darcy@609:         }
darcy@609:     }
darcy@609: 
darcy@609:     public static void testCreateSuccess4Nested() {
darcy@609:         for (int bitMap = 0, n = 1 << 4; bitMap < n; bitMap++) {
darcy@609:             for (int failure = 0; failure < 2; failure++) {
darcy@609:                 List<Integer> closedList = new ArrayList<Integer>();
darcy@609:                 try (Resource r0 = createResource(0, bitMap, closedList)) {
darcy@609:                     try (Resource r1 = createResource(1, bitMap, closedList)) {
darcy@609:                         try (Resource r2 = createResource(2, bitMap, closedList)) {
darcy@609:                             try (Resource r3 = createResource(3, bitMap, closedList)) {
darcy@609:                                 if (failure != 0)
darcy@609:                                     throw new MyKindOfException();
darcy@609:                             }
darcy@609:                         }
darcy@609:                     }
darcy@609:                 } catch (Resource.CreateFailException e) {
darcy@609:                     throw new AssertionError(
darcy@609:                                              "Resource creation failed: " + e.resourceId());
darcy@609:                 } catch (MyKindOfException e) {
darcy@609:                     if (failure == 0)
darcy@609:                         throw new AssertionError("Unexpected MyKindOfException");
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap);
darcy@609:                 } catch (Resource.CloseFailException e) {
darcy@609:                     if (failure == 1)
darcy@609:                         throw new AssertionError("Secondary exception suppression failed");
darcy@609:                     int id = e.resourceId();
darcy@609:                     if (bitMap == 0)
darcy@609:                         throw new AssertionError("Unexpected CloseFailException: " + id);
darcy@609:                     int highestCloseFailBit = Integer.highestOneBit(bitMap);
darcy@609:                     if (1 << id != highestCloseFailBit) {
darcy@609:                         throw new AssertionError("CloseFailException: got id " + id
darcy@609:                                                  + ", expected lg(" + highestCloseFailBit +")");
darcy@609:                     }
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap & ~highestCloseFailBit);
darcy@609:                 }
darcy@609:                 checkClosedList(closedList, 4);
darcy@609:             }
darcy@609:         }
darcy@609:     }
darcy@609: 
darcy@609:     public static void testCreateSuccess5() {
darcy@609:         for (int bitMap = 0, n = 1 << 5; bitMap < n; bitMap++) {
darcy@609:             for (int failure = 0; failure < 2; failure++) {
darcy@609:                 List<Integer> closedList = new ArrayList<Integer>();
darcy@609:                 try (Resource r0 = createResource(0, bitMap, closedList);
darcy@609:                      Resource r1 = createResource(1, bitMap, closedList);
darcy@609:                      Resource r2 = createResource(2, bitMap, closedList);
darcy@609:                      Resource r3 = createResource(3, bitMap, closedList);
darcy@609:                      Resource r4 = createResource(4, bitMap, closedList)) {
darcy@609:                     if (failure != 0)
darcy@609:                         throw new MyKindOfException();
darcy@609:                 } catch (Resource.CreateFailException e) {
darcy@609:                     throw new AssertionError("Resource creation failed: " + e.resourceId());
darcy@609:                 } catch (MyKindOfException e) {
darcy@609:                     if (failure == 0)
darcy@609:                         throw new AssertionError("Unexpected MyKindOfException");
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap);
darcy@609:                 } catch (Resource.CloseFailException e) {
darcy@609:                     if (failure == 1)
darcy@609:                         throw new AssertionError("Secondary exception suppression failed");
darcy@609:                     int id = e.resourceId();
darcy@609:                     if (bitMap == 0)
darcy@609:                         throw new AssertionError("Unexpected CloseFailException: " + id);
darcy@609:                     int highestCloseFailBit = Integer.highestOneBit(bitMap);
darcy@609:                     if (1 << id != highestCloseFailBit) {
darcy@609:                         throw new AssertionError("CloseFailException: got id " + id
darcy@609:                                                  + ", expected lg(" + highestCloseFailBit +")");
darcy@609:                     }
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap & ~highestCloseFailBit);
darcy@609:                 }
darcy@609:                 checkClosedList(closedList, 5);
darcy@609:             }
darcy@609:         }
darcy@609:     }
darcy@609: 
darcy@609:     public static void testCreateSuccess5Nested() {
darcy@609:         for (int bitMap = 0, n = 1 << 5; bitMap < n; bitMap++) {
darcy@609:             for (int failure = 0; failure < 2; failure++) {
darcy@609:                 List<Integer> closedList = new ArrayList<Integer>();
darcy@609:                 try (Resource r0 = createResource(0, bitMap, closedList)) {
darcy@609:                     try (Resource r1 = createResource(1, bitMap, closedList)) {
darcy@609:                         try (Resource r2 = createResource(2, bitMap, closedList)) {
darcy@609:                             try (Resource r3 = createResource(3, bitMap, closedList)) {
darcy@609:                                 try (Resource r4 = createResource(4, bitMap, closedList)) {
darcy@609:                                     if (failure != 0)
darcy@609:                                         throw new MyKindOfException();
darcy@609:                                 }
darcy@609:                             }
darcy@609:                         }
darcy@609:                     }
darcy@609:                 } catch (Resource.CreateFailException e) {
darcy@609:                     throw new AssertionError("Resource creation failed: " + e.resourceId());
darcy@609:                 } catch (MyKindOfException e) {
darcy@609:                     if (failure == 0)
darcy@609:                         throw new AssertionError("Unexpected MyKindOfException");
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap);
darcy@609:                 } catch (Resource.CloseFailException e) {
darcy@609:                     if (failure == 1)
darcy@609:                         throw new AssertionError("Secondary exception suppression failed");
darcy@609:                     int id = e.resourceId();
darcy@609:                     if (bitMap == 0)
darcy@609:                         throw new AssertionError("Unexpected CloseFailException: " + id);
darcy@609:                     int highestCloseFailBit = Integer.highestOneBit(bitMap);
darcy@609:                     if (1 << id != highestCloseFailBit) {
darcy@609:                         throw new AssertionError("CloseFailException: got id " + id
darcy@609:                                                  + ", expected lg(" + highestCloseFailBit +")");
darcy@609:                     }
darcy@745:                     checkSuppressedExceptions(e.getSuppressed(), bitMap & ~highestCloseFailBit);
darcy@609:                 }
darcy@609:                 checkClosedList(closedList, 5);
darcy@609:             }
darcy@609:         }
darcy@609:     }
darcy@609: 
darcy@609:     private static Resource createResource(int id,
darcy@609:                                            int closeFailureBitMap,
darcy@609:                                            List<Integer> closedList) throws Resource.CreateFailException {
darcy@609:         boolean closeSucceeds = (closeFailureBitMap & (1 << id)) == 0;
darcy@609:         return new Resource(id, true, closeSucceeds, closedList);
darcy@609:     }
darcy@609: 
darcy@609:     private static class MyKindOfException extends Exception {
darcy@609:     }
darcy@609: }
darcy@609: 
darcy@609: class Resource implements AutoCloseable {
darcy@609:     /** A number identifying this resource */
darcy@609:     private final int resourceId;
darcy@609: 
darcy@609:     /** Whether the close call on this resource should succeed or fail */
darcy@609:     private final boolean closeSucceeds;
darcy@609: 
darcy@609:     /** When resource is closed, it records its ID in this list */
darcy@609:     private final List<Integer> closedList;
darcy@609: 
darcy@609:     Resource(int resourceId, boolean createSucceeds, boolean closeSucceeds,
darcy@609:              List<Integer> closedList) throws CreateFailException {
darcy@609:         if (!createSucceeds)
darcy@609:             throw new CreateFailException(resourceId);
darcy@609:         this.resourceId = resourceId;
darcy@609:         this.closeSucceeds = closeSucceeds;
darcy@609:         this.closedList = closedList;
darcy@609:     }
darcy@609: 
darcy@609:     public void close() throws CloseFailException {
darcy@609:         closedList.add(resourceId);
darcy@609:         if (!closeSucceeds)
darcy@609:             throw new CloseFailException(resourceId);
darcy@609:     }
darcy@609: 
darcy@609:     public static class ResourceException extends RuntimeException {
darcy@609:         private final int resourceId;
darcy@609: 
darcy@609:         public ResourceException(int resourceId) {
darcy@609:             super("Resource ID = " + resourceId);
darcy@609:             this.resourceId = resourceId;
darcy@609:         }
darcy@609: 
darcy@609:         public int resourceId() {
darcy@609:             return resourceId;
darcy@609:         }
darcy@609:     }
darcy@609: 
darcy@609:     public static class CreateFailException extends ResourceException {
darcy@609:         public CreateFailException(int resourceId) {
darcy@609:             super(resourceId);
darcy@609:         }
darcy@609:     }
darcy@609: 
darcy@609:     public static class CloseFailException extends ResourceException {
darcy@609:         public CloseFailException(int resourceId) {
darcy@609:             super(resourceId);
darcy@609:         }
darcy@609:     }
darcy@609: }