WITH REPORT; USE REPORT;
WITH DIRECT_IO;
PROCEDURE CE2406A IS
PACKAGE DIR IS NEW DIRECT_IO (INTEGER);
USE DIR;
FILE1 : FILE_TYPE;
INT : INTEGER := IDENT_INT (18);
BOOL : BOOLEAN := IDENT_BOOL (TRUE);
INT_ITEM1, INT_ITEM2 : INTEGER;
INCOMPLETE : EXCEPTION;
BEGIN
TEST ("CE2406A", "CHECK THAT READ POSITION IS INCREMENTED " &
"BY ONE AFTER A READ");
BEGIN
BEGIN
CREATE (FILE1, INOUT_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN NAME_ERROR | USE_ERROR =>
NOT_APPLICABLE ("NAME_ERROR | USE_ERROR RAISED " &
"ON CREATE - 1");
RAISE INCOMPLETE;
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED ON CREATE - 2");
RAISE INCOMPLETE;
END;
BEGIN
WRITE (FILE1, INT);
WRITE (FILE1, 26);
WRITE (FILE1, 12);
WRITE (FILE1, 19);
WRITE (FILE1, INT);
WRITE (FILE1, 3);
CLOSE (FILE1);
BEGIN
OPEN (FILE1, IN_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED ON" &
"OPEN - 3");
RAISE INCOMPLETE;
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED ON " &
"OPEN - 4");
RAISE INCOMPLETE;
END;
IF INDEX(FILE1) /= POSITIVE_COUNT (IDENT_INT(1)) THEN
FAILED ("INITIAL INDEX VALUE INCORRECT - 5");
ELSE
READ (FILE1, INT_ITEM1);
IF INDEX(FILE1) /= POSITIVE_COUNT(IDENT_INT(2)) THEN
FAILED ("INDEX VALUE NOT INCREMENTED - 6");
ELSE
IF INT_ITEM1 /= IDENT_INT(18) THEN
FAILED ("READ INCORRECT VALUE - 7");
END IF;
READ (FILE1, INT_ITEM1, 4);
IF INDEX(FILE1) /=
POSITIVE_COUNT (IDENT_INT(5)) THEN
FAILED ("INDEX VALUE NOT INCREMENTED " &
"WHEN TO IS SPECIFIED - 8");
ELSE
IF INT_ITEM1 /= IDENT_INT(19) THEN
FAILED ("READ INCORRECT VALUE - 9");
END IF;
READ (FILE1, INT_ITEM1);
IF INDEX(FILE1) /=
POSITIVE_COUNT(IDENT_INT(6)) THEN
FAILED ("INDEX VALUE NOT " &
"INCREMENTED WHEN " &
"LAST - 10");
ELSIF INT_ITEM1 /= IDENT_INT(18) THEN
FAILED ("READ INCORRECT " &
"IN_FILE VALUE - 11");
END IF;
END IF;
END IF;
END IF;
CLOSE (FILE1);
BEGIN
OPEN (FILE1, INOUT_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED ON " &
"OPEN - 12");
RAISE INCOMPLETE;
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED ON " &
"OPEN - 13");
RAISE INCOMPLETE;
END;
IF INDEX(FILE1) /= POSITIVE_COUNT(IDENT_INT(1)) THEN
FAILED ("INITIAL INDEX VALUE INCORRECT - 14");
ELSE
READ (FILE1, INT_ITEM2);
IF INDEX(FILE1) /= POSITIVE_COUNT(IDENT_INT(2)) THEN
FAILED ("INDEX VALUE NOT INCREMENTED - 15");
ELSE
IF INT_ITEM2 /= IDENT_INT(18) THEN
FAILED ("READ INCORRECT VALUE - 16");
END IF;
READ (FILE1, INT_ITEM2, 4);
IF INDEX (FILE1) /=
POSITIVE_COUNT(IDENT_INT(5)) THEN
FAILED ("INDEX VALUE NOT INCREMENTED " &
"WHEN TO IS SPECIFIED - 17");
ELSE
IF INT_ITEM2 /= IDENT_INT(19) THEN
FAILED ("INCORRECT VALUE - 18");
END IF;
READ (FILE1, INT_ITEM2);
IF INDEX(FILE1) /=
POSITIVE_COUNT(IDENT_INT(6)) THEN
FAILED ("INDEX VALUE NOT " &
"INCREMENTED WHEN " &
"LAST - INOUT_FILE - 19");
ELSIF INT_ITEM2 /= IDENT_INT(18) THEN
FAILED ("READ INCORRECT " &
"INOUT_FILE VALUE - 20");
END IF;
END IF;
END IF;
END IF;
BEGIN
DELETE (FILE1);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
END;
EXCEPTION
WHEN INCOMPLETE =>
NULL;
END;
RESULT;
END CE2406A;