WITH REPORT;
USE REPORT;
WITH TEXT_IO;
USE TEXT_IO;
PROCEDURE CE3906C IS
INCOMPLETE : EXCEPTION;
BEGIN
TEST ("CE3906C", "CHECK THAT ENUMERATION_IO PUT OUTPUTS " &
"ENUMERATION LITERALS CORRECTLY WITH AND " &
"WITHOUT WIDTH PARAMETERS");
DECLARE
FT : FILE_TYPE;
TYPE MOOD IS (ANGRY, HAPPY, BORED, SAD);
X : MOOD := BORED;
PACKAGE MOOD_IO IS NEW ENUMERATION_IO (MOOD);
CH : CHARACTER;
USE MOOD_IO;
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;
DEFAULT_WIDTH := FIELD(IDENT_INT(5));
IF DEFAULT_WIDTH /= FIELD(IDENT_INT(5)) THEN
FAILED ("DEFAULT_WIDTH NOT SET CORRECTLY");
END IF;
PUT (FT, X, 3); X := HAPPY;
NEW_LINE(FT);
PUT (FILE => FT, ITEM => X, WIDTH => 5); NEW_LINE (FT);
PUT (FT, SAD, 5); DEFAULT_WIDTH := FIELD(IDENT_INT(6));
PUT (FT, X); PUT (FT, SAD, 3); NEW_LINE(FT);
DEFAULT_WIDTH := FIELD(IDENT_INT(2));
PUT (FT, SAD);
CLOSE (FT);
BEGIN
OPEN (FT, IN_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED; TEXT OPEN FOR " &
"IN_FILE MODE");
RAISE INCOMPLETE;
END;
GET (FT, X);
IF X /= BORED THEN
FAILED ("BORED NOT READ CORRECTLY");
END IF;
GET (FT, X);
IF X /= HAPPY THEN
FAILED ("HAPPY NOT READ CORRECTLY - 1");
END IF;
SKIP_LINE (FT);
GET (FT, X);
IF X /= SAD THEN
FAILED ("SAD NOT READ CORRECTLY - 1");
END IF;
GET (FT, CH);
IF CH /= ' ' THEN
FAILED ("BLANKS NOT POSITIONED CORRECTLY - 1");
END IF;
GET (FT, CH);
IF CH /= ' ' THEN
FAILED ("BLANKS NOT POSITIONED CORRECTLY - 2");
END IF;
GET (FT, X);
IF X /= HAPPY THEN
FAILED ("HAPPY NOT READ CORRECTLY - 2");
END IF;
GET (FT, CH);
IF CH /= ' ' THEN
FAILED ("BLANKS NOT POSITIONED CORRECTLY - 3");
END IF;
GET (FT, X);
IF X /= SAD THEN
FAILED ("SAD NOT READ CORRECTLY - 2");
END IF;
SKIP_LINE (FT);
GET (FT, X);
IF X /= SAD THEN
FAILED ("SAD NOT READ CORRECTLY - 3");
END IF;
BEGIN
DELETE (FT);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
EXCEPTION
WHEN INCOMPLETE =>
NULL;
END;
RESULT;
END CE3906C;