WITH REPORT; USE REPORT;
WITH SEQUENTIAL_IO;
PROCEDURE CE2201G IS
BEGIN
TEST ("CE2201G", "CHECK THAT READ, WRITE, AND END_OF_FILE " &
"ARE SUPPORTED FOR SEQUENTIAL FILES WITH " &
"UNCONSTRAINED VARIANT RECORD TYPES WITH " &
"DEFAULT DISCRIMINANTS.");
DECLARE
TYPE VAR_REC (DISCR : BOOLEAN := TRUE) IS
RECORD
CASE DISCR IS
WHEN TRUE =>
A : INTEGER;
WHEN FALSE =>
B : STRING (1..20);
END CASE;
END RECORD;
PACKAGE SEQ_VAR_REC IS NEW SEQUENTIAL_IO (VAR_REC);
USE SEQ_VAR_REC;
FILE_VAR_REC : FILE_TYPE;
INCOMPLETE : EXCEPTION;
ITEM_TRUE : VAR_REC(TRUE); ITEM : VAR_REC;
BEGIN
BEGIN
CREATE (FILE_VAR_REC, OUT_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR | NAME_ERROR =>
NOT_APPLICABLE ("CREATE OF SEQUENTIAL FILE WITH " &
"MODE OUT_FILE NOT SUPPORTED");
RAISE INCOMPLETE;
END;
WRITE (FILE_VAR_REC, (TRUE, -5));
WRITE (FILE_VAR_REC, (FALSE, (1..20 => 'B')));
CLOSE (FILE_VAR_REC);
BEGIN
OPEN (FILE_VAR_REC, IN_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("OPEN OF SEQUENTIAL FILE WITH " &
"MODE IN_FILE NOT SUPPORTED");
RAISE INCOMPLETE;
END;
IF END_OF_FILE (FILE_VAR_REC) THEN
FAILED ("WRONG END_OF_FILE VALUE FOR RECORD" &
"WITH DISCRIMINANT");
END IF;
BEGIN
READ (FILE_VAR_REC, ITEM_TRUE);
IF ITEM_TRUE /= (TRUE, IDENT_INT(-5)) THEN
FAILED ("READ WRONG VALUE - 1");
END IF;
IF END_OF_FILE (FILE_VAR_REC) THEN
FAILED ("PREMATURE END OF FILE");
END IF;
READ (FILE_VAR_REC, ITEM);
IF ITEM /= (FALSE, (1..IDENT_INT(20) => 'B')) THEN
FAILED ("READ WRONG VALUE - 2");
END IF;
IF NOT END_OF_FILE(FILE_VAR_REC) THEN
FAILED ("NOT AT END OF FILE");
END IF;
END;
BEGIN
DELETE (FILE_VAR_REC);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
EXCEPTION
WHEN INCOMPLETE =>
NULL;
END;
RESULT;
END CE2201G;