Subversion Repositories openrisc

-- C954025.A

--

--                             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 if the original entry call was a conditional entry call,

--      the call is cancelled if a requeue-with-abort of the call is not

--      selected immediately.

--      Check that if the original entry call was a timed entry call, the

--      expiration time for a requeue-with-abort is the original expiration

--      time.

--

-- TEST DESCRIPTION:

--      This test declares two tasks: Launch_Control and Mission_Control.

--      Mission_Control instructs Launch_Control to start its countdown

--      and then requeues (with abort) to the Launch_Control.Launch

--      entry.  This call to Launch will be accepted at the end of the

--      countdown (if the task is still waiting).

--      The main task does an unconditional, conditional, and timed

--      entry call to Mission_Control and checks to see if the launch

--      was accepted.

--

--

-- CHANGE HISTORY:

--      18 OCT 95   SAIC    ACVC 2.1

--      10 JUL 96   SAIC    Incorporated reviewer's comments.

--

--!

with Calendar;   use type Calendar.Time;

with Report;

with ImpDef;

procedure C954025 is

  Verbose : constant Boolean := False;

  Countdown_Amount : constant Duration := 2.0 * Impdef.One_Long_Second;

  Plenty_Of_Time : constant Duration :=

         Countdown_Amount + ImpDef.Clear_Ready_Queue + 1.0 * Impdef.One_Long_Second;

  Not_Enough_Time : constant Duration :=

         Countdown_Amount - 0.5 * Impdef.One_Long_Second;

begin

  Report.Test ("C954025",

               "Check that if the original entry" &

               " call was a conditional or timed entry call, the" &

               " expiration time for a requeue with abort is the" &

               " original expiration time");

  declare

     -- note that the following object is a shared object and its use

     -- governed by the rules of 9.10(3,4,8);6.0

     Launch_Accepted : Boolean := False;

     task Launch_Control is

        entry Enable_Launch_Control;

        entry Start_Countdown (How_Long : Duration);

        -- Launch will be accepted if a call is waiting when the countdown

        -- reaches 0

        entry Launch;

     end Launch_Control;

     task body Launch_Control is

        Wait_Amount : Duration := 0.0;

     begin

        loop

           select

              accept Enable_Launch_Control do

                 Launch_Accepted := False;

              end Enable_Launch_Control;

           or

              terminate;

           end select;

           accept Start_Countdown (How_Long : Duration) do

                 Wait_Amount := How_Long;

           end Start_Countdown;

           delay Wait_Amount;

           select

              accept Launch do

                 Launch_Accepted := True;

              end Launch;

           else

              null;

              -- note that Launch_Accepted is False here

           end select;

        end loop;

     end Launch_Control;

     task Mission_Control is

        --  launch will occur if we are given enough time to complete

        --  a standard countdown.  We will not be rushed!

        entry Do_Launch;

     end Mission_Control;

     task body Mission_Control is

     begin

        loop

           select

              accept Do_Launch do

                 Launch_Control.Start_Countdown (Countdown_Amount);

                 requeue Launch_Control.Launch with abort;

              end Do_Launch;

           or

              terminate;

           end select;

        end loop;

     end Mission_Control;

  begin   -- test encapsulation

     -- unconditional entry call to check the simple case

     Launch_Control.Enable_Launch_Control;

     Mission_Control.Do_Launch;

     if Launch_Accepted then

        if Verbose then

           Report.Comment ("simple case passed");

        end if;

      else

         Report.Failed ("simple case");

      end if;

     -- timed but with plenty of time - delay relative

     Launch_Control.Enable_Launch_Control;

     select

        Mission_Control.Do_Launch;

     or

        delay Plenty_Of_Time;

        if Launch_Accepted then

           Report.Failed ("plenty of time timed out after accept (1)");

        end if;

     end select;

     if Launch_Accepted then

        if Verbose then

           Report.Comment ("plenty of time case passed (1)");

        end if;

      else

         Report.Failed ("plenty of time (1)");

      end if;

     -- timed but with plenty of time  -- delay until

     Launch_Control.Enable_Launch_Control;

     select

        Mission_Control.Do_Launch;

     or

        delay until Calendar.Clock + Plenty_Of_Time;

        if Launch_Accepted then

           Report.Failed ("plenty of time timed out after accept(2)");

        end if;

     end select;

     if Launch_Accepted then

        if Verbose then

           Report.Comment ("plenty of time case passed (2)");

        end if;

      else

         Report.Failed ("plenty of time (2)");

      end if;

     -- timed without enough time - delay relative

     Launch_Control.Enable_Launch_Control;

     select

        Mission_Control.Do_Launch;

        Report.Failed ("not enough time completed accept (1)");

     or

        delay Not_Enough_Time;

     end select;

     if Launch_Accepted then

        Report.Failed ("not enough time (1)");

      else

        if Verbose then

           Report.Comment ("not enough time case passed (1)");

        end if;

      end if;

     -- timed without enough time - delay until

     Launch_Control.Enable_Launch_Control;

     select

        Mission_Control.Do_Launch;

        Report.Failed ("not enough time completed accept (2)");

     or

        delay until Calendar.Clock + Not_Enough_Time;

     end select;

     if Launch_Accepted then

        Report.Failed ("not enough time (2)");

      else

        if Verbose then

           Report.Comment ("not enough time case passed (2)");

        end if;

      end if;

     -- conditional case

     Launch_Control.Enable_Launch_Control;

     -- make sure Mission_Control is ready to accept immediately

     delay ImpDef.Clear_Ready_Queue;

     select

        Mission_Control.Do_Launch;

        Report.Failed ("no time completed accept");

     else

        if Verbose then

           Report.Comment ("conditional case - else taken");

         end if;

     end select;

     if Launch_Accepted then

        Report.Failed ("no time");

      else

        if Verbose then

           Report.Comment ("no time case passed");

        end if;

      end if;

  end;

  Report.Result;

end C954025;