WITH REPORT;
USE REPORT;
PROCEDURE C37008B IS
BEGIN
TEST ("C37008B", "CHECK THAT INVALID DEFAULT RECORD"
& " COMPONENT INITIALIZATIONS DO NOT RAISE"
& " CONSTRAINT_ERROR");
BEGIN
DECLARE
TYPE R1 IS RECORD
C1 : INTEGER RANGE 1 .. 5 := 0;
END RECORD;
BEGIN
NULL;
END;
EXCEPTION
WHEN OTHERS => FAILED ("EXCEPTION RAISED 1");
END;
BEGIN
DECLARE
TYPE R IS RECORD
C : CHARACTER RANGE 'A' .. 'Y' := 'Z';
END RECORD;
BEGIN
NULL;
END;
EXCEPTION
WHEN OTHERS => FAILED ("EXCEPTION RAISED 1A");
END;
BEGIN
DECLARE
TYPE R2 IS RECORD
C2 : BOOLEAN RANGE FALSE .. FALSE := TRUE;
END RECORD;
BEGIN
NULL;
END;
EXCEPTION
WHEN OTHERS => FAILED ("EXCEPTION RAISED 2");
END;
BEGIN
DECLARE
TYPE E IS (E1, E2, E3);
TYPE R IS RECORD
C : E RANGE E2 .. E3 := E1;
END RECORD;
BEGIN
NULL;
END;
EXCEPTION
WHEN OTHERS => FAILED ("EXCEPTION RAISED 2A");
END;
BEGIN
DECLARE
TYPE R3 IS RECORD
C3 : INTEGER RANGE 1 .. 5;
END RECORD;
TYPE R3A IS RECORD
C3A : R3 := (OTHERS => 6);
END RECORD;
BEGIN
NULL;
END;
EXCEPTION
WHEN OTHERS => FAILED ("EXCEPTION RAISED 3");
END;
BEGIN
DECLARE
TYPE ARR IS ARRAY (1..3) OF INTEGER RANGE 8..9;
TYPE R4 IS RECORD
C4 : ARR
:= (1 => 8, 2 => 9, 3 => 10);
END RECORD;
BEGIN
NULL;
END;
EXCEPTION
WHEN OTHERS => FAILED ("EXCEPTION RAISED 4");
END;
BEGIN
DECLARE
TYPE A IS ARRAY (NATURAL RANGE <> )
OF INTEGER RANGE 1 .. 5;
TYPE AA IS ACCESS A;
TYPE R5 IS RECORD
C5 : AA := NEW A'(4, 5, 6);
END RECORD;
BEGIN
NULL;
END;
EXCEPTION
WHEN OTHERS => FAILED ("EXCEPTION RAISED 5");
END;
BEGIN
DECLARE
TYPE A IS ARRAY (NATURAL RANGE <> )
OF INTEGER RANGE 1 .. 5;
TYPE AA IS ACCESS A (1 .. 3);
TYPE R6 IS RECORD
C6 : AA := NEW A'(4, 4, 4, 4);
END RECORD;
BEGIN
NULL;
END;
EXCEPTION
WHEN OTHERS => FAILED ("EXCEPTION RAISED 6");
END;
BEGIN
DECLARE
TYPE AI IS ACCESS INTEGER RANGE 6 .. 8;
TYPE R7 IS RECORD
C7 : AI := NEW INTEGER'(5);
END RECORD;
BEGIN
NULL;
END;
EXCEPTION
WHEN OTHERS => FAILED ("EXCEPTION RAISED 7");
END;
BEGIN
DECLARE
TYPE UA IS ARRAY (NATURAL RANGE <> )
OF INTEGER RANGE 3 .. 5;
SUBTYPE CA IS UA (7 .. 8);
TYPE R8 IS RECORD
C8 : CA := (6 .. 8 => 4);
END RECORD;
BEGIN
NULL;
END;
EXCEPTION
WHEN OTHERS => FAILED ("EXCEPTION RAISED 8");
END;
BEGIN
DECLARE
TYPE UA IS ARRAY (NATURAL RANGE <> )
OF INTEGER RANGE 3 .. IDENT_INT(5);
TYPE R9 IS RECORD
C9 : UA (11 .. 11) := (11 => 6);
END RECORD;
BEGIN
NULL;
END;
EXCEPTION
WHEN OTHERS => FAILED ("EXCEPTION RAISED 9");
END;
BEGIN
DECLARE
TYPE A IS ARRAY (NATURAL RANGE <> )
OF INTEGER RANGE 1 .. IDENT_INT (5);
TYPE AA IS ACCESS A;
TYPE R10 IS RECORD
C10 : AA := NEW A'(4, 5, 6);
END RECORD;
BEGIN
NULL;
END;
EXCEPTION
WHEN OTHERS => FAILED ("EXCEPTION RAISED 10");
END;
BEGIN
DECLARE
TYPE A IS ARRAY (NATURAL RANGE <> )
OF INTEGER RANGE 1 .. 5;
TYPE AA IS ACCESS A (IDENT_INT (1) .. IDENT_INT (3));
TYPE R11 IS RECORD
C11 : AA := NEW A'(4, 4, 4, 4);
END RECORD;
BEGIN
NULL;
END;
EXCEPTION
WHEN OTHERS => FAILED ("EXCEPTION RAISED 11");
END;
RESULT;
END C37008B;