/*
 * Copyright (c) 2009, 2010, Oracle and/or its affiliates. All rights reserved.
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 *
 * This code is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License version 2 only, as
 * published by the Free Software Foundation.
 *
 * This code is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * version 2 for more details (a copy is included in the LICENSE file that
 * accompanied this code).
 *
 * You should have received a copy of the GNU General Public License version
 * 2 along with this work; if not, write to the Free Software Foundation,
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 *
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 * or visit www.oracle.com if you need additional information or have any
 * questions.
 */

/*
 * @test
 * @bug 6911256 6964740
 * @summary Tests of generated TWR code.
 */

import java.util.List;
import java.util.ArrayList;

public class TwrTests {
    public static void main(String[] args) {
        testCreateFailure1();
        testCreateFailure2();
        testCreateFailure2Nested();
        testCreateFailure3();
        testCreateFailure3Nested();
        testCreateFailure4();
        testCreateFailure4Nested();
        testCreateFailure5();
        testCreateFailure5Nested();

        testCreateSuccess1();
        testCreateSuccess2();
        testCreateSuccess2Nested();
        testCreateSuccess3();
        testCreateSuccess3Nested();
        testCreateSuccess4();
        testCreateSuccess4Nested();
        testCreateSuccess5();
        testCreateSuccess5Nested();
    }

    /*
     * The following tests simulate a creation failure of every possible
     * resource in an TWR block, and check to make sure that the failure
     * prevents creation of subsequent resources, and that all created
     * resources are properly closed, even if one or more of the close
     * attempts fails.
     */

    public static void testCreateFailure1() {
        int creationFailuresDetected = 0;
        List<Integer> closedList = new ArrayList<Integer>(0);
        try (Resource r0 = createResource(0, 0, 0, closedList)) {
            throw new AssertionError("Resource creation succeeded");
        } catch (Resource.CreateFailException e) {
            creationFailuresDetected++;
            if (e.resourceId() != 0) {
                throw new AssertionError("Wrong resource creation "
                                         + e.resourceId() + " failed");
            }
        } catch (Resource.CloseFailException e) {
            throw new AssertionError("Unexpected CloseFailException: " + e.resourceId());
        }
        checkForSingleCreationFailure(creationFailuresDetected);
        checkClosedList(closedList, 0);
    }

    public static void testCreateFailure2() {
        for (int createFailureId = 0; createFailureId < 2; createFailureId++) {
            for (int bitMap = 0, n = 1 << createFailureId; bitMap < n; bitMap++) {
                int creationFailuresDetected = 0;
                List<Integer> closedList = new ArrayList<Integer>();
                try (Resource r0 = createResource(0, createFailureId, bitMap, closedList);
                     Resource r1 = createResource(1, createFailureId, bitMap, closedList)) {
                    throw new AssertionError("Entire resource creation succeeded");
                } catch (Resource.CreateFailException e) {
                    creationFailuresDetected++;
                    checkCreateFailureId(e.resourceId(), createFailureId);
                    checkSuppressedExceptions(e.getSuppressed(), bitMap);
                } catch (Resource.CloseFailException e) {
                    throw new AssertionError("Secondary exception suppression failed");
                }
                checkForSingleCreationFailure(creationFailuresDetected);
                checkClosedList(closedList, createFailureId);
            }
        }
    }

    public static void testCreateFailure2Nested() {
        for (int createFailureId = 0; createFailureId < 2; createFailureId++) {
            for (int bitMap = 0, n = 1 << createFailureId; bitMap < n; bitMap++) {
                int creationFailuresDetected = 0;
                List<Integer> closedList = new ArrayList<Integer>();
                try (Resource r0 = createResource(0, createFailureId, bitMap, closedList)) {
                    try(Resource r1 = createResource(1, createFailureId, bitMap, closedList)) {
                        throw new AssertionError("Entire resource creation succeeded");
                    }
                } catch (Resource.CreateFailException e) {
                    creationFailuresDetected++;
                    checkCreateFailureId(e.resourceId(), createFailureId);
                    checkSuppressedExceptions(e.getSuppressed(), bitMap);
                } catch (Resource.CloseFailException e) {
                    throw new AssertionError("Secondary exception suppression failed");
                }
                checkForSingleCreationFailure(creationFailuresDetected);
                checkClosedList(closedList, createFailureId);
            }
        }
    }

    public static void testCreateFailure3() {
        for (int createFailureId = 0; createFailureId < 3; createFailureId++) {
            for (int bitMap = 0, n = 1 << createFailureId; bitMap < n; bitMap++) {
                int creationFailuresDetected = 0;
                List<Integer> closedList = new ArrayList<Integer>();
                try (Resource r0 = createResource(0, createFailureId, bitMap, closedList);
                     Resource r1 = createResource(1, createFailureId, bitMap, closedList);
                     Resource r2 = createResource(2, createFailureId, bitMap, closedList)) {
                    throw new AssertionError("Entire resource creation succeeded");
                } catch (Resource.CreateFailException e) {
                    creationFailuresDetected++;
                    checkCreateFailureId(e.resourceId(), createFailureId);
                    checkSuppressedExceptions(e.getSuppressed(), bitMap);
                } catch (Resource.CloseFailException e) {
                    throw new AssertionError("Secondary exception suppression failed:" + e);
                }
                checkForSingleCreationFailure(creationFailuresDetected);
                checkClosedList(closedList, createFailureId);
            }
        }
    }

    public static void testCreateFailure3Nested() {
        for (int createFailureId = 0; createFailureId < 3; createFailureId++) {
            for (int bitMap = 0, n = 1 << createFailureId; bitMap < n; bitMap++) {
                int creationFailuresDetected = 0;
                List<Integer> closedList = new ArrayList<Integer>();
                try (Resource r0 = createResource(0, createFailureId, bitMap, closedList)) {
                    try (Resource r1 = createResource(1, createFailureId, bitMap, closedList)) {
                        try (Resource r2 = createResource(2, createFailureId, bitMap, closedList)) {
                            throw new AssertionError("Entire resource creation succeeded");
                        }
                    }
                } catch (Resource.CreateFailException e) {
                    creationFailuresDetected++;
                    checkCreateFailureId(e.resourceId(), createFailureId);
                    checkSuppressedExceptions(e.getSuppressed(), bitMap);
                } catch (Resource.CloseFailException e) {
                    throw new AssertionError("Secondary exception suppression failed:" + e);
                }
                checkForSingleCreationFailure(creationFailuresDetected);
                checkClosedList(closedList, createFailureId);
            }
        }
    }

    public static void testCreateFailure4() {
        for (int createFailureId = 0; createFailureId < 4; createFailureId++) {
            for (int bitMap = 0, n = 1 << createFailureId; bitMap < n; bitMap++) {
                int creationFailuresDetected = 0;
                List<Integer> closedList = new ArrayList<Integer>();
                try (Resource r0 = createResource(0, createFailureId, bitMap, closedList);
                     Resource r1 = createResource(1, createFailureId, bitMap, closedList);
                     Resource r2 = createResource(2, createFailureId, bitMap, closedList);
                     Resource r3 = createResource(3, createFailureId, bitMap, closedList)) {
                    throw new AssertionError("Entire resource creation succeeded");
                } catch (Resource.CreateFailException e) {
                    creationFailuresDetected++;
                    checkCreateFailureId(e.resourceId(), createFailureId);
                    checkSuppressedExceptions(e.getSuppressed(), bitMap);
                } catch (Resource.CloseFailException e) {
                    throw new AssertionError("Secondary exception suppression failed:" + e);
                }
                checkForSingleCreationFailure(creationFailuresDetected);
                checkClosedList(closedList, createFailureId);
            }
        }
    }

    public static void testCreateFailure4Nested() {
        for (int createFailureId = 0; createFailureId < 4; createFailureId++) {
            for (int bitMap = 0, n = 1 << createFailureId; bitMap < n; bitMap++) {
                int creationFailuresDetected = 0;
                List<Integer> closedList = new ArrayList<Integer>();
                try (Resource r0 = createResource(0, createFailureId, bitMap, closedList)) {
                    try (Resource r1 = createResource(1, createFailureId, bitMap, closedList)) {
                        try (Resource r2 = createResource(2, createFailureId, bitMap, closedList)) {
                            try (Resource r3 = createResource(3, createFailureId, bitMap, closedList)) {
                                throw new AssertionError("Entire resource creation succeeded");
                            }
                        }
                    }
                } catch (Resource.CreateFailException e) {
                    creationFailuresDetected++;
                    checkCreateFailureId(e.resourceId(), createFailureId);
                    checkSuppressedExceptions(e.getSuppressed(), bitMap);
                } catch (Resource.CloseFailException e) {
                    throw new AssertionError("Secondary exception suppression failed:" + e);
                }
                checkForSingleCreationFailure(creationFailuresDetected);
                checkClosedList(closedList, createFailureId);
            }
        }
    }

    public static void testCreateFailure5() {
        for (int createFailureId = 0; createFailureId < 5; createFailureId++) {
            for (int bitMap = 0, n = 1 << createFailureId; bitMap < n; bitMap++) {
                int creationFailuresDetected = 0;
                List<Integer> closedList = new ArrayList<Integer>();
                try (Resource r0 = createResource(0, createFailureId, bitMap, closedList);
                     Resource r1 = createResource(1, createFailureId, bitMap, closedList);
                     Resource r2 = createResource(2, createFailureId, bitMap, closedList);
                     Resource r3 = createResource(3, createFailureId, bitMap, closedList);
                     Resource r4 = createResource(4, createFailureId, bitMap, closedList)) {
                    throw new AssertionError("Entire resource creation succeeded");
                } catch (Resource.CreateFailException e) {
                    creationFailuresDetected++;
                    checkCreateFailureId(e.resourceId(), createFailureId);
                    checkSuppressedExceptions(e.getSuppressed(), bitMap);
                } catch (Resource.CloseFailException e) {
                    throw new AssertionError("Secondary exception suppression failed:" + e);
                }
                checkForSingleCreationFailure(creationFailuresDetected);
                checkClosedList(closedList, createFailureId);
            }
        }
    }

    public static void testCreateFailure5Nested() {
        for (int createFailureId = 0; createFailureId < 5; createFailureId++) {
            for (int bitMap = 0, n = 1 << createFailureId; bitMap < n; bitMap++) {
                int creationFailuresDetected = 0;
                List<Integer> closedList = new ArrayList<Integer>();
                try (Resource r0 = createResource(0, createFailureId, bitMap, closedList)) {
                    try (Resource r1 = createResource(1, createFailureId, bitMap, closedList)) {
                        try (Resource r2 = createResource(2, createFailureId, bitMap, closedList)) {
                            try (Resource r3 = createResource(3, createFailureId, bitMap, closedList)) {
                                try (Resource r4 = createResource(4, createFailureId, bitMap, closedList)) {
                                    throw new AssertionError("Entire resource creation succeeded");
                                }
                            }
                        }
                    }
                } catch (Resource.CreateFailException e) {
                    creationFailuresDetected++;
                    checkCreateFailureId(e.resourceId(), createFailureId);
                    checkSuppressedExceptions(e.getSuppressed(), bitMap);
                } catch (Resource.CloseFailException e) {
                    throw new AssertionError("Secondary exception suppression failed:" + e);
                }
                checkForSingleCreationFailure(creationFailuresDetected);
                checkClosedList(closedList, createFailureId);
            }
        }
    }

    /**
     * Create a resource with the specified ID. The ID must be less than createFailureId.
     * A subsequent attempt to close the resource will fail iff the corresponding bit
     * is set in closeFailureBitMap.  When an attempt is made to close this resource,
     * its ID will be added to closedList, regardless of whether the attempt succeeds.
     *
     * @param id the ID of this resource
     * @param createFailureId the ID of the resource whose creation will fail
     * @param closeFailureBitMap a bit vector describing which resources should throw an
     *        exception when close is attempted
     * @param closedList a list on which to record resource close attempts
     * @throws AssertionError if no attempt should be made to create this resource
     */
    private static Resource createResource(int id,
                                           int createFailureId,
                                           int closeFailureBitMap,
                                           List<Integer> closedList) throws Resource.CreateFailException {
        if (id > createFailureId)
            throw new AssertionError("Resource " + id + " shouldn't be created");
        boolean createSucceeds = id != createFailureId;
        boolean closeSucceeds = (closeFailureBitMap & (1 << id)) == 0;
        return new Resource(id, createSucceeds, closeSucceeds, closedList);
    }


    /**
     * Check that an observed creation failure has the expected resource ID.
     *
     * @param foundId the ID of the resource whose creation failed
     * @param expectedId the ID of the resource whose creation should have failed
     */
    private static void checkCreateFailureId(int foundId, int expectedId) {
        if (foundId != expectedId)
            throw new AssertionError("Wrong resource creation failed. Found ID "
                                     + foundId + " expected " + expectedId);
    }

    /**
     * Check for proper suppressed exceptions in proper order.
     *
     * @param suppressedExceptions the suppressed exceptions array returned by
     *        getSuppressed()
     * @bitmap a bitmap indicating which suppressed exceptions are expected.
     *         Bit i is set iff id should throw a CloseFailException.
     */
    private static void checkSuppressedExceptions(Throwable[] suppressedExceptions, int bitMap) {
        if (suppressedExceptions.length != Integer.bitCount(bitMap))
            throw new AssertionError("Expected " + Integer.bitCount(bitMap)
                                     + " suppressed exceptions, got " +  suppressedExceptions.length);

        int prevCloseFailExceptionId = Integer.MAX_VALUE;
        for (Throwable t : suppressedExceptions) {
            int id = ((Resource.CloseFailException) t).resourceId();
            if ((1 << id  & bitMap) == 0)
                throw new AssertionError("Unexpected suppressed CloseFailException: " + id);
            if (id > prevCloseFailExceptionId)
                throw new AssertionError("Suppressed CloseFailException" + id
                                         + " followed " + prevCloseFailExceptionId);
        }
    }

    /**
     * Check that exactly one resource creation failed.
     *
     * @param numCreationFailuresDetected the number of creation failures detected
     */
    private static void checkForSingleCreationFailure(int numCreationFailuresDetected) {
        if (numCreationFailuresDetected != 1)
            throw new AssertionError("Wrong number of creation failures: "
                                     + numCreationFailuresDetected);
    }

    /**
     * Check that a close was attempted on every resourced that was successfully opened,
     * and that the close attempts occurred in the proper order.
     *
     * @param closedList the resource IDs of the close attempts, in the order they occurred
     * @param the ID of the resource whose creation failed.  Close attempts should occur
     *        for all previous resources, in reverse order.
     */
    private static void checkClosedList(List<Integer> closedList, int createFailureId) {
        List<Integer> expectedList = new ArrayList<Integer>(createFailureId);
        for (int i = createFailureId - 1; i >= 0; i--)
            expectedList.add(i);
        if (!closedList.equals(expectedList))
            throw new AssertionError("Closing sequence " + closedList + " != " + expectedList);
    }

    /*
     * The following tests simulate the creation of several resources, followed
     * by success or failure of forward processing.  They test that all resources
     * are properly closed, even if one or more of the close attempts fails.
     */

    public static void testCreateSuccess1() {
        for (int bitMap = 0, n = 1 << 1; bitMap < n; bitMap++) {
            for (int failure = 0; failure < 2; failure++) {
                List<Integer> closedList = new ArrayList<Integer>();
                try (Resource r0 = createResource(0, bitMap, closedList)) {
                    if (failure != 0)
                        throw new MyKindOfException();
                } catch (Resource.CreateFailException e) {
                    throw new AssertionError(
                                             "Resource creation failed: " + e.resourceId());
                } catch (MyKindOfException e) {
                    if (failure == 0)
                        throw new AssertionError("Unexpected MyKindOfException");
                    checkSuppressedExceptions(e.getSuppressed(), bitMap);
                } catch (Resource.CloseFailException e) {
                    if (failure == 1)
                        throw new AssertionError("Secondary exception suppression failed");
                    int id = e.resourceId();
                    if (bitMap == 0)
                        throw new AssertionError("Unexpected CloseFailException: " + id);
                    int highestCloseFailBit = Integer.highestOneBit(bitMap);
                    if (1 << id != highestCloseFailBit) {
                        throw new AssertionError("CloseFailException: got id " + id
                                                 + ", expected lg(" + highestCloseFailBit +")");
                    }
                    checkSuppressedExceptions(e.getSuppressed(), bitMap & ~highestCloseFailBit);
                }
                checkClosedList(closedList, 1);
            }
        }
    }

    public static void testCreateSuccess2() {
        for (int bitMap = 0, n = 1 << 2; bitMap < n; bitMap++) {
            for (int failure = 0; failure < 2; failure++) {
                List<Integer> closedList = new ArrayList<Integer>();
                try (Resource r0 = createResource(0, bitMap, closedList);
                     Resource r1 = createResource(1, bitMap, closedList)) {
                    if (failure != 0)
                        throw new MyKindOfException();
                } catch (Resource.CreateFailException e) {
                    throw new AssertionError(
                                             "Resource creation failed: " + e.resourceId());
                } catch (MyKindOfException e) {
                    if (failure == 0)
                        throw new AssertionError("Unexpected MyKindOfException");
                    checkSuppressedExceptions(e.getSuppressed(), bitMap);
                } catch (Resource.CloseFailException e) {
                    if (failure == 1)
                        throw new AssertionError("Secondary exception suppression failed");
                    int id = e.resourceId();
                    if (bitMap == 0)
                        throw new AssertionError("Unexpected CloseFailException: " + id);
                    int highestCloseFailBit = Integer.highestOneBit(bitMap);
                    if (1 << id != highestCloseFailBit) {
                        throw new AssertionError("CloseFailException: got id " + id
                                                 + ", expected lg(" + highestCloseFailBit +")");
                    }
                    checkSuppressedExceptions(e.getSuppressed(), bitMap & ~highestCloseFailBit);
                }
                checkClosedList(closedList, 2);
            }
        }
    }

    public static void testCreateSuccess2Nested() {
        for (int bitMap = 0, n = 1 << 2; bitMap < n; bitMap++) {
            for (int failure = 0; failure < 2; failure++) {
                List<Integer> closedList = new ArrayList<Integer>();
                try (Resource r0 = createResource(0, bitMap, closedList)) {
                    try (Resource r1 = createResource(1, bitMap, closedList)) {
                        if (failure != 0)
                            throw new MyKindOfException();
                    }
                } catch (Resource.CreateFailException e) {
                    throw new AssertionError(
                                             "Resource creation failed: " + e.resourceId());
                } catch (MyKindOfException e) {
                    if (failure == 0)
                        throw new AssertionError("Unexpected MyKindOfException");
                    checkSuppressedExceptions(e.getSuppressed(), bitMap);
                } catch (Resource.CloseFailException e) {
                    if (failure == 1)
                        throw new AssertionError("Secondary exception suppression failed");
                    int id = e.resourceId();
                    if (bitMap == 0)
                        throw new AssertionError("Unexpected CloseFailException: " + id);
                    int highestCloseFailBit = Integer.highestOneBit(bitMap);
                    if (1 << id != highestCloseFailBit) {
                        throw new AssertionError("CloseFailException: got id " + id
                                                 + ", expected lg(" + highestCloseFailBit +")");
                    }
                    checkSuppressedExceptions(e.getSuppressed(), bitMap & ~highestCloseFailBit);
                }
                checkClosedList(closedList, 2);
            }
        }
    }

    public static void testCreateSuccess3() {
        for (int bitMap = 0, n = 1 << 3; bitMap < n; bitMap++) {
            for (int failure = 0; failure < 2; failure++) {
                List<Integer> closedList = new ArrayList<Integer>();
                try (Resource r0 = createResource(0, bitMap, closedList);
                     Resource r1 = createResource(1, bitMap, closedList);
                     Resource r2 = createResource(2, bitMap, closedList)) {
                    if (failure != 0)
                        throw new MyKindOfException();
                } catch (Resource.CreateFailException e) {
                    throw new AssertionError(
                                             "Resource creation failed: " + e.resourceId());
                } catch (MyKindOfException e) {
                    if (failure == 0)
                        throw new AssertionError("Unexpected MyKindOfException");
                    checkSuppressedExceptions(e.getSuppressed(), bitMap);
                } catch (Resource.CloseFailException e) {
                    if (failure == 1)
                        throw new AssertionError("Secondary exception suppression failed");
                    int id = e.resourceId();
                    if (bitMap == 0)
                        throw new AssertionError("Unexpected CloseFailException: " + id);
                    int highestCloseFailBit = Integer.highestOneBit(bitMap);
                    if (1 << id != highestCloseFailBit) {
                        throw new AssertionError("CloseFailException: got id " + id
                                                 + ", expected lg(" + highestCloseFailBit +")");
                    }
                    checkSuppressedExceptions(e.getSuppressed(), bitMap & ~highestCloseFailBit);
                }
                checkClosedList(closedList, 3);
            }
        }
    }

    public static void testCreateSuccess3Nested() {
        for (int bitMap = 0, n = 1 << 3; bitMap < n; bitMap++) {
            for (int failure = 0; failure < 2; failure++) {
                List<Integer> closedList = new ArrayList<Integer>();
                try (Resource r0 = createResource(0, bitMap, closedList)) {
                    try (Resource r1 = createResource(1, bitMap, closedList)) {
                        try (Resource r2 = createResource(2, bitMap, closedList)) {
                            if (failure != 0)
                                throw new MyKindOfException();
                        }
                    }
                } catch (Resource.CreateFailException e) {
                    throw new AssertionError(
                                             "Resource creation failed: " + e.resourceId());
                } catch (MyKindOfException e) {
                    if (failure == 0)
                        throw new AssertionError("Unexpected MyKindOfException");
                    checkSuppressedExceptions(e.getSuppressed(), bitMap);
                } catch (Resource.CloseFailException e) {
                    if (failure == 1)
                        throw new AssertionError("Secondary exception suppression failed");
                    int id = e.resourceId();
                    if (bitMap == 0)
                        throw new AssertionError("Unexpected CloseFailException: " + id);
                    int highestCloseFailBit = Integer.highestOneBit(bitMap);
                    if (1 << id != highestCloseFailBit) {
                        throw new AssertionError("CloseFailException: got id " + id
                                                 + ", expected lg(" + highestCloseFailBit +")");
                    }
                    checkSuppressedExceptions(e.getSuppressed(), bitMap & ~highestCloseFailBit);
                }
                checkClosedList(closedList, 3);
            }
        }
    }

    public static void testCreateSuccess4() {
        for (int bitMap = 0, n = 1 << 4; bitMap < n; bitMap++) {
            for (int failure = 0; failure < 2; failure++) {
                List<Integer> closedList = new ArrayList<Integer>();
                try (Resource r0 = createResource(0, bitMap, closedList);
                     Resource r1 = createResource(1, bitMap, closedList);
                     Resource r2 = createResource(2, bitMap, closedList);
                     Resource r3 = createResource(3, bitMap, closedList)) {
                    if (failure != 0)
                        throw new MyKindOfException();
                } catch (Resource.CreateFailException e) {
                    throw new AssertionError(
                                             "Resource creation failed: " + e.resourceId());
                } catch (MyKindOfException e) {
                    if (failure == 0)
                        throw new AssertionError("Unexpected MyKindOfException");
                    checkSuppressedExceptions(e.getSuppressed(), bitMap);
                } catch (Resource.CloseFailException e) {
                    if (failure == 1)
                        throw new AssertionError("Secondary exception suppression failed");
                    int id = e.resourceId();
                    if (bitMap == 0)
                        throw new AssertionError("Unexpected CloseFailException: " + id);
                    int highestCloseFailBit = Integer.highestOneBit(bitMap);
                    if (1 << id != highestCloseFailBit) {
                        throw new AssertionError("CloseFailException: got id " + id
                                                 + ", expected lg(" + highestCloseFailBit +")");
                    }
                    checkSuppressedExceptions(e.getSuppressed(), bitMap & ~highestCloseFailBit);
                }
                checkClosedList(closedList, 4);
            }
        }
    }

    public static void testCreateSuccess4Nested() {
        for (int bitMap = 0, n = 1 << 4; bitMap < n; bitMap++) {
            for (int failure = 0; failure < 2; failure++) {
                List<Integer> closedList = new ArrayList<Integer>();
                try (Resource r0 = createResource(0, bitMap, closedList)) {
                    try (Resource r1 = createResource(1, bitMap, closedList)) {
                        try (Resource r2 = createResource(2, bitMap, closedList)) {
                            try (Resource r3 = createResource(3, bitMap, closedList)) {
                                if (failure != 0)
                                    throw new MyKindOfException();
                            }
                        }
                    }
                } catch (Resource.CreateFailException e) {
                    throw new AssertionError(
                                             "Resource creation failed: " + e.resourceId());
                } catch (MyKindOfException e) {
                    if (failure == 0)
                        throw new AssertionError("Unexpected MyKindOfException");
                    checkSuppressedExceptions(e.getSuppressed(), bitMap);
                } catch (Resource.CloseFailException e) {
                    if (failure == 1)
                        throw new AssertionError("Secondary exception suppression failed");
                    int id = e.resourceId();
                    if (bitMap == 0)
                        throw new AssertionError("Unexpected CloseFailException: " + id);
                    int highestCloseFailBit = Integer.highestOneBit(bitMap);
                    if (1 << id != highestCloseFailBit) {
                        throw new AssertionError("CloseFailException: got id " + id
                                                 + ", expected lg(" + highestCloseFailBit +")");
                    }
                    checkSuppressedExceptions(e.getSuppressed(), bitMap & ~highestCloseFailBit);
                }
                checkClosedList(closedList, 4);
            }
        }
    }

    public static void testCreateSuccess5() {
        for (int bitMap = 0, n = 1 << 5; bitMap < n; bitMap++) {
            for (int failure = 0; failure < 2; failure++) {
                List<Integer> closedList = new ArrayList<Integer>();
                try (Resource r0 = createResource(0, bitMap, closedList);
                     Resource r1 = createResource(1, bitMap, closedList);
                     Resource r2 = createResource(2, bitMap, closedList);
                     Resource r3 = createResource(3, bitMap, closedList);
                     Resource r4 = createResource(4, bitMap, closedList)) {
                    if (failure != 0)
                        throw new MyKindOfException();
                } catch (Resource.CreateFailException e) {
                    throw new AssertionError("Resource creation failed: " + e.resourceId());
                } catch (MyKindOfException e) {
                    if (failure == 0)
                        throw new AssertionError("Unexpected MyKindOfException");
                    checkSuppressedExceptions(e.getSuppressed(), bitMap);
                } catch (Resource.CloseFailException e) {
                    if (failure == 1)
                        throw new AssertionError("Secondary exception suppression failed");
                    int id = e.resourceId();
                    if (bitMap == 0)
                        throw new AssertionError("Unexpected CloseFailException: " + id);
                    int highestCloseFailBit = Integer.highestOneBit(bitMap);
                    if (1 << id != highestCloseFailBit) {
                        throw new AssertionError("CloseFailException: got id " + id
                                                 + ", expected lg(" + highestCloseFailBit +")");
                    }
                    checkSuppressedExceptions(e.getSuppressed(), bitMap & ~highestCloseFailBit);
                }
                checkClosedList(closedList, 5);
            }
        }
    }

    public static void testCreateSuccess5Nested() {
        for (int bitMap = 0, n = 1 << 5; bitMap < n; bitMap++) {
            for (int failure = 0; failure < 2; failure++) {
                List<Integer> closedList = new ArrayList<Integer>();
                try (Resource r0 = createResource(0, bitMap, closedList)) {
                    try (Resource r1 = createResource(1, bitMap, closedList)) {
                        try (Resource r2 = createResource(2, bitMap, closedList)) {
                            try (Resource r3 = createResource(3, bitMap, closedList)) {
                                try (Resource r4 = createResource(4, bitMap, closedList)) {
                                    if (failure != 0)
                                        throw new MyKindOfException();
                                }
                            }
                        }
                    }
                } catch (Resource.CreateFailException e) {
                    throw new AssertionError("Resource creation failed: " + e.resourceId());
                } catch (MyKindOfException e) {
                    if (failure == 0)
                        throw new AssertionError("Unexpected MyKindOfException");
                    checkSuppressedExceptions(e.getSuppressed(), bitMap);
                } catch (Resource.CloseFailException e) {
                    if (failure == 1)
                        throw new AssertionError("Secondary exception suppression failed");
                    int id = e.resourceId();
                    if (bitMap == 0)
                        throw new AssertionError("Unexpected CloseFailException: " + id);
                    int highestCloseFailBit = Integer.highestOneBit(bitMap);
                    if (1 << id != highestCloseFailBit) {
                        throw new AssertionError("CloseFailException: got id " + id
                                                 + ", expected lg(" + highestCloseFailBit +")");
                    }
                    checkSuppressedExceptions(e.getSuppressed(), bitMap & ~highestCloseFailBit);
                }
                checkClosedList(closedList, 5);
            }
        }
    }

    private static Resource createResource(int id,
                                           int closeFailureBitMap,
                                           List<Integer> closedList) throws Resource.CreateFailException {
        boolean closeSucceeds = (closeFailureBitMap & (1 << id)) == 0;
        return new Resource(id, true, closeSucceeds, closedList);
    }

    private static class MyKindOfException extends Exception {
    }
}

class Resource implements AutoCloseable {
    /** A number identifying this resource */
    private final int resourceId;

    /** Whether the close call on this resource should succeed or fail */
    private final boolean closeSucceeds;

    /** When resource is closed, it records its ID in this list */
    private final List<Integer> closedList;

    Resource(int resourceId, boolean createSucceeds, boolean closeSucceeds,
             List<Integer> closedList) throws CreateFailException {
        if (!createSucceeds)
            throw new CreateFailException(resourceId);
        this.resourceId = resourceId;
        this.closeSucceeds = closeSucceeds;
        this.closedList = closedList;
    }

    public void close() throws CloseFailException {
        closedList.add(resourceId);
        if (!closeSucceeds)
            throw new CloseFailException(resourceId);
    }

    public static class ResourceException extends RuntimeException {
        private final int resourceId;

        public ResourceException(int resourceId) {
            super("Resource ID = " + resourceId);
            this.resourceId = resourceId;
        }

        public int resourceId() {
            return resourceId;
        }
    }

    public static class CreateFailException extends ResourceException {
        public CreateFailException(int resourceId) {
            super(resourceId);
        }
    }

    public static class CloseFailException extends ResourceException {
        public CloseFailException(int resourceId) {
            super(resourceId);
        }
    }
}