with Impdef;
WITH REPORT; USE REPORT;
WITH SYSTEM; USE SYSTEM;
PROCEDURE C94001C IS
MY_EXCEPTION : EXCEPTION;
GLOBAL : INTEGER;
TASK TYPE TT IS
ENTRY E (I : INTEGER);
END TT;
TASK BODY TT IS
LOCAL : INTEGER;
BEGIN
ACCEPT E (I : INTEGER) DO
LOCAL := I;
END E;
DELAY 30.0 * Impdef.One_Second; GLOBAL := LOCAL;
END TT;
BEGIN
TEST ("C94001C", "CHECK THAT A UNIT WITH INDIRECT DEPENDENT " &
"TASKS CREATED BY OBJECT DECLARATIONS IS NOT " &
"TERMINATED UNTIL ALL INDIRECT DEPENDENT TASKS " &
"BECOME TERMINATED");
GLOBAL := IDENT_INT (0);
BEGIN
DECLARE
T : TT;
BEGIN
T.E (IDENT_INT(1));
END;
END;
IF GLOBAL /= 1 THEN
FAILED ("DEPENDENT TASK NOT TERMINATED BEFORE " &
"BLOCK EXIT - 1");
END IF;
BEGIN GLOBAL := IDENT_INT (0);
BEGIN
DECLARE
T : TT;
BEGIN
T.E (IDENT_INT(2));
RAISE MY_EXCEPTION;
END;
END;
FAILED ("MY_EXCEPTION WAS NOT RAISED - 2");
EXCEPTION
WHEN MY_EXCEPTION =>
IF GLOBAL /= 2 THEN
FAILED ("DEPENDENT TASK NOT TERMINATED BEFORE " &
"BLOCK EXIT - 2");
END IF;
WHEN OTHERS =>
FAILED ("UNEXPECTED EXCEPTION - 2");
END;
GLOBAL := IDENT_INT (0);
DECLARE
OBJ_INT : INTEGER;
FUNCTION F1 RETURN INTEGER IS
I : INTEGER;
FUNCTION F2 RETURN INTEGER IS
A : ARRAY (1..1) OF TT;
BEGIN
A(1).E (IDENT_INT(3));
RETURN 0;
END F2;
BEGIN
I := F2;
RETURN (0);
END F1;
BEGIN OBJ_INT := F1;
IF GLOBAL /= 3 THEN
FAILED ("DEPENDENT TASK NOT TERMINATED BEFORE " &
"FUNCTION EXIT - 3");
END IF;
END;
DECLARE
OBJ_INT : INTEGER;
FUNCTION F1 RETURN INTEGER IS
I : INTEGER;
FUNCTION F2 RETURN INTEGER IS
A : ARRAY (1..1) OF TT;
BEGIN
A(1).E (IDENT_INT(4));
IF EQUAL (3, 3) THEN
RAISE MY_EXCEPTION;
END IF;
RETURN 0;
END F2;
BEGIN
I := F2;
RETURN (0);
END F1;
BEGIN GLOBAL := IDENT_INT (0);
OBJ_INT := F1;
FAILED ("MY_EXCEPTION WAS NOT RAISED - 4");
EXCEPTION
WHEN MY_EXCEPTION =>
IF GLOBAL /= 4 THEN
FAILED ("DEPENDENT TASK NOT TERMINATED BEFORE " &
"FUNCTION EXIT - 4");
END IF;
WHEN OTHERS =>
FAILED ("UNEXPECTED EXCEPTION - 4");
END;
GLOBAL := IDENT_INT (0);
DECLARE DELAY_COUNT : INTEGER := 0;
TASK OUT_TSK;
TASK BODY OUT_TSK IS
TASK TSK IS
ENTRY ENT;
END TSK;
TASK BODY TSK IS
TYPE RT IS
RECORD
T : TT;
END RECORD;
AR : ARRAY (1..1) OF RT;
BEGIN
AR(1).T.E (IDENT_INT(5));
END TSK;
BEGIN
NULL;
END OUT_TSK;
BEGIN WHILE NOT(OUT_TSK'TERMINATED) AND DELAY_COUNT < 60 LOOP
DELAY 1.0 * Impdef.One_Second;
DELAY_COUNT := DELAY_COUNT + 1;
END LOOP;
IF DELAY_COUNT = 60 THEN
FAILED ("OUT_TSK HAS NOT TERMINATED - 5");
ELSIF GLOBAL /= 5 THEN
FAILED ("DEPENDENT TASK NOT TERMINATED BEFORE " &
"BLOCK EXIT - 5");
END IF;
END;
GLOBAL := IDENT_INT (0);
DECLARE
DELAY_COUNT : INTEGER := 0;
TASK OUT_TSK;
TASK BODY OUT_TSK IS
TASK TSK IS
ENTRY ENT;
END TSK;
TASK BODY TSK IS
TYPE RT IS
RECORD
T : TT;
END RECORD;
AR : ARRAY (1..1) OF RT;
BEGIN
AR(1).T.E (IDENT_INT(6));
RAISE MY_EXCEPTION;
END TSK;
BEGIN
RAISE MY_EXCEPTION;
END OUT_TSK;
BEGIN
WHILE NOT(OUT_TSK'TERMINATED) AND DELAY_COUNT < 60 LOOP
DELAY 1.0 * Impdef.One_Second;
DELAY_COUNT := DELAY_COUNT + 1;
END LOOP;
IF DELAY_COUNT = 60 THEN
FAILED ("OUT_TSK HAS NOT TERMINATED - 6");
ELSIF GLOBAL /= 6 THEN
FAILED ("DEPENDENT TASK NOT TERMINATED BEFORE " &
"BLOCK EXIT - 6");
END IF;
END;
RESULT;
END C94001C;