with Impdef;
WITH REPORT; USE REPORT;
WITH SYSTEM; USE SYSTEM;
PROCEDURE C94002A IS
PACKAGE P IS
MY_EXCEPTION : EXCEPTION;
GLOBAL : INTEGER;
TASK TYPE T1 IS
ENTRY E (I : INTEGER);
END T1;
TYPE T2 IS LIMITED PRIVATE;
PROCEDURE CALL_ENTRY (A : T2; B : INTEGER);
PRIVATE
TASK TYPE T2 IS
ENTRY E (I : INTEGER);
END T2;
END P;
PACKAGE BODY P IS
TASK BODY T1 IS
LOCAL : INTEGER;
BEGIN
ACCEPT E (I : INTEGER) DO
LOCAL := I;
END E;
DELAY 30.0 * Impdef.One_Second; GLOBAL := LOCAL;
END T1;
TASK BODY T2 IS
LOCAL : INTEGER;
BEGIN
ACCEPT E (I : INTEGER) DO
LOCAL := I;
END E;
DELAY 30.0 * Impdef.One_Second;
GLOBAL := LOCAL;
END T2;
PROCEDURE CALL_ENTRY (A : T2; B : INTEGER) IS
BEGIN
A.E (B);
END CALL_ENTRY;
END P;
USE P;
BEGIN
TEST ("C94002A", "CHECK THAT A UNIT WITH DEPENDENT TASKS " &
"CREATED BY (LOCAL) ALLOCATORS DOES NOT " &
"TERMINATE UNTIL ALL DEPENDENT TASKS " &
"ARE TERMINATED");
GLOBAL := IDENT_INT (0);
BEGIN DECLARE
TYPE A_T IS ACCESS T1;
A : A_T;
BEGIN
IF EQUAL (3, 3) THEN
A := NEW T1;
A.ALL.E (IDENT_INT(1));
RAISE MY_EXCEPTION;
END IF;
END;
FAILED ("MY_EXCEPTION WAS NOT RAISED - 1");
EXCEPTION
WHEN MY_EXCEPTION =>
IF GLOBAL /= 1 THEN
FAILED ("DEPENDENT TASK NOT TERMINATED BEFORE " &
"BLOCK EXIT - 1");
END IF;
WHEN OTHERS =>
FAILED ("UNEXPECTED EXCEPTION RAISED - 1");
END;
GLOBAL := IDENT_INT (0);
DECLARE TYPE A_T IS ACCESS T2;
A : A_T;
BEGIN IF EQUAL (3, 3) THEN
A := NEW T2;
CALL_ENTRY (A.ALL, IDENT_INT(2));
END IF;
END;
IF GLOBAL /= 2 THEN
FAILED ("DEPENDENT TASK NOT TERMINATED BEFORE " &
"BLOCK EXIT - 2");
END IF;
GLOBAL := IDENT_INT (0);
DECLARE I : INTEGER;
FUNCTION F RETURN INTEGER IS
TYPE RT;
TYPE ART IS ACCESS RT;
TYPE RT IS
RECORD
A : ART;
T : T1;
END RECORD;
LIST : ART;
TEMP : ART;
BEGIN
FOR I IN 1 .. IDENT_INT (1) LOOP
TEMP := NEW RT;
TEMP.A := LIST;
LIST := TEMP;
LIST.T.E (IDENT_INT(3));
END LOOP;
RETURN 0;
END F;
BEGIN I := F;
IF GLOBAL /= 3 THEN
FAILED ("DEPENDENT TASK NOT TERMINATED BEFORE " &
"FUNCTION EXIT - 3");
END IF;
END;
GLOBAL := IDENT_INT (0);
DECLARE I : INTEGER;
FUNCTION F RETURN INTEGER IS
TYPE RT;
TYPE ART IS ACCESS RT;
TYPE RT IS
RECORD
A : ART;
T : T2;
END RECORD;
LIST : ART;
TEMP : ART;
BEGIN
FOR I IN 1 .. IDENT_INT (1) LOOP
TEMP := NEW RT;
TEMP.A := LIST;
LIST := TEMP;
CALL_ENTRY (LIST.T, IDENT_INT(4));
IF EQUAL (3, 3) THEN
RAISE MY_EXCEPTION;
END IF;
END LOOP;
RETURN 0;
END F;
BEGIN I := F;
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 RAISED - 4");
END;
GLOBAL := IDENT_INT (0);
DECLARE
LOOP_COUNT : INTEGER := 0;
CUT_OFF : CONSTANT := 5 * 60;
TASK TSK IS
ENTRY ENT;
END TSK;
TASK BODY TSK IS
TYPE ARR IS ARRAY (1..1) OF T1;
TYPE RAT;
TYPE ARAT IS ACCESS RAT;
TYPE RAT IS
RECORD
A : ARAT;
T : ARR;
END RECORD;
LIST : ARAT;
TEMP : ARAT;
BEGIN
FOR I IN 1 .. IDENT_INT (1) LOOP
TEMP := NEW RAT;
TEMP.A := LIST;
LIST := TEMP;
LIST.T(1).E (IDENT_INT(5));
IF EQUAL (3, 3) THEN
RAISE MY_EXCEPTION;
END IF;
END LOOP;
END TSK;
BEGIN
WHILE NOT TSK'TERMINATED AND LOOP_COUNT < CUT_OFF LOOP
DELAY 1.0 * Impdef.One_Second;
LOOP_COUNT := LOOP_COUNT + 1;
END LOOP;
IF LOOP_COUNT >= CUT_OFF THEN
FAILED ("DEPENDENT TASK NOT TERMINATED WITHIN FIVE " &
"MINUTES - 5");
END IF;
IF GLOBAL /= 5 THEN
FAILED ("DEPENDENT TASK NOT TERMINATED BEFORE " &
"TASK EXIT - 5");
END IF;
END;
GLOBAL := IDENT_INT (0);
DECLARE
LOOP_COUNT : INTEGER := 0;
CUT_OFF : CONSTANT := 5 * 60;
TASK TSK IS
ENTRY ENT;
END TSK;
TASK BODY TSK IS
TYPE ARR IS ARRAY (1..1) OF T2;
TYPE RAT;
TYPE ARAT IS ACCESS RAT;
TYPE RAT IS
RECORD
A : ARAT;
T : ARR;
END RECORD;
LIST : ARAT;
TEMP : ARAT;
BEGIN
FOR I IN 1 .. IDENT_INT (1) LOOP
TEMP := NEW RAT;
TEMP.A := LIST;
LIST := TEMP;
CALL_ENTRY (LIST.T(1), IDENT_INT(6));
END LOOP;
END TSK;
BEGIN
WHILE NOT TSK'TERMINATED AND LOOP_COUNT < CUT_OFF LOOP
DELAY 1.0 * Impdef.One_Second;
LOOP_COUNT := LOOP_COUNT + 1;
END LOOP;
IF LOOP_COUNT >= CUT_OFF THEN
FAILED ("DEPENDENT TASK NOT TERMINATED WITHIN FIVE " &
"MINUTES - 6");
END IF;
IF GLOBAL /= 6 THEN
FAILED ("DEPENDENT TASK NOT TERMINATED BEFORE " &
"TASK EXIT - 6");
END IF;
END;
RESULT;
END C94002A;