WITH REPORT; USE REPORT;
WITH SYSTEM;
PROCEDURE CD4051D IS
TYPE INT IS RANGE -3 .. 3;
TYPE LARGE_INT IS RANGE -7 .. 7;
TYPE BASIC_CLAUSE (DISC : BOOLEAN) IS RECORD
BOOL_COMP : BOOLEAN;
CASE DISC IS
WHEN FALSE =>
INT_COMP : LARGE_INT;
WHEN TRUE =>
CH_COMP_1 : INT;
CH_COMP_2 : INT;
END CASE;
END RECORD;
TYPE CHECK_CLAUSE IS NEW BASIC_CLAUSE (TRUE);
FOR CHECK_CLAUSE USE
RECORD
DISC AT 0
RANGE 0 .. 0;
BOOL_COMP AT 0
RANGE 1 .. 1;
INT_COMP AT 0
RANGE 2 .. 5;
CH_COMP_1 AT 0
RANGE 2 .. 4;
CH_COMP_2 AT 0
RANGE 5 .. 7;
END RECORD;
CHECK_RECORD : CHECK_CLAUSE := (TRUE, TRUE, -2, -2);
BEGIN
TEST ("CD4051D", "CHECK THAT A RECORD REPRESENTATION " &
"CLAUSE CAN BE GIVEN FOR A DERIVED TYPE " &
"WHOSE PARENT TYPE IS A RECORD TYPE " &
"WITH VARIANTS AND WHERE THE RECORD " &
"REPRESENTATION CLAUSE MENTIONS COMPONENTS " &
"THAT DO NOT EXIST IN THE DERIVED SUBTYPE");
IF CHECK_RECORD.DISC'FIRST_BIT /= IDENT_INT (0) THEN
FAILED ("INCORRECT VALUE FOR FIRST_BIT OF DISC");
END IF;
IF CHECK_RECORD.DISC'LAST_BIT /= IDENT_INT (0) 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.BOOL_COMP'FIRST_BIT /= IDENT_INT (1) THEN
FAILED ("INCORRECT VALUE FOR FIRST_BIT OF BOOL_COMP");
END IF;
IF CHECK_RECORD.BOOL_COMP'LAST_BIT /= IDENT_INT (1) THEN
FAILED ("INCORRECT VALUE FOR LAST_BIT OF BOOL_COMP");
END IF;
IF CHECK_RECORD.BOOL_COMP'POSITION /= IDENT_INT (0) THEN
FAILED ("INCORRECT VALUE FOR POSITION OF BOOL_COMP");
END IF;
IF CHECK_RECORD.CH_COMP_1'FIRST_BIT /= IDENT_INT (2) THEN
FAILED ("INCORRECT VALUE FOR FIRST_BIT OF CH_COMP_1");
END IF;
IF CHECK_RECORD.CH_COMP_1'LAST_BIT /= IDENT_INT (4) THEN
FAILED ("INCORRECT VALUE FOR LAST_BIT OF CH_COMP_1");
END IF;
IF CHECK_RECORD.CH_COMP_1'POSITION /= IDENT_INT (0) THEN
FAILED ("INCORRECT VALUE FOR POSITION OF CH_COMP_1");
END IF;
IF CHECK_RECORD.CH_COMP_2'FIRST_BIT /= IDENT_INT (5) THEN
FAILED ("INCORRECT VALUE FOR FIRST_BIT OF CH_COMP_2");
END IF;
IF CHECK_RECORD.CH_COMP_2'LAST_BIT /= IDENT_INT (7) THEN
FAILED ("INCORRECT VALUE FOR LAST_BIT OF CH_COMP_2");
END IF;
IF CHECK_RECORD.CH_COMP_2'POSITION /= IDENT_INT (0) THEN
FAILED ("INCORRECT VALUE FOR POSITION OF CH_COMP_2");
END IF;
RESULT;
END CD4051D;