WITH REPORT;
PROCEDURE C64105B IS
USE REPORT;
BEGIN
TEST ("C64105B", "CHECK THAT CONSTRAINT_ERROR IS NOT RAISED " &
"BEFORE THE CALL, WHEN AN IN OR IN OUT ACTUAL ACCESS " &
"PARAMETER HAS VALUE NULL, BUT WITH CONSTRAINTS DIFFERENT " &
"FROM THE FORMAL PARAMETER" );
DECLARE
TYPE E IS (E1, E2, E3, E4);
TYPE T IS ARRAY (E RANGE <>) OF INTEGER;
TYPE A IS ACCESS T;
SUBTYPE SA IS A(E2..E4);
V : A (E1..E2) := NULL;
PROCEDURE P (X : SA ) IS
BEGIN
NULL;
EXCEPTION
WHEN OTHERS =>
FAILED ("EXCEPTION RAISED IN PROCEDURE - (A)");
END P;
BEGIN
P (V);
EXCEPTION
WHEN OTHERS =>
FAILED ("EXCEPTION RAISED - (A)");
END;
DECLARE TYPE ARR IS ARRAY (CHARACTER RANGE <>) OF INTEGER;
TYPE T (B : BOOLEAN := FALSE; C : CHARACTER := 'A') IS
RECORD
I : INTEGER;
CASE B IS
WHEN FALSE =>
J : INTEGER;
WHEN TRUE =>
A : ARR ('A' .. C);
END CASE;
END RECORD;
TYPE A IS ACCESS T;
SUBTYPE SA IS A(TRUE, 'C');
V : A (IDENT_BOOL(FALSE), IDENT_CHAR('B')) := NULL;
PROCEDURE P (X : IN OUT SA ) IS
BEGIN
NULL;
EXCEPTION
WHEN OTHERS =>
FAILED ("EXCEPTION RAISED IN PROCEDURE - (B)");
END P;
BEGIN
P (V);
EXCEPTION
WHEN OTHERS =>
FAILED ("EXCEPTION RAISED - (B)");
END;
DECLARE
TYPE E IS (E1, E2, E3, E4);
TYPE T IS ARRAY (E RANGE <>) OF INTEGER;
TYPE A IS ACCESS T;
SUBTYPE SA IS A(E2..E4);
V : A (E1..E2) := NULL;
PROCEDURE P (X : SA ) IS
BEGIN
NULL;
EXCEPTION
WHEN OTHERS =>
FAILED ("EXCEPTION RAISED IN PROCEDURE - (C)");
END P;
BEGIN
P (SA(V));
EXCEPTION
WHEN OTHERS =>
FAILED ("EXCEPTION RAISED - (C)");
END;
DECLARE TYPE ARR IS ARRAY (CHARACTER RANGE <>) OF INTEGER;
TYPE T (B : BOOLEAN := FALSE; C : CHARACTER := 'A') IS
RECORD
I : INTEGER;
CASE B IS
WHEN FALSE =>
J : INTEGER;
WHEN TRUE =>
A : ARR ('A' .. C);
END CASE;
END RECORD;
TYPE A IS ACCESS T;
SUBTYPE SA IS A(TRUE, 'C');
V : A (IDENT_BOOL(FALSE), IDENT_CHAR('B')) := NULL;
PROCEDURE P (X : IN OUT SA ) IS
BEGIN
NULL;
EXCEPTION
WHEN OTHERS =>
FAILED ("EXCEPTION RAISED IN PROCEDURE - (D)");
END P;
BEGIN
P (SA(V));
EXCEPTION
WHEN OTHERS =>
FAILED ("EXCEPTION RAISED - (D)");
END;
RESULT;
END C64105B;