WITH REPORT;
USE REPORT;
WITH TEXT_IO;
USE TEXT_IO;
PROCEDURE CE3403B IS
INCOMPLETE : EXCEPTION;
FILE : FILE_TYPE;
SPAC, TWO : POSITIVE_COUNT := POSITIVE_COUNT (IDENT_INT(2));
A : INTEGER := CHARACTER'POS('A');
CH : CHARACTER;
BEGIN
TEST ("CE3403B" , "CHECK DEFAULT SPACING AND FILE " &
"OF SKIP_LINE");
BEGIN
CREATE (FILE, OUT_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED; TEXT CREATE " &
"WITH OUT_FILE MODE");
RAISE INCOMPLETE;
WHEN NAME_ERROR =>
NOT_APPLICABLE ("NAME_ERROR RAISED; TEXT CREATE " &
"WITH OUT_FILE MODE");
RAISE INCOMPLETE;
WHEN OTHERS =>
FAILED ("UNEXPECTED EXCEPTION RAISED; TEXT CREATE");
RAISE INCOMPLETE;
END;
FOR I IN 1 .. 3 LOOP FOR J IN 1 .. 4-I LOOP
PUT (FILE, CHARACTER'VAL(A + I));
END LOOP;
NEW_LINE (FILE);
END LOOP;
NEW_LINE (FILE);
PUT (FILE, 'F');
CLOSE (FILE);
BEGIN
OPEN (FILE, IN_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED; TEXT OPEN " &
"FOR IN_FILE MODE");
RAISE INCOMPLETE;
END;
GET (FILE, CH);
IF CH /= CHARACTER'VAL (A + 1) THEN
FAILED ("LINE CONTENT WRONG - 1");
END IF;
SKIP_LINE (FILE);
IF LINE (FILE) /= TWO THEN
FAILED ("SPACING DEFAULT NOT ONE");
END IF;
GET (FILE, CH);
IF CH /= CHARACTER'VAL (A + 2) THEN
FAILED ("LINE CONTENT WRONG - 2");
END IF;
SET_INPUT (FILE);
SKIP_LINE (FILE);
IF LINE (FILE) /= 3 THEN
FAILED ("SKIP_LINE DOES NOT OPERATE CORRECTLY ON " &
"DEFAULT FILE");
END IF;
GET (FILE, CH);
IF CH /= CHARACTER'VAL (A + 3) THEN
FAILED ("LINE CONTENT WRONG - 3");
END IF;
SKIP_LINE;
IF LINE (FILE) /= 4 THEN
FAILED ("LINE COUNT NOT 4; WAS " & COUNT'IMAGE(LINE(FILE)));
END IF;
GET (FILE, CH);
IF CH /= 'F' THEN
FAILED ("NOT RIGHT LINE");
END IF;
BEGIN
DELETE (FILE);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
RESULT;
EXCEPTION
WHEN INCOMPLETE =>
RESULT;
END CE3403B;