TwrTests.java revision 608
/*
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* 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.
*/
public class TwrTests {
}
/*
* 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;
throw new AssertionError("Resource creation succeeded");
} catch (Resource.CreateFailException e) {
if (e.resourceId() != 0) {
throw new AssertionError("Wrong resource creation "
+ e.resourceId() + " failed");
}
} catch (Resource.CloseFailException e) {
}
}
public static void testCreateFailure2() {
int creationFailuresDetected = 0;
throw new AssertionError("Entire resource creation succeeded");
} catch (Resource.CreateFailException e) {
} catch (Resource.CloseFailException e) {
throw new AssertionError("Secondary exception suppression failed");
}
}
}
}
public static void testCreateFailure2Nested() {
int creationFailuresDetected = 0;
throw new AssertionError("Entire resource creation succeeded");
}
} catch (Resource.CreateFailException e) {
} catch (Resource.CloseFailException e) {
throw new AssertionError("Secondary exception suppression failed");
}
}
}
}
public static void testCreateFailure3() {
int creationFailuresDetected = 0;
throw new AssertionError("Entire resource creation succeeded");
} catch (Resource.CreateFailException e) {
} catch (Resource.CloseFailException e) {
throw new AssertionError("Secondary exception suppression failed:" + e);
}
}
}
}
public static void testCreateFailure3Nested() {
int creationFailuresDetected = 0;
throw new AssertionError("Entire resource creation succeeded");
}
}
} catch (Resource.CreateFailException e) {
} catch (Resource.CloseFailException e) {
throw new AssertionError("Secondary exception suppression failed:" + e);
}
}
}
}
public static void testCreateFailure4() {
int creationFailuresDetected = 0;
throw new AssertionError("Entire resource creation succeeded");
} catch (Resource.CreateFailException e) {
} catch (Resource.CloseFailException e) {
throw new AssertionError("Secondary exception suppression failed:" + e);
}
}
}
}
public static void testCreateFailure4Nested() {
int creationFailuresDetected = 0;
throw new AssertionError("Entire resource creation succeeded");
}
}
}
} catch (Resource.CreateFailException e) {
} catch (Resource.CloseFailException e) {
throw new AssertionError("Secondary exception suppression failed:" + e);
}
}
}
}
public static void testCreateFailure5() {
int creationFailuresDetected = 0;
throw new AssertionError("Entire resource creation succeeded");
} catch (Resource.CreateFailException e) {
} catch (Resource.CloseFailException e) {
throw new AssertionError("Secondary exception suppression failed:" + e);
}
}
}
}
public static void testCreateFailure5Nested() {
int creationFailuresDetected = 0;
throw new AssertionError("Entire resource creation succeeded");
}
}
}
}
} catch (Resource.CreateFailException e) {
} catch (Resource.CloseFailException e) {
throw new AssertionError("Secondary exception suppression failed:" + e);
}
}
}
}
/**
* 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
*/
int createFailureId,
int closeFailureBitMap,
if (id > createFailureId)
}
/**
* 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
*/
if (foundId != expectedId)
throw new AssertionError("Wrong resource creation failed. Found ID "
}
/**
* Check for proper suppressed exceptions in proper order.
*
* @param suppressedExceptions the suppressed exceptions array returned by
* getSuppressedExceptions()
* @bitmap a bitmap indicating which suppressed exceptions are expected.
* Bit i is set iff id should throw a CloseFailException.
*/
for (Throwable t : suppressedExceptions) {
if (id > prevCloseFailExceptionId)
+ " 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: "
}
/**
* 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.
*/
expectedList.add(i);
}
/*
* 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() {
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");
} catch (Resource.CloseFailException e) {
if (failure == 1)
throw new AssertionError("Secondary exception suppression failed");
int id = e.resourceId();
if (bitMap == 0)
}
}
}
}
}
public static void testCreateSuccess2() {
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");
} catch (Resource.CloseFailException e) {
if (failure == 1)
throw new AssertionError("Secondary exception suppression failed");
int id = e.resourceId();
if (bitMap == 0)
}
}
}
}
}
public static void testCreateSuccess2Nested() {
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");
} catch (Resource.CloseFailException e) {
if (failure == 1)
throw new AssertionError("Secondary exception suppression failed");
int id = e.resourceId();
if (bitMap == 0)
}
}
}
}
}
public static void testCreateSuccess3() {
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");
} catch (Resource.CloseFailException e) {
if (failure == 1)
throw new AssertionError("Secondary exception suppression failed");
int id = e.resourceId();
if (bitMap == 0)
}
}
}
}
}
public static void testCreateSuccess3Nested() {
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");
} catch (Resource.CloseFailException e) {
if (failure == 1)
throw new AssertionError("Secondary exception suppression failed");
int id = e.resourceId();
if (bitMap == 0)
}
}
}
}
}
public static void testCreateSuccess4() {
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");
} catch (Resource.CloseFailException e) {
if (failure == 1)
throw new AssertionError("Secondary exception suppression failed");
int id = e.resourceId();
if (bitMap == 0)
}
}
}
}
}
public static void testCreateSuccess4Nested() {
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");
} catch (Resource.CloseFailException e) {
if (failure == 1)
throw new AssertionError("Secondary exception suppression failed");
int id = e.resourceId();
if (bitMap == 0)
}
}
}
}
}
public static void testCreateSuccess5() {
if (failure != 0)
throw new MyKindOfException();
} catch (Resource.CreateFailException e) {
} catch (MyKindOfException e) {
if (failure == 0)
throw new AssertionError("Unexpected MyKindOfException");
} catch (Resource.CloseFailException e) {
if (failure == 1)
throw new AssertionError("Secondary exception suppression failed");
int id = e.resourceId();
if (bitMap == 0)
}
}
}
}
}
public static void testCreateSuccess5Nested() {
if (failure != 0)
throw new MyKindOfException();
}
}
}
}
} catch (Resource.CreateFailException e) {
} catch (MyKindOfException e) {
if (failure == 0)
throw new AssertionError("Unexpected MyKindOfException");
} catch (Resource.CloseFailException e) {
if (failure == 1)
throw new AssertionError("Secondary exception suppression failed");
int id = e.resourceId();
if (bitMap == 0)
}
}
}
}
}
int closeFailureBitMap,
}
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 */
if (!createSucceeds)
throw new CreateFailException(resourceId);
this.resourceId = resourceId;
this.closeSucceeds = closeSucceeds;
this.closedList = closedList;
}
public void close() throws CloseFailException {
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);
}
}
}