WITH REPORT; USE REPORT;
WITH TEXT_IO; USE TEXT_IO;
PROCEDURE CE3409D IS
INCOMPLETE : EXCEPTION;
FILE : FILE_TYPE;
FOUR : POSITIVE_COUNT := POSITIVE_COUNT (IDENT_INT(4));
ITEM_CHAR : CHARACTER;
BEGIN
TEST ("CE3409D", "CHECK THAT SET_COL SKIPS LINE AND PAGE " &
"TERMINATORS WHEN NECESSARY");
BEGIN
CREATE (FILE, OUT_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED ON TEXT CREATE WITH " &
"MODE OUT_FILE");
RAISE INCOMPLETE;
WHEN NAME_ERROR =>
NOT_APPLICABLE ("NAME_ERROR RAISED ON TEXT CREATE " &
"WITH MODE OUT_FILE");
RAISE INCOMPLETE;
WHEN OTHERS =>
FAILED ("UNEXPECTED EXCEPTION RAISED ON TEXT CREATE");
RAISE INCOMPLETE;
END;
PUT (FILE, "ABC");
NEW_LINE (FILE);
PUT (FILE, "DEFGHI");
NEW_PAGE (FILE);
PUT (FILE, "XYZ");
NEW_PAGE (FILE);
PUT (FILE, "IJKL");
CLOSE (FILE);
BEGIN
OPEN (FILE, IN_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED ON TEXT OPEN WITH " &
"MODE IN_FILE");
RAISE INCOMPLETE;
END;
SET_COL (FILE, FOUR);
GET (FILE, ITEM_CHAR);
IF ITEM_CHAR = ' ' THEN
BEGIN
COMMENT ("FILE PADS LINES WITH SPACES");
SET_COL (FILE, FOUR);
GET (FILE, ITEM_CHAR);
IF ITEM_CHAR /= 'G' THEN
FAILED ("INCORRECT VALUE FROM SET_COL - 1");
END IF;
SET_COL (FILE, FOUR);
GET (FILE, ITEM_CHAR);
IF ITEM_CHAR /= ' ' THEN
FAILED ("LINES SHOULD STILL BE PADDED WITH BLANKS");
END IF;
END;
ELSIF ITEM_CHAR /= 'G' THEN
FAILED ("SET_COL DOESN'T SKIP LINE MARKS; " &
"ACTUALLY READ '" & ITEM_CHAR & "'");
ELSE
BEGIN
SET_COL (FILE, FOUR);
GET (FILE, ITEM_CHAR);
IF ITEM_CHAR /= 'L' THEN
FAILED ("SET_COL DOESN'T SKIP PAGE MARKS; " &
"ACTUALLY READ '" & ITEM_CHAR & "'");
END IF;
END;
END IF;
BEGIN
DELETE (FILE);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
RESULT;
EXCEPTION
WHEN INCOMPLETE =>
RESULT;
END CE3409D;