WITH REPORT; USE REPORT;
WITH DIRECT_IO;
PROCEDURE CE2111B IS
PACKAGE DIR_IO IS NEW DIRECT_IO (INTEGER);
USE DIR_IO;
TEST_FILE_ONE : DIR_IO.FILE_TYPE;
DATUM : INTEGER;
INCOMPLETE : EXCEPTION;
BEGIN
TEST ("CE2111B", "CHECK THAT SUCCESSFUL RESETS POSITION THE " &
"INDEX CORRECTLY");
BEGIN
CREATE (TEST_FILE_ONE, OUT_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED ON CREATE");
RAISE INCOMPLETE;
WHEN NAME_ERROR =>
NOT_APPLICABLE ("NAME_ERROR RAISED ON CREATE");
RAISE INCOMPLETE;
END;
WRITE (TEST_FILE_ONE, 5);
WRITE (TEST_FILE_ONE, 6);
WRITE (TEST_FILE_ONE, 7);
WRITE (TEST_FILE_ONE, 8);
BEGIN
RESET (TEST_FILE_ONE);
IF INDEX (TEST_FILE_ONE) /= 1 THEN
FAILED ("RESET INCORRECTLY POSITIONED FILE FOR " &
"OUT_FILE");
END IF;
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("RESET NOT SUPPORTED FOR OUT_FILE");
RAISE INCOMPLETE;
END;
WRITE (TEST_FILE_ONE, 2);
CLOSE (TEST_FILE_ONE);
BEGIN
OPEN (TEST_FILE_ONE, IN_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("DIR_IO NOT SUPPORTED FOR IN_FILE OPEN");
RAISE INCOMPLETE;
END;
READ (TEST_FILE_ONE, DATUM);
IF DATUM /= 2 THEN
FAILED ("RESET FAILED FOR OUT_FILE");
END IF;
READ (TEST_FILE_ONE, DATUM);
BEGIN
RESET (TEST_FILE_ONE);
IF INDEX (TEST_FILE_ONE) /= 1 THEN
FAILED ("RESET INCORRECTLY POSITIONED FILE " &
"FOR IN_FILE");
END IF;
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("RESET NOT SUPPORTED FOR IN_FILE");
RAISE INCOMPLETE;
END;
READ (TEST_FILE_ONE, DATUM);
IF DATUM /= 2 THEN
FAILED ("RESET FAILED FOR IN_FILE");
END IF;
CLOSE (TEST_FILE_ONE);
BEGIN
OPEN (TEST_FILE_ONE, INOUT_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("DIR_IO NOT SUPPORTED FOR INOUT_FILE " &
"OPEN");
RAISE INCOMPLETE;
END;
WRITE (TEST_FILE_ONE, 3);
BEGIN
RESET (TEST_FILE_ONE);
IF INDEX (TEST_FILE_ONE) /= 1 THEN
FAILED ("RESET INCORRECTLY POSITIONED FILE " &
"FOR INOUT_FILE");
END IF;
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("RESET NOT SUPPORTED FOR INOUT_FILE");
RAISE INCOMPLETE;
END;
READ (TEST_FILE_ONE, DATUM);
IF DATUM /= 3 THEN
FAILED ("RESET FAILED FOR INOUT_FILE");
END IF;
BEGIN
DELETE (TEST_FILE_ONE);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
RESULT;
EXCEPTION
WHEN INCOMPLETE =>
RESULT;
END CE2111B;