WITH REPORT;
USE REPORT;
WITH TEXT_IO;
USE TEXT_IO;
PROCEDURE CE3103A IS
SUBTEST : EXCEPTION;
INCOMPLETE : EXCEPTION;
FILE : FILE_TYPE;
ZERO : CONSTANT COUNT := COUNT(IDENT_INT(0));
TWO : CONSTANT COUNT := COUNT (IDENT_INT(2));
FIVE : CONSTANT COUNT := COUNT (IDENT_INT(5));
BEGIN
TEST ("CE3103A" , "CHECK THAT PAGE AND LINE LENGTH " &
"ARE SET TO ZERO AFTER CREATE, " &
"OPEN, OR RESET");
BEGIN
BEGIN
CREATE (FILE, OUT_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED; TEXT CREATE");
RAISE INCOMPLETE;
WHEN NAME_ERROR =>
NOT_APPLICABLE ("NAME_ERROR RAISED; TEXT CREATE");
RAISE INCOMPLETE;
WHEN OTHERS =>
FAILED ("UNEXPECTED EXCEPTION RAISED; TEXT CREATE");
RAISE INCOMPLETE;
END;
IF LINE_LENGTH (FILE) /= ZERO THEN
FAILED ("LINE_LENGTH FOR CREATE IS NOT ZERO");
END IF;
IF PAGE_LENGTH (FILE) /= ZERO THEN
FAILED ("PAGE_LENGTH FOR CREATE IS NOT ZERO");
END IF;
SET_LINE_LENGTH (FILE, TWO);
SET_PAGE_LENGTH (FILE, FIVE);
PUT_LINE (FILE, "HI");
CLOSE (FILE);
BEGIN
OPEN (FILE, OUT_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED; TEXT OPEN");
RAISE INCOMPLETE;
END;
IF LINE_LENGTH (FILE) /= ZERO THEN
FAILED ("LINE_LENGTH FOR OPEN IS NOT ZERO");
END IF;
IF PAGE_LENGTH (FILE) /= ZERO THEN
FAILED ("PAGE_LENGTH FOR OPEN IS NOT ZERO");
END IF;
SET_LINE_LENGTH (FILE, TWO);
SET_PAGE_LENGTH (FILE, TWO);
PUT_LINE (FILE, "HI");
BEGIN
BEGIN
RESET (FILE, OUT_FILE);
EXCEPTION
WHEN USE_ERROR =>
RAISE SUBTEST;
END;
IF LINE_LENGTH (FILE) /= ZERO THEN
FAILED ("LINE_LENGTH FOR RESET TO OUT_FILE IS NOT " &
"ZERO - 1");
END IF;
IF PAGE_LENGTH (FILE) /= ZERO THEN
FAILED ("PAGE_LENGTH FOR RESET TO OUT_FILE IS NOT " &
"ZERO - 1");
END IF;
EXCEPTION
WHEN SUBTEST =>
NULL;
END;
SET_LINE_LENGTH (FILE, FIVE);
SET_PAGE_LENGTH (FILE, FIVE);
PUT_LINE (FILE, "HELLO");
IF LINE_LENGTH (FILE) /= 5 THEN
FAILED ("LINE_LENGTH FOR RESET IN OUT_FILE, PLUS HELLO " &
"IS NOT FIVE");
END IF;
IF PAGE_LENGTH (FILE) /= 5 THEN
FAILED ("PAGE_LENGTH FOR RESET IN OUT_FILE, PLUS HELLO " &
"IS NOT FIVE");
END IF;
BEGIN
BEGIN
RESET (FILE);
EXCEPTION
WHEN USE_ERROR =>
RAISE SUBTEST;
END;
IF LINE_LENGTH (FILE) /= ZERO THEN
FAILED ("LINE_LENGTH FOR RESET IS NOT ZERO");
END IF;
IF PAGE_LENGTH (FILE) /= ZERO THEN
FAILED ("PAGE_LENGTH FOR RESET IS NOT ZERO");
END IF;
EXCEPTION
WHEN SUBTEST =>
NULL;
END;
SET_LINE_LENGTH (FILE, FIVE);
SET_PAGE_LENGTH (FILE, FIVE);
PUT_LINE (FILE, "HELLO");
IF LINE_LENGTH (FILE) /= 5 THEN
FAILED ("LINE_LENGTH FOR RESET PLUS HELLO");
END IF;
IF PAGE_LENGTH (FILE) /= 5 THEN
FAILED ("PAGE_LENGTH FOR RESET PLUS HELLO");
END IF;
CLOSE (FILE);
BEGIN
OPEN (FILE, IN_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
RAISE INCOMPLETE;
END;
BEGIN
RESET (FILE, OUT_FILE);
EXCEPTION
WHEN USE_ERROR =>
RAISE INCOMPLETE;
END;
IF LINE_LENGTH (FILE) /= ZERO THEN
FAILED ("LINE_LENGTH FOR RESET TO OUT_FILE IS NOT ZERO - 2");
END IF;
IF PAGE_LENGTH (FILE) /= ZERO THEN
FAILED ("PAGE_LENGTH FOR RESET TO OUT_FILE IS NOT ZERO - 2");
END IF;
BEGIN
DELETE (FILE);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
EXCEPTION
WHEN INCOMPLETE =>
NULL;
END;
RESULT;
END CE3103A;