Subversion Repositories openrisc

-- C95040D.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 TASKING_ERROR IS RAISED IN A CALLING

-- TASK WHEN THE TASK OWNING THE ENTRY TERMINATES BEFORE RENDEZVOUS

-- CAN OCCUR.

-- CHECK THAT RE-RAISING TASKING_ERROR, ONCE TRAPPED IN THE CALLER,

-- DOES NOT PROPAGATE OUTSIDE THE TASK BODY.

-- GOM 11/29/84

-- JWC 05/14/85

-- PWB 02/11/86  CORRECTED CALL TO TEST TO SHOW CORRECT TEST NAME.

-- RLB 12/15/99  REMOVED POTENTIALLY ERRONEOUS CALLS TO REPORT.COMMENT.

WITH REPORT;

USE REPORT;

PROCEDURE C95040D IS

     PROCEDURE DRIVER IS

          TASK NEST IS

               ENTRY OUTER;

               ENTRY INNER;

          END NEST;

          TASK SLAVE;

          TASK BODY NEST IS

          BEGIN

               --COMMENT("AT TOP OF 'NEST' TASK WAITING ON 'OUTER' " &

               --        "RENDEZVOUS");

               ACCEPT OUTER DO

                    --COMMENT("IN 'OUTER' RENDEZVOUS OF 'NEST' TASK " &

                    --        "ABOUT TO 'RETURN'");

                    RETURN;  -- CAUSES 'INNER' RENDEZVOUS TO BE SKIPPED.

                    ACCEPT INNER DO

                         FAILED("'INNER' RENDEZVOUS OF 'NEST' TASK " &

                                "SHOULD NEVER BE PERFORMED");

                    END INNER;

               END OUTER;

               --COMMENT("'OUTER' RENDEZVOUS COMPLETED IN 'NEST' TASK " &

               --        "AND NOW TERMINATING");

          END NEST;

          TASK BODY SLAVE IS

          BEGIN

               --COMMENT("AT TOP OF 'SLAVE' TASK. CALLING 'INNER' " &

               --        "RENDEZVOUS");

               NEST.INNER;

               FAILED("SHOULD HAVE RAISED 'TASKING_ERROR' IN 'SLAVE' " &

                      "TASK");

          EXCEPTION

               WHEN TASKING_ERROR =>

                    --COMMENT("'SLAVE' TASK CORRECTLY TRAPPING " &

                    --        "'TASKING_ERROR' AND RE-RAISING IT (BUT " &

                    --        "SHOULD NOT BE PROPAGATED)");

                    RAISE;

          END SLAVE;

     BEGIN  -- START OF DRIVER PROCEDURE.

          --COMMENT("AT TOP OF 'DRIVER'. CALLING 'OUTER' ENTRY OF " &

          --        "'NEST' TASK");

          NEST.OUTER;

          --COMMENT("'OUTER' RENDEZVOUS COMPLETED. 'DRIVER' AWAITING " &

          --        "TERMINATION OF 'NEST' AND 'SLAVE' TASKS");

     EXCEPTION

          WHEN TASKING_ERROR =>

               FAILED("'TASKING_ERROR' CAUGHT IN 'DRIVER' WHEN IT " &

                      "SHOULD HAVE BEEN CAUGHT IN 'SLAVE' TASK, OR " &

                      "'TASKING_ERROR' WAS INCORRECTLY PROPAGATED BY " &

                      "'SLAVE' TASK");

     END DRIVER;

BEGIN  -- START OF MAIN PROGRAM.

     TEST("C95040D","CHECK THAT 'TASKING_ERROR' IS RAISED IN A " &

                    "CALLER TASK WHEN TASK OWNING THE ENTRY CANNOT " &

                    "PERFORM RENDEZVOUS. ALSO CHECK THAT " &

                    "'TASKING_ERROR', ONCE RAISED, IS NOT PROPAGATED " &

                    "OUTSIDE THE TASK BODY");

     --COMMENT("MAIN PROGRAM CALLING 'DRIVER' PROCEDURE");

     DRIVER;

     --COMMENT("MAIN PROGRAM NOW TERMINATING");

     RESULT;

END C95040D;