WITH REPORT; USE REPORT;
WITH TEXT_IO; USE TEXT_IO;
WITH CHECK_FILE;
PROCEDURE CE3602B IS
INCOMPLETE : EXCEPTION;
BEGIN
TEST ("CE3602B", "CHECK THAT GET PROPERLY SETS PAGE, LINE, AND " &
"COLUMN NUMBERS");
DECLARE
FILE1 : FILE_TYPE;
LINE1 : CONSTANT STRING := "LINE ONE OF TEST DATA FILE";
LINE2 : CONSTANT STRING := "LINE TWO";
LINE3 : CONSTANT STRING := "LINE THREE";
CN, LN : POSITIVE_COUNT;
CH : CHARACTER;
ST: STRING (1 .. 5);
ORIGINAL_LINE_LENGTH : COUNT;
BEGIN
BEGIN
CREATE (FILE1, 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;
ORIGINAL_LINE_LENGTH := LINE_LENGTH;
SET_LINE_LENGTH (FILE1, LINE1'LENGTH);
PUT (FILE1, LINE1);
SET_LINE_LENGTH (FILE1, LINE2'LENGTH);
PUT (FILE1, LINE2);
NEW_LINE (FILE1, 2);
NEW_PAGE (FILE1);
SET_LINE_LENGTH (FILE1, LINE3'LENGTH);
PUT (FILE1, LINE3);
CLOSE (FILE1);
BEGIN
OPEN (FILE1, 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 COL (FILE1) /= 1 THEN
FAILED ("COLUMN NUMBER NOT INITIALLY ONE");
END IF;
IF LINE (FILE1) /= 1 THEN
FAILED ("LINE NUMBER NOT INITIALLY ONE");
END IF;
IF PAGE (FILE1) /= 1 THEN
FAILED ("PAGE NUMBER NOT INITIALLY ONE");
END IF;
GET (FILE1, CH);
IF CH /= 'L' THEN
FAILED ("CHARACTER NOT EQUAL TO L - 1");
END IF;
CN := COL (FILE1);
IF CN /= 2 THEN
FAILED ("COLUMN NUMBER NOT SET CORRECTLY " &
"- GET CHARACTER. COL NUMBER IS" &
COUNT'IMAGE(CN));
END IF;
GET (FILE1, ST);
CN := COL (FILE1);
IF CN /= 7 THEN
FAILED ("COLUMN NUMBER NOT SET CORRECTLY " &
"- GET STRING. COL NUMBER IS" &
COUNT'IMAGE(CN));
END IF;
WHILE NOT END_OF_LINE (FILE1) LOOP
GET (FILE1, CH);
END LOOP;
IF CH /= 'E' THEN
FAILED ("CHARACTER NOT EQUAL TO E");
END IF;
GET(FILE1, CH);
IF CH /= 'L' THEN
FAILED ("CHARACTER NOT EQUAL TO L - 2");
END IF;
LN := LINE (FILE1);
IF LN /= 2 THEN
FAILED ("LINE NUMBER NOT SET CORRECTLY " &
"- GET CHARACTER. LINE NUMBER IS" &
COUNT'IMAGE(LN));
END IF;
IF PAGE (FILE1) /= POSITIVE_COUNT(IDENT_INT(1)) THEN
FAILED ("PAGE NUMBER NOT CORRECT - 1. PAGE IS" &
COUNT'IMAGE(PAGE(FILE1)));
END IF;
WHILE NOT END_OF_LINE (FILE1) LOOP
GET (FILE1, CH);
END LOOP;
GET (FILE1, ST);
IF ST /= "LINE " THEN
FAILED ("INCORRECT VALUE READ - ST");
END IF;
LN := LINE (FILE1);
CN := COL (FILE1);
IF CN /= 6 THEN
FAILED ("COLUMN NUMBER NOT SET CORRECTLY " &
"- GET STRING. COL NUMBER IS" &
COUNT'IMAGE(CN));
END IF;
IF LN /= 1 THEN
FAILED ("LINE NUMBER NOT SET CORRECTLY " &
"- GET STRING. LINE NUMBER IS" &
COUNT'IMAGE(LN));
END IF;
IF PAGE (FILE1) /= POSITIVE_COUNT(IDENT_INT(2)) THEN
FAILED ("PAGE NUMBER NOT CORRECT - 2. PAGE IS" &
COUNT'IMAGE(PAGE(FILE1)));
END IF;
BEGIN
DELETE (FILE1);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
EXCEPTION
WHEN INCOMPLETE =>
NULL;
END;
RESULT;
END CE3602B;