WITH REPORT; USE REPORT;
PROCEDURE C43204E IS
TYPE ARR11 IS ARRAY (INTEGER RANGE -3 .. 3) OF INTEGER;
TYPE ARR12 IS ARRAY (IDENT_INT(-3) .. IDENT_INT(3)) OF INTEGER;
TYPE ARR13 IS ARRAY (IDENT_INT(1) .. IDENT_INT(-1)) OF INTEGER;
TYPE ARR21 IS ARRAY (INTEGER RANGE -1 .. 1,
INTEGER RANGE -1 .. 1) OF INTEGER;
TYPE ARR22 IS ARRAY (IDENT_INT(-1) .. IDENT_INT(1),
IDENT_INT(-1) .. IDENT_INT(1)) OF INTEGER;
TYPE ARR23 IS ARRAY (INTEGER RANGE -1 .. 1,
IDENT_INT(-1) .. IDENT_INT(1)) OF INTEGER;
TYPE ARR24 IS ARRAY (IDENT_INT(1) .. IDENT_INT(-1),
IDENT_INT(-1) .. IDENT_INT(1)) OF INTEGER;
CA11 : CONSTANT ARR11 := (1, OTHERS => IDENT_INT(2));
CA12 : CONSTANT ARR12 := (OTHERS => IDENT_INT(2));
CA13 : CONSTANT ARR13 := (OTHERS => IDENT_INT(2));
CA21 : CONSTANT ARR21 := (OTHERS => (-1..1 => IDENT_INT(2)));
CA22 : CONSTANT ARR22 := (OTHERS => (-1..1 => IDENT_INT(2)));
CA23 : CONSTANT ARR23 := (-1..1 => (OTHERS => IDENT_INT(2)));
CA24 : CONSTANT ARR24 := (OTHERS => (OTHERS => IDENT_INT(2)));
VA11 : ARR11 := (1,1, OTHERS => IDENT_INT(2));
VA12 : ARR12 := (OTHERS => IDENT_INT(2));
VA13 : ARR13 := (OTHERS => IDENT_INT(2));
VA21 : ARR21 := ((1,1,1), OTHERS => (-1..1 => IDENT_INT(2)));
VA22 : ARR22 := (-1 => (1,1,1), 0..1 => (OTHERS => IDENT_INT(2)));
VA23 : ARR23 := (OTHERS => (OTHERS => IDENT_INT(2)));
VA24 : ARR24 := (OTHERS => (OTHERS => IDENT_INT(2)));
TYPE REC IS RECORD
RA11 : ARR11 := (1,1,1, OTHERS => IDENT_INT(2));
RA12 : ARR12 := (OTHERS => IDENT_INT(2));
RA13 : ARR13 := (OTHERS => IDENT_INT(2));
RA21 : ARR21 := ((1,1,1), (1,1,1), OTHERS => (IDENT_INT(2),
IDENT_INT(2), IDENT_INT(2)));
RA22 : ARR22 := (OTHERS => (OTHERS => IDENT_INT(2)));
RA23 : ARR23 := (-1 => (OTHERS => 1),
0..1 => (OTHERS => IDENT_INT(2)));
RA24 : ARR24 := (OTHERS => (OTHERS => IDENT_INT(2)));
END RECORD;
R : REC;
BEGIN
TEST ("C43204E", "CHECK THAT AN ARRAY AGGREGATE WITH AN OTHERS " &
"CHOICE CAN APPEAR AS THE INITIALIZATION " &
"EXPRESSION OF A CONSTRAINED CONSTANT, " &
"VARIABLE OBJECT DECLARATION, OR RECORD " &
"COMPONENT DECLARATION, AND THAT THE BOUNDS OF " &
"THE AGGREGATE ARE DETERMINED CORRECTLY");
IF CA11 /= (1, 2, 2, 2, 2, 2, 2) THEN
FAILED("INCORRECT VALUE OF CA11");
END IF;
IF CA12 /= (2, 2, 2, 2, 2, 2, 2) THEN
FAILED("INCORRECT VALUE OF CA12");
END IF;
IF CA13'LENGTH /= 0 THEN
FAILED("INCORRECT VALUE OF CA13");
END IF;
IF CA21 /= ((2,2,2), (2,2,2), (2,2,2)) THEN
FAILED("INCORRECT VALUE OF CA21");
END IF;
IF CA22 /= ((2,2,2), (2,2,2), (2,2,2)) THEN
FAILED("INCORRECT VALUE OF CA22");
END IF;
IF CA23 /= ((2,2,2), (2,2,2), (2,2,2)) THEN
FAILED("INCORRECT VALUE OF CA23");
END IF;
IF CA24'LENGTH /= 0 OR CA24'LENGTH(2) /= 3 THEN
FAILED("INCORRECT VALUE OF CA24");
END IF;
IF VA11 /= (1, 1, 2, 2, 2, 2, 2) THEN
FAILED("INCORRECT VALUE OF VA11");
END IF;
IF VA12 /= (2, 2, 2, 2, 2, 2, 2) THEN
FAILED("INCORRECT VALUE OF VA12");
END IF;
IF VA13'LENGTH /= 0 THEN
FAILED("INCORRECT VALUE OF VA13");
END IF;
IF VA21 /= ((1,1,1), (2,2,2), (2,2,2)) THEN
FAILED("INCORRECT VALUE OF VA21");
END IF;
IF VA22 /= ((1,1,1), (2,2,2), (2,2,2)) THEN
FAILED("INCORRECT VALUE OF VA22");
END IF;
IF VA23 /= ((2,2,2), (2,2,2), (2,2,2)) THEN
FAILED("INCORRECT VALUE OF VA23");
END IF;
IF VA24'LENGTH /= 0 OR VA24'LENGTH(2) /= 3 THEN
FAILED("INCORRECT VALUE OF VA24");
END IF;
IF R.RA11 /= (1, 1, 1, 2, 2, 2, 2) THEN
FAILED("INCORRECT VALUE OF RA11");
END IF;
IF R.RA12 /= (2, 2, 2, 2, 2, 2, 2) THEN
FAILED("INCORRECT VALUE OF RA12");
END IF;
IF R.RA13'LENGTH /= 0 THEN
FAILED("INCORRECT VALUE OF RA13");
END IF;
IF R.RA21 /= ((1,1,1), (1,1,1), (2,2,2)) THEN
FAILED("INCORRECT VALUE OF RA21");
END IF;
IF R.RA22 /= ((2,2,2), (2,2,2), (2,2,2)) THEN
FAILED("INCORRECT VALUE OF RA22");
END IF;
IF R.RA23 /= ((1,1,1), (2,2,2), (2,2,2)) THEN
FAILED("INCORRECT VALUE OF RA23");
END IF;
IF R.RA24'LENGTH /= 0 OR R.RA24'LENGTH(2) /= 3 THEN
FAILED("INCORRECT VALUE OF RA24");
END IF;
RESULT;
EXCEPTION
WHEN OTHERS =>
FAILED ("UNEXPECTED CONSTRAINT_ERROR OR OTHER EXCEPTION " &
"RAISED");
RESULT;
END C43204E;