WITH REPORT;
USE REPORT;
WITH TEXT_IO;
USE TEXT_IO;
PROCEDURE CE3804A IS
INCOMPLETE : EXCEPTION;
BEGIN
TEST ("CE3804A", "CHECK THAT GET FOR FLOAT_IO READS A PLUS OR " &
"MINUS SIGN IF PRESENT");
DECLARE
FT : FILE_TYPE;
TYPE FL IS NEW FLOAT RANGE -3.0 .. 3.0;
X : FL;
ST1 : CONSTANT STRING := IDENT_STR ("-3.0");
ST2 : CONSTANT STRING := IDENT_STR ("+2.0");
ST3 : CONSTANT STRING := IDENT_STR ("1.0");
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, ST1);
NEW_LINE(FT);
PUT (FT, ST2);
NEW_LINE(FT);
PUT (FT, ST3);
NEW_LINE(FT);
CLOSE (FT);
DECLARE
PACKAGE FL_IO IS NEW FLOAT_IO (FL);
USE FL_IO;
LST : POSITIVE;
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);
IF X = 3.0 THEN
FAILED ("MINUS SIGN NOT READ - 1");
ELSIF X /= -3.0 THEN
FAILED ("INCORRECT VALUE READ - 1");
END IF;
GET (FT, X);
IF X = -2.0 THEN
FAILED ("PLUS SIGN NOT READ - 2");
ELSIF X /= +2.0 THEN
FAILED ("INCORRECT VALUE READ - 2");
END IF;
GET (FT, X);
IF X /= 1.0 THEN
FAILED ("INCORRECT VALUE READ - 3");
END IF;
GET (ST1, X, LST);
IF X = 3.0 THEN
FAILED ("MINUS SIGN NOT READ - 4");
ELSIF X /= -3.0 THEN
FAILED ("INCORRECT VALUE READ - 4");
END IF;
GET (ST2, X, LST);
IF X = -2.0 THEN
FAILED ("PLUS SIGN NOT READ - 5");
ELSIF X /= +2.0 THEN
FAILED ("INCORRECT VALUE READ - 5");
END IF;
GET (ST3, X, LST);
IF X /= 1.0 THEN
FAILED ("INCORRECT VALUE READ - 6");
END IF;
BEGIN
DELETE (FT);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
END;
EXCEPTION
WHEN INCOMPLETE =>
NULL;
END;
RESULT;
END CE3804A;