WITH REPORT; USE REPORT;
WITH TEXT_IO; USE TEXT_IO;
WITH CHECK_FILE;
PROCEDURE CE3409C IS
INCOMPLETE : EXCEPTION;
BEGIN
TEST ("CE3409C", "CHECK THAT SET_COL SETS THE CURRENT COLUMN " &
"NUMBER TO THE VALUE SPECIFIED BY TO FOR FILES " &
"OF MODES IN_FILE AND OUT_FILE. CHECK THAT IT " &
"HAS NO EFFECT IF THE VALUE SPECIFIED BY TO IS " &
"EQUAL TO THE CURRENT COLUMN NUMBER FOR BOTH " &
"IN_FILE AND OUT_FILE");
DECLARE
FILE : FILE_TYPE;
CHAR : CHARACTER := ('C');
ITEM_CHAR : CHARACTER;
ONE : POSITIVE_COUNT := POSITIVE_COUNT (IDENT_INT(1));
TWO : POSITIVE_COUNT := POSITIVE_COUNT (IDENT_INT(2));
FOUR : POSITIVE_COUNT := POSITIVE_COUNT (IDENT_INT(4));
BEGIN
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;
SET_PAGE_LENGTH (FILE, TWO);
SET_COL (FILE, FOUR);
IF COL (FILE) /= FOUR THEN
FAILED ("FOR OUT_FILE COLUMN NOT FOUR");
ELSE
PUT (FILE, 'C');
SET_COL (FILE, 5);
IF COL (FILE) /= FOUR+1 OR LINE (FILE) /= ONE THEN
FAILED ("FOR OUT_FILE COLUMN UNNECESSARILY " &
"CHANGED FROM FOUR");
ELSE
SET_COL (FILE, 8);
PUT (FILE, "DE");
SET_COL (FILE, TWO+1);
IF COL (FILE) /= TWO+ONE OR LINE (FILE) /= TWO THEN
FAILED ("FOR OUT_FILE COLUMN NOT TWO");
END IF;
PUT (FILE, 'B');
SET_COL (FILE, TWO);
IF PAGE (FILE) /= TWO THEN
FAILED ("PAGE TERMINATOR NOT OUTPUT");
END IF;
IF LINE (FILE) /= ONE THEN
FAILED ("LINE TERMINATOR NOT OUTPUT");
END IF;
IF COL (FILE) /= TWO THEN
FAILED ("COL NOT TWO; IS" &
COUNT'IMAGE(COL(FILE)));
END IF;
PUT (FILE, 'X');
END IF;
END IF;
CHECK_FILE (FILE, " C DE# B#@ X#@%");
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);
IF COL (FILE) /= FOUR THEN
FAILED ("FOR IN_FILE COLUMN NOT FOUR");
ELSE
GET (FILE, ITEM_CHAR);
IF ITEM_CHAR /= 'C' THEN
FAILED ("SET_COL FOR READ; ACTUALLY READ '" &
ITEM_CHAR & "'");
END IF;
SET_COL (FILE, 5);
IF COL (FILE) /= FOUR+1 OR LINE (FILE) /= ONE THEN
FAILED ("FOR IN_FILE COLUMN UNNECESSARILY " &
"CHANGED FROM FOUR");
ELSE
SET_COL (FILE, 9);
GET (FILE, ITEM_CHAR);
IF ITEM_CHAR /= 'E' THEN
FAILED ("SET_COL FOR READ 2; ACTUALLY READ '" &
ITEM_CHAR & "'");
END IF;
SET_COL (FILE, 3);
GET (FILE, ITEM_CHAR);
IF ITEM_CHAR /= 'B' THEN
FAILED ("SET_COL FOR READ 3; ACTUALLY READ '" &
ITEM_CHAR & "'");
END IF;
IF COL (FILE) /= 4 OR LINE (FILE) /= TWO THEN
FAILED ("FOR IN_FILE COLUMN NOT TWO");
END IF;
END IF;
END IF;
BEGIN
DELETE (FILE);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
END;
RESULT;
EXCEPTION
WHEN INCOMPLETE =>
RESULT;
END CE3409C;