WITH REPORT;
PROCEDURE C43206A IS
USE REPORT;
BEGIN
TEST("C43206A", "CHECK THAT THE BOUNDS OF A NULL ARRAY ARE " &
"DETERMINED BY THE BOUNDS SPECIFIED BY THE " &
"CHOICES");
DECLARE
SUBTYPE ST1 IS INTEGER RANGE 10 .. 15;
SUBTYPE ST2 IS INTEGER RANGE 1 .. 5;
TYPE T1 IS ARRAY (ST1 RANGE <>) OF INTEGER;
TYPE T2 IS ARRAY (ST2 RANGE <>, ST1 RANGE <>) OF INTEGER;
BEGIN
CASE_A : BEGIN
CASE_A1 : DECLARE
PROCEDURE PROC1 (A : T1) IS
BEGIN
IF A'FIRST /= 12 OR A'LAST /= 10 THEN
FAILED ("CASE A1 : INCORRECT BOUNDS");
END IF;
END PROC1;
BEGIN
PROC1((12 .. 10 => -2));
EXCEPTION
WHEN OTHERS =>
FAILED ("CASE A1 : EXCEPTION RAISED");
END CASE_A1;
CASE_A2 : DECLARE
PROCEDURE PROC1 (A : STRING) IS
BEGIN
IF A'FIRST /= 5 OR A'LAST /= 2 THEN
FAILED ("CASE A2 : INCORRECT BOUNDS");
END IF;
END PROC1;
BEGIN
PROC1 ((5 .. 2 => 'E'));
EXCEPTION
WHEN OTHERS =>
FAILED ("CASE A2 : EXCEPTION RAISED");
END CASE_A2;
END CASE_A;
CASE_B : BEGIN
CASE_B1 : DECLARE
PROCEDURE PROC1 (A : T1; L, U : INTEGER) IS
BEGIN
IF A'FIRST /= L OR A'LAST /= U THEN
FAILED ("CASE B1 : INCORRECT BOUNDS");
END IF;
END PROC1;
BEGIN
BEGIN
PROC1 ((5 .. INTEGER'FIRST => -2),
5, INTEGER'FIRST);
EXCEPTION
WHEN CONSTRAINT_ERROR =>
FAILED ("CASE B1A : CONSTRAINT_ERROR " &
"RAISED FOR NULL RANGE");
WHEN OTHERS =>
FAILED ("CASE B1A : EXCEPTION RAISED");
END;
BEGIN
PROC1 ((IDENT_INT(6) .. 3 => -2),6,3);
EXCEPTION
WHEN OTHERS =>
FAILED ("CASE B1B : EXCEPTION RAISED");
END;
END CASE_B1;
CASE_B2 : DECLARE
PROCEDURE PROC1 (A : STRING) IS
BEGIN
IF A'FIRST /= 1 OR
A'LAST /= INTEGER'FIRST THEN
FAILED ("CASE B2 : INCORRECT BOUNDS");
END IF;
END PROC1;
BEGIN
PROC1 ((1 .. INTEGER'FIRST => ' '));
EXCEPTION
WHEN OTHERS =>
FAILED ("CASE B2 : EXCEPTION RAISED");
END CASE_B2;
END CASE_B;
CASE_C : BEGIN
CASE_C1 : DECLARE
PROCEDURE PROC1 (A : T2) IS
BEGIN
IF A'FIRST(1) /= 5 OR A'LAST(1) /= 3 OR
A'FIRST(2) /= INTEGER'LAST-1 OR
A'LAST(2) /= INTEGER'LAST THEN
FAILED ("CASE C1 : INCORRECT BOUNDS");
END IF;
END PROC1;
BEGIN
PROC1 ((5 .. 3 =>
(IDENT_INT(INTEGER'LAST-1) ..
IDENT_INT(INTEGER'LAST) => -2)));
FAILED ("CASE C1 : CONSTRAINT_ERROR NOT RAISED");
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ("CASE C1 : EXCEPTION RAISED");
END CASE_C1;
CASE_C2 : DECLARE
PROCEDURE PROC1 (A : T2) IS
BEGIN
IF A'FIRST(1) /= INTEGER'FIRST OR
A'LAST(1) /= INTEGER'FIRST+1 OR
A'FIRST(2) /= 14 OR A'LAST(2) /= 11 THEN
FAILED ("CASE C2 : INCORRECT BOUNDS");
END IF;
END PROC1;
BEGIN
PROC1 ((IDENT_INT(INTEGER'FIRST) ..
IDENT_INT(INTEGER'FIRST+1) =>
(14 .. IDENT_INT(11) => -2)));
FAILED ("CASE C2 : CONSTRAINT_ERROR NOT RAISED");
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ("CASE C2 : EXCEPTION RAISED");
END CASE_C2;
END CASE_C;
END;
RESULT;
END C43206A;