WITH REPORT;
USE REPORT;
WITH TEXT_IO;
USE TEXT_IO;
PROCEDURE CE3301A IS
INCOMPLETE : EXCEPTION;
FILE : FILE_TYPE;
TWO : CONSTANT COUNT := COUNT(IDENT_INT(2));
TEN : CONSTANT COUNT := COUNT(IDENT_INT(10));
THREE : CONSTANT COUNT := COUNT(IDENT_INT(3));
ITEM1 : STRING (1..10);
ITEM2 : STRING (1..2);
BEGIN
TEST ("CE3301A", "CHECK THAT WHEN THE LINE AND PAGE LENGTH ARE " &
"NONZERO, LINE AND PAGE TERMINATORS ARE " &
"OUTPUT AT THE APPROPRIATE POINTS");
BEGIN
CREATE (FILE, 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;
WHEN OTHERS =>
FAILED ("UNEXPECTED EXCEPTION RAISED ON TEXT CREATE");
RAISE INCOMPLETE;
END;
IF LINE_LENGTH (FILE) /= UNBOUNDED THEN
FAILED ("LINE LENGTH NOT INITIALLY UNBOUNDED");
END IF;
IF PAGE_LENGTH (FILE) /= UNBOUNDED THEN
FAILED ("PAGE LENGTH NOT INITIALLY UNBOUNDED");
END IF;
SET_LINE_LENGTH (FILE,TEN);
SET_PAGE_LENGTH (FILE,TWO);
FOR I IN 1 .. 30 LOOP
PUT (FILE,'C');
END LOOP;
IF PAGE (FILE) /= 2 AND LINE (FILE) /= 1 THEN
FAILED ("LINE AND PAGE LENGTHS WERE NOT BOUND " &
"CORRECTLY");
END IF;
SET_LINE_LENGTH (FILE, TWO);
SET_PAGE_LENGTH (FILE, THREE);
PUT (FILE, "DDDDDDD");
CLOSE (FILE);
BEGIN
OPEN (FILE, IN_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED ON TEXT OPEN WITH " &
"IN_FILE MODE");
RAISE INCOMPLETE;
END;
GET (FILE, ITEM1);
IF NOT (END_OF_LINE (FILE)) THEN
FAILED ("INCORRECT VALUE BEFORE LINE TERMINATOR");
END IF;
IF END_OF_PAGE (FILE) THEN
FAILED ("PAGE TERMINATOR OUTPUT AT INAPPROPRIATE POINT");
END IF;
GET (FILE, ITEM1);
IF ITEM1 /= "CCCCCCCCCC" THEN
FAILED ("INCORRECT VALUE READ");
END IF;
IF NOT (END_OF_LINE(FILE)) THEN
FAILED ("INCORRECT VALUE BEFORE LINE TERMINATOR");
END IF;
IF NOT (END_OF_PAGE(FILE)) THEN
FAILED ("INCORRECT VALUE BEFORE PAGE TERMINATOR");
END IF;
GET (FILE, ITEM1);
GET (FILE, ITEM2);
IF ITEM2 /= "DD" THEN
FAILED ("INCORRECT VALUE READ");
END IF;
IF NOT (END_OF_LINE(FILE)) THEN
FAILED ("INCORRECT VALUE BEFORE LINE TERMINATOR");
END IF;
IF END_OF_PAGE (FILE) THEN
FAILED ("PAGE TERMINATOR OUTPUT AT INAPPROPRIATE POINT");
END IF;
GET (FILE, ITEM2);
IF ITEM2 /= "DD" THEN
FAILED ("INCORRECT VALUE READ");
END IF;
IF NOT (END_OF_LINE(FILE)) THEN
FAILED ("INCORRECT VALUE BEFORE LINE TERMINATOR");
END IF;
IF NOT (END_OF_PAGE(FILE)) THEN
FAILED ("INCORRECT VALUE BEFORE PAGE TERMINATOR");
END IF;
BEGIN
DELETE (FILE);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
RESULT;
EXCEPTION
WHEN INCOMPLETE =>
RESULT;
END CE3301A;