WITH REPORT;
USE REPORT;
WITH TEXT_IO;
USE TEXT_IO;
PROCEDURE CE3406A IS
INCOMPLETE : EXCEPTION;
FILE : FILE_TYPE;
CHAR_X : CHARACTER := ('X');
ITEM_CHAR : CHARACTER;
ONE : POSITIVE_COUNT := POSITIVE_COUNT(IDENT_INT(1));
TWO : POSITIVE_COUNT := POSITIVE_COUNT(IDENT_INT(2));
THREE : POSITIVE_COUNT := POSITIVE_COUNT(IDENT_INT(3));
BEGIN
TEST ("CE3406A", "CHECK THAT SKIP_LINE READS AND " &
"SETS PAGE AND COLUMN CORRECTLY");
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;
PUT (FILE, "CDE");
NEW_LINE (FILE);
PUT (FILE, "FGHI");
NEW_LINE (FILE);
PUT (FILE, "JK");
NEW_PAGE (FILE);
NEW_PAGE (FILE);
PUT (FILE,CHAR_X);
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;
IF (LINE (FILE) /= ONE) THEN
FAILED ("LINE NUMBER NOT EQUAL TO ONE");
END IF;
IF (PAGE (FILE) /= ONE) THEN
FAILED ("PAGE NUMBER NOT EQUAL TO ONE");
END IF;
GET (FILE, ITEM_CHAR);
IF ITEM_CHAR /= 'C' THEN
FAILED ("INCORRECT VALUE READ FROM FILE - 1");
END IF;
SKIP_PAGE (FILE);
IF COL (FILE) /= ONE THEN
FAILED ("COLUMN NOT SET TO ONE - 1");
END IF;
IF LINE (FILE) /= ONE THEN
FAILED ("LINE NOT SET TO ONE - 1");
END IF;
IF PAGE (FILE) /= TWO THEN
FAILED ("PAGE NOT SET TO TWO");
END IF;
SKIP_PAGE (FILE);
IF COL (FILE) /= ONE THEN
FAILED ("COLUMN NOT SET TO ONE - 2");
END IF;
IF LINE (FILE) /= ONE THEN
FAILED ("LINE NOT SET TO ONE - 2");
END IF;
IF PAGE (FILE) /= THREE THEN
FAILED ("PAGE NOT SET TO THREE");
END IF;
GET (FILE, ITEM_CHAR);
IF ITEM_CHAR /= 'X' THEN
FAILED ("INCORRECT VALUE READ FROM FILE - 2");
END IF;
BEGIN
DELETE (FILE);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
RESULT;
EXCEPTION
WHEN INCOMPLETE =>
RESULT;
END CE3406A;