c97301b.ada

来自「用于进行gcc测试」· ADA 代码 · 共 148 行

-- C97301B.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.
--*
-- OBJECTIVE:
--     CHECK THAT A TIMED_ENTRY_CALL DELAYS FOR AT LEAST THE SPECIFIED
--     AMOUNT OF TIME IF A RENDEZVOUS IS NOT POSSIBLE.

--     CASE  B:  THE QUEUE FOR THE CALLED ENTRY ALREADY CONTAINS
--           ANOTHER  TASK WHOSE RENDEZVOUS CANNOT BE COMPLETED WITHIN
--           THE SPECIFIED DELAY.

--HISTORY:
--     RJW 03/31/86 CREATED ORIGINAL TEST.
--     DHH 10/20/87 SHORTENED LINES CONTAINING MORE THAN 72 CHARACTERS.

with Impdef;
WITH REPORT; USE REPORT;
WITH CALENDAR; USE CALENDAR;
PROCEDURE C97301B IS

     OR_BRANCH_TAKEN : BOOLEAN := FALSE;

BEGIN

     TEST ("C97301B", "CHECK THAT A TIMED_ENTRY_CALL DELAYS FOR AT " &
                      "LEAST THE SPECIFIED AMOUNT OF TIME WHEN THE " &
                      "QUEUE FOR THE CALLED ENTRY ALREADY CONTAINS " &
                      "ANOTHER TASK WHOSE RENDEZVOUS CANNOT BE " &
                      "COMPLETED WITHIN THE SPECIFIED DELAY" );


     DECLARE
          WAIT_TIME  : DURATION :=  3.0 * Impdef.One_Second;

          TASK T1;

          TASK T2 IS
               ENTRY AWAKEN_T2;
          END T2;

          TASK T3 IS
               ENTRY AWAKEN_T3;
               ENTRY RELEASE_T;
          END T3;

          TASK  T  IS
               ENTRY  DO_IT_NOW_OR_WAIT (X : INTEGER);
          END  T;

          TASK BODY  T  IS
          BEGIN
               ACCEPT DO_IT_NOW_OR_WAIT (X : INTEGER) DO
                    IF X = 1 THEN
                         T2.AWAKEN_T2;
                         WHILE DO_IT_NOW_OR_WAIT'COUNT = 0 LOOP
                              DELAY 1.0 * Impdef.One_Second;
                         END LOOP;
                         T3.AWAKEN_T3;
                         T3.RELEASE_T;
                    ELSE
                         FAILED ("WRONG TASK IN RENDEZVOUS - 1");
                    END IF;
               END DO_IT_NOW_OR_WAIT;
               ACCEPT DO_IT_NOW_OR_WAIT (X : INTEGER) DO
                    IF X /= 2 THEN
                         FAILED ("WRONG TASK IN RENDEZVOUS - 2");
                    END IF;
               END DO_IT_NOW_OR_WAIT;
          END  T;

          TASK BODY T1 IS
          BEGIN
               T.DO_IT_NOW_OR_WAIT (1);
          END T1;

          TASK BODY T2 IS
          BEGIN
               ACCEPT AWAKEN_T2;
               T.DO_IT_NOW_OR_WAIT (2);
          END T2;

          TASK BODY T3 IS
               START_TIME : TIME;
               STOP_TIME : TIME;
          BEGIN
               BEGIN
                    ACCEPT AWAKEN_T3;
                    START_TIME := CLOCK;
                    SELECT
                         T.DO_IT_NOW_OR_WAIT (3);
                    OR
                                         -- THIS BRANCH MUST BE CHOSEN.
                         DELAY WAIT_TIME;
                         STOP_TIME := CLOCK;
                         IF STOP_TIME >= (WAIT_TIME + START_TIME) THEN
                              NULL;
                         ELSE
                              FAILED ( "INSUFFICIENT DELAY" );
                         END IF;
                         OR_BRANCH_TAKEN := TRUE;
                         COMMENT( "OR_BRANCH TAKEN" );
                         ACCEPT RELEASE_T;
                    END SELECT;
               EXCEPTION
                    WHEN TASKING_ERROR =>
                         FAILED ( "TASKING ERROR" );
               END;
                             -- END OF BLOCK CONTAINING TIMED
                             -- ENTRY CALL.

                             -- BY NOW, THE TASK T IS EFFECTIVELY
                             -- TERMINATED (AND THE NONLOCALS UPDATED).

               IF OR_BRANCH_TAKEN THEN
                    NULL;
               ELSE
                    FAILED( "RENDEZVOUS ATTEMPTED" );
               END IF;
          END T3;
     BEGIN
          NULL;
     END;

     RESULT;

END C97301B;