WITH REPORT; USE REPORT;
WITH SYSTEM;
PROCEDURE CD4051C IS
UNITS_PER_INTEGER : CONSTANT :=
(INTEGER'SIZE + SYSTEM.STORAGE_UNIT - 1) /
SYSTEM.STORAGE_UNIT;
TYPE BASIC_CLAUSE (DISC : BOOLEAN) IS RECORD
INT_COMP : INTEGER;
CHAR_COMP : CHARACTER;
END RECORD;
TYPE CHECK_CLAUSE IS NEW BASIC_CLAUSE;
FOR CHECK_CLAUSE USE
RECORD
DISC AT 0
RANGE 0..BOOLEAN'SIZE - 1;
INT_COMP AT 1*UNITS_PER_INTEGER
RANGE 0..INTEGER'SIZE - 1;
CHAR_COMP AT 2*UNITS_PER_INTEGER
RANGE 0..CHARACTER'SIZE - 1;
END RECORD;
CHECK_RECORD : CHECK_CLAUSE (TRUE) := (TRUE, 1, 'A');
BEGIN
TEST ("CD4051C", "CHECK THAT A RECORD REPRESENTATION " &
"CLAUSE CAN BE GIVEN FOR A DERIVED TYPE " &
"WHOSE PARENT TYPE IS IS A RECORD TYPE " &
"WITH DISCRIMINANTS");
IF CHECK_RECORD.DISC'FIRST_BIT /= 0 THEN
FAILED ("INCORRECT VALUE FOR FIRST_BIT OF DISC");
END IF;
IF CHECK_RECORD.DISC'LAST_BIT /= BOOLEAN'SIZE - 1 THEN
FAILED ("INCORRECT VALUE FOR LAST_BIT OF DISC");
END IF;
IF CHECK_RECORD.DISC'POSITION /= IDENT_INT (0) THEN
FAILED ("INCORRECT VALUE FOR POSITION OF DISC");
END IF;
IF CHECK_RECORD.INT_COMP'FIRST_BIT /= 0 THEN
FAILED ("INCORRECT VALUE FOR FIRST_BIT OF INT_COMP");
END IF;
IF CHECK_RECORD.INT_COMP'LAST_BIT /=
IDENT_INT (INTEGER'SIZE - 1) THEN
FAILED ("INCORRECT VALUE FOR LAST_BIT OF INT_COMP");
END IF;
IF CHECK_RECORD.INT_COMP'POSITION /=
IDENT_INT (UNITS_PER_INTEGER) THEN
FAILED ("INCORRECT VALUE FOR POSITION OF INT_COMP");
END IF;
IF CHECK_RECORD.CHAR_COMP'FIRST_BIT /= IDENT_INT (0) THEN
FAILED ("INCORRECT VALUE FOR FIRST_BIT OF CHAR_COMP");
END IF;
IF CHECK_RECORD.CHAR_COMP'LAST_BIT /=
IDENT_INT (CHARACTER'SIZE - 1) THEN
FAILED ("INCORRECT VALUE FOR LAST_BIT OF CHAR_COMP");
END IF;
IF CHECK_RECORD.CHAR_COMP'POSITION /=
IDENT_INT (2 * UNITS_PER_INTEGER) THEN
FAILED ("INCORRECT VALUE FOR POSITION OF CHAR_COMP");
END IF;
RESULT;
END CD4051C;