WITH REPORT;
USE REPORT;
WITH TEXT_IO;
USE TEXT_IO;
PROCEDURE CE3805A IS
BEGIN
TEST ("CE3805A", "CHECK THAT FLOAT_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;
PACKAGE FL_IO IS NEW FLOAT_IO (FLOAT);
X : FLOAT;
USE FL_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 WITH 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 CE3805A;