with Impdef;
WITH REPORT; USE REPORT;
WITH SYSTEM; USE SYSTEM;
PROCEDURE C94002B IS
TASK TYPE TT IS
ENTRY E;
END TT;
TASK BODY TT IS
BEGIN
ACCEPT E;
ACCEPT E;
END TT;
BEGIN
TEST ("C94002B", "CHECK THAT A MASTER UNIT, WHICH ALLOCATES " &
"TASKS OF A GLOBAL ACCESS TYPE MAY TERMINATE " &
"WITHOUT WAITING FOR THE ALLOCATED TASKS TO " &
"TERMINATE");
DECLARE
TYPE A_T IS ACCESS TT;
A1 : A_T;
BEGIN
DECLARE
A2 : A_T;
BEGIN
A2 := NEW TT;
A2.ALL.E;
A1 := A2;
END;
IF A1.ALL'TERMINATED THEN
FAILED ("ALLOCATED TASK PREMATURELY TERMINATED - (A)");
END IF;
A1.ALL.E;
END;
DECLARE
I : INTEGER;
FUNCTION F RETURN INTEGER IS
TYPE RT IS
RECORD
T : TT;
END RECORD;
TYPE ART IS ACCESS RT;
AR1 : ART;
PROCEDURE P (AR : OUT ART) IS
AR2 : ART;
BEGIN
AR2 := NEW RT;
AR2.T.E;
AR := AR2;
END P;
BEGIN
P (AR1);
IF AR1.T'TERMINATED THEN
FAILED ("ALLOCATED TASK PREMATURELY TERMINATED " &
"- (B)");
END IF;
AR1.T.E;
RETURN 0;
END F;
BEGIN
I := F;
END;
DECLARE
LOOP_COUNT : INTEGER := 0;
CUT_OFF : CONSTANT := 60;
TASK TSK IS
ENTRY ENT;
END TSK;
TASK BODY TSK IS
LOOP_COUNT1 : INTEGER := 0;
CUT_OFF1 : CONSTANT := 60;
TYPE RAT;
TYPE ARAT IS ACCESS RAT;
TYPE ARR IS ARRAY (1..1) OF TT;
TYPE RAT IS
RECORD
A : ARAT;
T : ARR;
END RECORD;
ARA1 : ARAT;
TASK TSK1 IS
ENTRY ENT1 (ARA : OUT ARAT);
END TSK1;
TASK BODY TSK1 IS
ARA2 : ARAT;
BEGIN
ARA2 := NEW RAT;
ARA2.T(1).E;
ACCEPT ENT1 (ARA : OUT ARAT) DO
ARA := ARA2;
END ENT1;
END TSK1;
BEGIN
TSK1.ENT1 (ARA1);
WHILE NOT TSK1'TERMINATED AND LOOP_COUNT1 < CUT_OFF1 LOOP
DELAY 1.0 * Impdef.One_Second;
LOOP_COUNT1 := LOOP_COUNT1 + 1;
END LOOP;
IF LOOP_COUNT1 >= CUT_OFF1 THEN
FAILED ("DEPENDENT TASK TSK1 NOT TERMINATED " &
"WITHIN ONE MINUTE - (C)");
END IF;
IF ARA1.T(1)'TERMINATED THEN
FAILED ("ALLOCATED TASK PREMATURELY TERMINATED " &
"- (C)");
END IF;
ARA1.T(1).E;
END TSK;
BEGIN
WHILE NOT TSK'TERMINATED AND LOOP_COUNT < CUT_OFF LOOP
DELAY 2.0 * Impdef.One_Second;
LOOP_COUNT := LOOP_COUNT + 1;
END LOOP;
IF LOOP_COUNT >= CUT_OFF THEN
FAILED ("DEPENDENT TASK TSK NOT TERMINATED WITHIN " &
"TWO MINUTES - (C)");
END IF;
END;
RESULT;
END C94002B;