WITH REPORT;
USE REPORT;
WITH TEXT_IO;
USE TEXT_IO;
PROCEDURE CE3805B IS
BEGIN
TEST ("CE3805B", "CHECK THAT FIXED_IO GET MAY READ THE LAST "&
"CHARACTER IN THE FILE WITHOUT RAISING " &
"END_ERROR AND THAT SUBSEQUENT READING WILL " &
"RAISE END_ERROR");
DECLARE
FT1, FT2 : FILE_TYPE;
TYPE FIXED IS DELTA 0.02 RANGE 0.0 .. 50.0;
PACKAGE FX_IO IS NEW FIXED_IO (FIXED);
X : FIXED;
USE FX_IO;
INCOMPLETE : EXCEPTION;
BEGIN
BEGIN
CREATE (FT1, OUT_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED ON TEXT CREATE " &
"WITH OUT_FILE MODE");
RAISE INCOMPLETE;
WHEN NAME_ERROR =>
NOT_APPLICABLE ("NAME_ERROR RAISED ON TEXT " &
"CREATE WITH OUT_FILE MODE");
RAISE INCOMPLETE;
END;
CREATE (FT2, OUT_FILE, LEGAL_FILE_NAME(2));
PUT (FT1, "2.25");
CLOSE (FT1);
PUT (FT2, "2.50");
NEW_LINE (FT2, 3);
NEW_PAGE (FT2);
NEW_LINE (FT2, 3);
CLOSE (FT2);
BEGIN
OPEN (FT1, IN_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED ON TEXT OPEN " &
"FOR IN_FILE MODE");
RAISE INCOMPLETE;
END;
OPEN (FT2, IN_FILE, LEGAL_FILE_NAME(2));
BEGIN
GET (FT1, X);
IF X /= 2.25 THEN
FAILED ("INCORRECT VALUE READ");
END IF;
BEGIN
GET (FT1, X);
FAILED ("END_ERROR NOT RAISED - 1");
EXCEPTION
WHEN END_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED - 1");
END;
EXCEPTION
WHEN END_ERROR =>
FAILED ("END_ERROR RAISED PREMATURELY - 1");
WHEN OTHERS =>
FAILED ("UNEXPECTED ERROR RAISED - 1");
END;
BEGIN
GET (FT2, X);
IF X /= 2.50 THEN
FAILED ("INCORRECT VALUE READ");
END IF;
BEGIN
GET (FT2, X);
FAILED ("END_ERROR NOT RAISED - 2");
EXCEPTION
WHEN END_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED - 2");
END;
EXCEPTION
WHEN END_ERROR =>
FAILED ("END_ERROR RAISED PREMATURELY - 2");
WHEN OTHERS =>
FAILED ("UNEXPECTED ERROR RAISED - 2");
END;
BEGIN
DELETE (FT1);
DELETE (FT2);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
EXCEPTION
WHEN INCOMPLETE =>
NULL;
END;
RESULT;
END CE3805B;