-- C94020A.ADA

--                             Grant of Unlimited Rights
--
--     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
--     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained 
--     unlimited rights in the software and documentation contained herein.
--     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making 
--     this public release, the Government intends to confer upon all 
--     recipients unlimited rights  equal to those held by the Government.  
--     These rights include rights to use, duplicate, release or disclose the 
--     released technical data and computer software in whole or in part, in 
--     any manner and for any purpose whatsoever, and to have or permit others 
--     to do so.
--
--                                    DISCLAIMER
--
--     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
--     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED 
--     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
--     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE 
--     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
--     PARTICULAR PURPOSE OF SAID MATERIAL.
--*
-- CHECK THAT THE CONDITIONS FOR TERMINATION ARE RECOGNIZED WHEN THE
-- LAST MISSING TASK TERMINATES DUE TO AN ABORT

-- JEAN-PIERRE ROSEN 08-MAR-1984
-- JBG 6/1/84
-- PWN 09/11/94  REMOVED PRAGMA PRIORITY FOR ADA 9X.

WITH SYSTEM; USE SYSTEM;
WITH REPORT; USE REPORT;
PROCEDURE C94020A IS

     TASK TYPE T2 IS
     END T2;
     
     TASK TYPE T3 IS
          ENTRY E;
     END T3;
     
     TASK BODY T2 IS
     BEGIN
          COMMENT("T2");
     END;
     
     TASK BODY T3 IS
     BEGIN
          COMMENT("T3");
          SELECT
               ACCEPT E;
          OR TERMINATE;
          END SELECT;
          FAILED("T3 EXITED SELECT OR TERMINATE");
     END;

BEGIN

     TEST ("C94020A", "TEST OF TASK DEPENDENCES, TERMINATE, ABORT");

     DECLARE
          TASK TYPE T1 IS
          END T1;
          
          V1 : T1;
          TYPE A_T1 IS ACCESS T1;

          TASK BODY T1 IS
          BEGIN
               ABORT T1;
               DELAY 0.0;          --SYNCHRONIZATION POINT
               FAILED("T1 NOT ABORTED");
          END;
          
     BEGIN
          DECLARE
               V2 : T2;
               A1 : A_T1;
          BEGIN
               DECLARE
                    V3 : T3;
                    TASK T4 IS
                    END T4;
                    TASK BODY T4 IS
                         TASK T41 IS
                         END T41;
                         TASK BODY T41 IS
                         BEGIN
                              COMMENT("T41");
                              ABORT T4;
                              DELAY 0.0;       --SYNCHRONIZATION POINT
                              FAILED("T41 NOT ABORTED");
                         END;
                    BEGIN  --T4
                         COMMENT("T4");
                    END;
               BEGIN
                    COMMENT("BLOC 3");
               END;
               COMMENT("BLOC 2");
               A1 := NEW T1;
          END;
          COMMENT("BLOC 1");
     EXCEPTION
          WHEN OTHERS => FAILED("SOME EXCEPTION RAISED");
     END;

     RESULT;

END C94020A;