WITH REPORT; USE REPORT;
WITH SEQUENTIAL_IO;
PROCEDURE CE2206A IS
PACKAGE SEQ_IO IS NEW SEQUENTIAL_IO (CHARACTER);
USE SEQ_IO;
FILE : FILE_TYPE;
ITEM : CHARACTER;
INCOMPLETE : EXCEPTION;
BEGIN
TEST ("CE2206A", "CHECK THAT READ FOR A SEQUENTIAL FILE RAISES " &
"END_ERROR WHEN THERE ARE NO MORE ELEMENTS " &
"THAT CAN BE READ FROM THE GIVEN FILE. ALSO " &
"CHECK THAT END_OF_FILE CORRECTLY DETECTS THE " &
"END OF A SEQUENTIAL FILE");
BEGIN
BEGIN
CREATE (FILE, OUT_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED ON CREATE " &
"WITH OUT_FILE MODE");
RAISE INCOMPLETE;
WHEN NAME_ERROR =>
NOT_APPLICABLE ("NAME_ERROR RAISED ON CREATE " &
"WITH OUT_FILE MODE");
RAISE INCOMPLETE;
WHEN OTHERS =>
FAILED ("UNEXPECTED EXCEPTION RAISED ON CREATE");
RAISE INCOMPLETE;
END;
WRITE (FILE, 'A');
WRITE (FILE, 'B');
CLOSE (FILE);
BEGIN
OPEN (FILE, IN_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED ON OPEN WITH " &
"MODE IN_FILE");
RAISE INCOMPLETE;
WHEN OTHERS =>
FAILED ("UNEXPECTED EXCEPTION RAISED ON OPEN");
RAISE INCOMPLETE;
END;
READ (FILE, ITEM);
IF ITEM /= 'A' THEN
FAILED ("INCORRECT VALUE READ");
END IF;
IF END_OF_FILE (FILE) THEN
FAILED ("END_OF_FILE NOT DETECTED CORRECTLY - 1");
END IF;
READ (FILE, ITEM);
IF NOT END_OF_FILE (FILE) THEN
FAILED ("END_OF_FILE NOT DETECTED CORRECTLY - 2");
END IF;
BEGIN
READ (FILE, ITEM);
FAILED ("END_ERROR NOT RAISED FOR READ");
EXCEPTION
WHEN END_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ("UNEXPECTED EXCEPTION RAISED ON READ");
END;
BEGIN
DELETE (FILE);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
EXCEPTION
WHEN INCOMPLETE =>
NULL;
END;
RESULT;
END CE2206A;