WITH REPORT; USE REPORT;
PROCEDURE C95086B IS
BEGIN
TEST ( "C95086B", "CHECK THAT CONSTRAINT_ERROR IS NOT RAISED " &
"BEFORE AN ENTRY 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;
TASK T1 IS
ENTRY P (X : SA);
END T1;
TASK BODY T1 IS
BEGIN
ACCEPT P (X : SA);
EXCEPTION
WHEN OTHERS =>
FAILED ( "EXCEPTION RAISED IN TASK - (A)" );
END T1;
BEGIN
T1.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;
TASK T1 IS
ENTRY P (X : IN OUT SA);
END T1;
TASK BODY T1 IS
BEGIN
ACCEPT P (X : IN OUT SA) DO
NULL;
END P;
EXCEPTION
WHEN OTHERS =>
FAILED ( "EXCEPTION RAISED IN TASK - (B)" );
END T1;
BEGIN
T1.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;
TASK T1 IS
ENTRY P (X : SA);
END T1;
TASK BODY T1 IS
BEGIN
ACCEPT P (X : SA) DO
NULL;
END P;
EXCEPTION
WHEN OTHERS =>
FAILED ( "EXCEPTION RAISED IN TASK - (C)" );
END T1;
BEGIN
T1.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;
TASK T1 IS
ENTRY P (X : IN OUT SA);
END T1;
TASK BODY T1 IS
BEGIN
ACCEPT P (X : IN OUT SA);
EXCEPTION
WHEN OTHERS =>
FAILED ( "EXCEPTION RAISED IN TASK - (D)" );
END T1;
BEGIN
T1.P (SA(V));
EXCEPTION
WHEN OTHERS =>
FAILED ( "EXCEPTION RAISED - (D)" );
END;
RESULT;
END C95086B;