WITH REPORT;
USE REPORT;
WITH TEXT_IO;
USE TEXT_IO;
PROCEDURE CE3804G IS
INCOMPLETE : EXCEPTION;
BEGIN
TEST ("CE3804G", "CHECK THAT FLOAT_IO GET WHEN SUPPLIED WITH " &
"A WIDTH PARAMETER GREATER THAN ZERO READS " &
"ONLY THAT MANY CHARACTERS. ALSO CHECK THAT " &
"INPUT TERMINATES WHEN A LINE TERMINATOR IS " &
"ENCOUNTERED AND THAT DATA_ERROR IS RAISED " &
"WHEN THE DATA IS INVALID.");
DECLARE
FT : FILE_TYPE;
BEGIN
BEGIN
CREATE (FT, OUT_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED; TEXT CREATE " &
"WITH OUT_FILE MODE");
RAISE INCOMPLETE;
WHEN NAME_ERROR =>
NOT_APPLICABLE ("NAME_ERROR RAISED; TEXT CREATE " &
"WITH OUT_FILE MODE");
RAISE INCOMPLETE;
END;
PUT(FT, "3.259.5 8.52");
NEW_LINE (FT);
PUT (FT, " ");
NEW_LINE (FT);
PUT (FT, ASCII.HT & "9.0");
NEW_LINE (FT);
PUT (FT, "-3.625");
NEW_LINE (FT);
CLOSE (FT);
DECLARE
TYPE FL IS DIGITS 4;
PACKAGE FL_IO IS NEW FLOAT_IO (FL);
USE FL_IO;
X : FL;
BEGIN
BEGIN
OPEN (FT, IN_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED; TEXT" &
"OPEN WITH IN_FILE MODE");
RAISE INCOMPLETE;
END;
GET (FT, X, 4);
IF X /= 3.25 THEN
FAILED ("WIDTH CHARACTERS NOT READ - FLOAT");
ELSE
GET (FT, X, 3);
IF X /= 9.5 THEN
FAILED ("WIDTH CHARACTERS NOT READ - " &
"FLOAT 2");
ELSE
GET (FT, X, 4);
IF X /= 8.5 THEN
FAILED ("DIDN'T COUNT LEADING BLANKS " &
"- FLOAT");
ELSE
SKIP_LINE(FT);
BEGIN
GET (FT, X, 2);
FAILED ("DATA_ERROR NOT RAISED - " &
"FLOAT");
EXCEPTION
WHEN DATA_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED"
& " - FLOAT");
END;
SKIP_LINE(FT);
GET (FT, X, 4);
IF X /= 9.0 THEN
FAILED ("GET WITH WIDTH " &
"INCORRECT - 3");
END IF;
SKIP_LINE (FT);
GET (FT, X, 7);
IF X /= -3.625 THEN
FAILED ("WIDTH CHARACTERS NOT " &
"READ - FLOAT 3");
END IF;
END IF;
END IF;
END IF;
BEGIN
DELETE (FT);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
END;
EXCEPTION
WHEN INCOMPLETE =>
NULL;
END;
RESULT;
END CE3804G;