WITH REPORT; USE REPORT;
PROCEDURE CD3014A IS
BEGIN
TEST ("CD3014A", "CHECK THAT AN ENUMERATION TYPE WITH A " &
"REPRESENTATION CLAUSE CAN BE USED CORRECTLY " &
"IN ORDERING RELATIONS, INDEXING ARRAYS, AND " &
"IN GENERIC INSTANTIATIONS");
DECLARE
PACKAGE PACK IS
TYPE HUE IS (RED,BLUE,YELLOW,'R','B','Y');
FOR HUE USE (RED => 8, BLUE => 9,
YELLOW => 10, 'R' => 11,
'B' => 12, 'Y' => 13);
TYPE BASE IS ARRAY(HUE) OF INTEGER;
COLOR,BASIC : HUE;
BARRAY : BASE;
TYPE HUE1 IS ('Y','B','R',YELLOW,BLUE,RED);
FOR HUE1 USE ('Y' => 10, 'B' => 14, 'R' => 16,
YELLOW => 19, BLUE => 41, RED => 46);
TYPE BASE1 IS ARRAY(HUE1) OF INTEGER;
COLOR1,BASIC1 : HUE1;
BARRAY1 : BASE1;
GENERIC
TYPE ENUM IS (<>);
PROCEDURE CHANGE(X,Y : IN OUT ENUM);
END PACK;
PACKAGE BODY PACK IS
PROCEDURE CHANGE(X,Y : IN OUT ENUM) IS
T : ENUM;
BEGIN
T := X;
X := Y;
Y := T;
END CHANGE;
PROCEDURE PROC IS NEW CHANGE(HUE);
PROCEDURE PROC1 IS NEW CHANGE(HUE1);
BEGIN
BASIC := RED;
COLOR := HUE'SUCC(BASIC);
BASIC1 := RED;
COLOR1 := HUE1'PRED(BASIC1);
IF (COLOR < BASIC OR BASIC >= 'R' OR 'Y' <= COLOR OR
COLOR > 'B') OR
NOT (COLOR1 < BASIC1 AND BASIC1 >= 'R' AND
'Y' <= COLOR1 AND COLOR1 > 'B') THEN
FAILED("ORDERING RELATIONS ARE INCORRECT");
END IF;
PROC(BASIC,COLOR);
PROC1(BASIC1,COLOR1);
IF COLOR /= RED OR COLOR1 /= RED THEN
FAILED("VALUES OF PARAMETERS TO INSTANCE OF " &
"GENERIC UNIT NOT CORRECT AFTER CALL");
END IF;
BARRAY := (IDENT_INT(1),IDENT_INT(2),IDENT_INT(3),
IDENT_INT(4),IDENT_INT(5),IDENT_INT(6));
BARRAY1 := (IDENT_INT(1),IDENT_INT(2),IDENT_INT(3),
IDENT_INT(4),IDENT_INT(5),IDENT_INT(6));
IF (BARRAY (RED) /= 1 OR BARRAY (BLUE) /= 2 OR
BARRAY (YELLOW) /= 3 OR BARRAY ('R') /= 4 OR
BARRAY ('B') /= 5 OR BARRAY ('Y') /= 6) OR
NOT (BARRAY1 (RED) = 6 AND BARRAY1 (BLUE) = 5 AND
BARRAY1 (YELLOW) = 4 AND BARRAY1 ('R') = 3 AND
BARRAY1 ('B') = 2 AND BARRAY1 ('Y') = 1)
THEN
FAILED("INDEXING ARRAY FAILURE");
END IF;
END PACK;
BEGIN
NULL;
END;
RESULT;
END CD3014A;