WITH REPORT; USE REPORT;
WITH SYSTEM;
PROCEDURE CD4051B IS
UNITS_PER_INTEGER : CONSTANT :=
(INTEGER'SIZE + SYSTEM.STORAGE_UNIT - 1) /
SYSTEM.STORAGE_UNIT;
TYPE BASIC_CLAUSE IS RECORD
INT_COMP : INTEGER;
CHAR_COMP : CHARACTER;
END RECORD;
TYPE CHECK_CLAUSE IS NEW BASIC_CLAUSE;
FOR CHECK_CLAUSE USE
RECORD
INT_COMP AT 1*UNITS_PER_INTEGER
RANGE 0..INTEGER'SIZE - 1;
CHAR_COMP AT 0
RANGE 0..CHARACTER'SIZE - 1;
END RECORD;
CHECK_RECORD : CHECK_CLAUSE := (1, 'A');
BEGIN
TEST ("CD4051B", "CHECK THAT A RECORD REPRESENTATION " &
"CLAUSE WHICH CHANGES THE ORDER OF COMPONENT " &
"STORAGE CAN BE GIVEN FOR A DERIVED TYPE " &
"WHOSE PARENT TYPE IS IS A RECORD TYPE " &
"WITHOUT DISCRIMINANTS");
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 /= 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 (0) THEN
FAILED ("INCORRECT VALUE FOR POSITION OF CHAR_COMP");
END IF;
RESULT;
END CD4051B;