WITH REPORT; USE REPORT;
WITH DIRECT_IO;
PROCEDURE CE2401A IS
END_SUBTEST : EXCEPTION;
BEGIN
TEST ("CE2401A" , "CHECK THAT READ, WRITE, SET_INDEX " &
"INDEX, SIZE AND END_OF_FILE ARE " &
"SUPPORTED FOR DIRECT FILES");
DECLARE
SUBTYPE STR_TYPE IS STRING (1..12);
PACKAGE DIR_STR IS NEW DIRECT_IO (STR_TYPE);
USE DIR_STR;
FILE_STR : FILE_TYPE;
BEGIN
BEGIN
CREATE (FILE_STR, INOUT_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR | NAME_ERROR =>
NOT_APPLICABLE ("USE_ERROR | NAME_ERROR RAISED " &
"ON CREATE - STRING");
RAISE END_SUBTEST;
WHEN OTHERS =>
FAILED ("UNEXPECTED ERROR RAISED ON " &
"CREATE - STRING");
RAISE END_SUBTEST;
END;
DECLARE
STR : STR_TYPE := "TEXT OF FILE";
ITEM_STR : STR_TYPE;
ONE_STR : POSITIVE_COUNT := 1;
TWO_STR : POSITIVE_COUNT := 2;
BEGIN
BEGIN
WRITE (FILE_STR,STR);
EXCEPTION
WHEN OTHERS =>
FAILED ("EXCEPTION RAISED ON WRITE FOR " &
"STRING - 1");
END;
BEGIN
WRITE (FILE_STR,STR,TWO_STR);
EXCEPTION
WHEN OTHERS =>
FAILED ("EXCEPTION RAISED ON WRITE FOR " &
"STRING - 2");
END;
BEGIN
IF SIZE (FILE_STR) /= TWO_STR THEN
FAILED ("SIZE FOR TYPE STRING");
END IF;
IF NOT END_OF_FILE (FILE_STR) THEN
FAILED ("WRONG END_OF_FILE VALUE FOR STRING");
END IF;
SET_INDEX (FILE_STR,ONE_STR);
IF INDEX (FILE_STR) /= ONE_STR THEN
FAILED ("WRONG INDEX VALUE FOR STRING");
END IF;
END;
CLOSE (FILE_STR);
BEGIN
OPEN (FILE_STR, IN_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("OPEN FOR IN_FILE MODE " &
"NOT SUPPORTED - 1");
RAISE END_SUBTEST;
END;
BEGIN
READ (FILE_STR,ITEM_STR);
IF ITEM_STR /= STR THEN
FAILED ("INCORRECT STRING VALUE READ - 1");
END IF;
EXCEPTION
WHEN OTHERS =>
FAILED ("READ WITHOUT FROM FOR STRING");
END;
BEGIN
READ (FILE_STR,ITEM_STR,ONE_STR);
IF ITEM_STR /= STR THEN
FAILED ("INCORRECT STRING VALUE READ - 2");
END IF;
EXCEPTION
WHEN OTHERS =>
FAILED ("READ WITH FROM FOR STRING");
END;
END;
BEGIN
DELETE (FILE_STR);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
EXCEPTION
WHEN END_SUBTEST =>
NULL;
END;
DECLARE
PACKAGE DIR_CHR IS NEW DIRECT_IO (CHARACTER);
USE DIR_CHR;
FILE_CHR : FILE_TYPE;
BEGIN
BEGIN
CREATE (FILE_CHR, INOUT_FILE, LEGAL_FILE_NAME(2));
EXCEPTION
WHEN USE_ERROR | NAME_ERROR =>
NOT_APPLICABLE ("USE_ERROR | NAME_ERROR RAISED " &
"ON CREATE - CHARACTER");
RAISE END_SUBTEST;
WHEN OTHERS =>
FAILED ("UNEXPECTED ERROR RAISED ON " &
"CREATE - CHARACTER");
RAISE END_SUBTEST;
END;
DECLARE
CHR : CHARACTER := 'C';
ITEM_CHR : CHARACTER;
ONE_CHR : POSITIVE_COUNT := 1;
TWO_CHR : POSITIVE_COUNT := 2;
BEGIN
BEGIN
WRITE (FILE_CHR,CHR);
EXCEPTION
WHEN OTHERS =>
FAILED ("EXCEPTION RAISED ON WRITE FOR " &
"CHARACTER - 1");
END;
BEGIN
WRITE (FILE_CHR,CHR,TWO_CHR);
EXCEPTION
WHEN OTHERS =>
FAILED ("EXCEPTION RAISED ON WRITE FOR " &
"CHARACTER - 2");
END;
BEGIN
IF SIZE (FILE_CHR) /= TWO_CHR THEN
FAILED ("SIZE FOR TYPE CHARACTER");
END IF;
IF NOT END_OF_FILE (FILE_CHR) THEN
FAILED ("WRONG END_OF_FILE VALUE FOR TYPE " &
"CHARACTER");
END IF;
SET_INDEX (FILE_CHR,ONE_CHR);
IF INDEX (FILE_CHR) /= ONE_CHR THEN
FAILED ("WRONG INDEX VALUE FOR TYPE " &
"CHARACTER");
END IF;
END;
CLOSE (FILE_CHR);
BEGIN
OPEN (FILE_CHR, IN_FILE, LEGAL_FILE_NAME(2));
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("OPEN FOR IN_FILE MODE " &
"NOT SUPPORTED - 2");
RAISE END_SUBTEST;
END;
BEGIN
READ (FILE_CHR,ITEM_CHR);
IF ITEM_CHR /= CHR THEN
FAILED ("INCORRECT CHR VALUE READ - 1");
END IF;
EXCEPTION
WHEN OTHERS =>
FAILED ("READ WITHOUT FROM FOR " &
"TYPE CHARACTER");
END;
BEGIN
READ (FILE_CHR,ITEM_CHR,ONE_CHR);
IF ITEM_CHR /= CHR THEN
FAILED ("INCORRECT CHR VALUE READ - 2");
END IF;
EXCEPTION
WHEN OTHERS =>
FAILED ("READ WITH FROM FOR " &
"TYPE CHARACTER");
END;
END;
BEGIN
DELETE (FILE_CHR);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
EXCEPTION
WHEN END_SUBTEST =>
NULL;
END;
DECLARE
PACKAGE DIR_INT IS NEW DIRECT_IO (INTEGER);
USE DIR_INT;
FILE_INT : FILE_TYPE;
BEGIN
BEGIN
CREATE (FILE_INT, INOUT_FILE, LEGAL_FILE_NAME(3));
EXCEPTION
WHEN USE_ERROR | NAME_ERROR =>
NOT_APPLICABLE ("USE_ERROR | NAME_ERROR RAISED " &
"ON CREATE - INTEGER");
RAISE END_SUBTEST;
WHEN OTHERS =>
FAILED ("UNEXPECTED ERROR RAISED ON " &
"CREATE - INTEGER");
RAISE END_SUBTEST;
END;
DECLARE
INT : INTEGER := IDENT_INT (33);
ITEM_INT : INTEGER;
ONE_INT : POSITIVE_COUNT := 1;
TWO_INT : POSITIVE_COUNT := 2;
BEGIN
BEGIN
WRITE (FILE_INT,INT);
EXCEPTION
WHEN OTHERS =>
FAILED ("EXCEPTION RAISED ON WRITE FOR " &
"INTEGER - 1");
END;
BEGIN
WRITE (FILE_INT,INT,TWO_INT);
EXCEPTION
WHEN OTHERS =>
FAILED ("EXCEPTION RAISED ON WRITE FOR " &
"INTEGER - 2");
END;
BEGIN
IF SIZE (FILE_INT) /= TWO_INT THEN
FAILED ("SIZE FOR TYPE INTEGER");
END IF;
IF NOT END_OF_FILE (FILE_INT) THEN
FAILED ("WRONG END_OF_FILE VALUE FOR TYPE " &
"INTEGER");
END IF;
SET_INDEX (FILE_INT, ONE_INT);
IF INDEX (FILE_INT) /= ONE_INT THEN
FAILED ("WRONG INDEX VALUE FOR TYPE INTEGER");
END IF;
END;
CLOSE (FILE_INT);
BEGIN
OPEN (FILE_INT, IN_FILE, LEGAL_FILE_NAME(3));
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("OPEN FOR IN_FILE MODE " &
"NOT SUPPORTED - 3");
RAISE END_SUBTEST;
END;
BEGIN
READ (FILE_INT,ITEM_INT);
IF ITEM_INT /= INT THEN
FAILED ("INCORRECT INT VALUE READ - 1");
END IF;
EXCEPTION
WHEN OTHERS =>
FAILED ("READ WITHOUT FROM FOR " &
"TYPE INTEGER");
END;
BEGIN
READ (FILE_INT,ITEM_INT,ONE_INT);
IF ITEM_INT /= INT THEN
FAILED ("INCORRECT INT VALUE READ - 2");
END IF;
EXCEPTION
WHEN OTHERS =>
FAILED ("READ WITH FROM FOR " &
"TYPE INTEGER");
END;
END;
BEGIN
DELETE (FILE_INT);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
EXCEPTION
WHEN END_SUBTEST =>
NULL;
END;
RESULT;
END CE2401A;