Subversion Repositories openrisc_me

-- C940006.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 the body of a protected function can have external calls

--      to other protected functions and that the body of a protected

--      procedure can have external calls to protected procedures and to

--      protected functions.

--

-- TEST DESCRIPTION:

--      Use a subset of the simulation of the freeway on-ramp described in

--      c940005.  In this case two protected objects are used but only a

--      minimum of routines are shown in each.  Both objects are hard coded

--      and detail two adjacent on-ramps (Ramp_31 & Ramp_32) with routines in

--      each which use external calls to the  other.

--

--

-- CHANGE HISTORY:

--      06 Dec 94   SAIC    ACVC 2.0

--

--!

with Report;

procedure C940006 is

begin

   Report.Test ("C940006", "Check external calls of protected functions" &

                        " and procedures");

   declare  -- encapsulate the test

      -- Weighted load given to each potential problem area and accumulated

      type Load_Factor is range 0..8;

      --

      Clear_Level    : constant Load_Factor := 0;

      Minimum_Level  : constant Load_Factor := 1;

      Moderate_Level : constant Load_Factor := 3;

      Serious_Level  : constant Load_Factor := 4;

      Critical_Level : constant Load_Factor := 6;

      --================================================================

      -- Only the Routines that are used in this test are shown

      --

      protected Ramp_31 is

         function Local_Overload        return Load_Factor;

         procedure Set_Local_Overload(Sensor_Level : Load_Factor);

         procedure Notify;

         function Next_Ramp_Overload    return Load_Factor;

         function Freeway_Overload      return Load_Factor;

         procedure Downstream_Ramps;

         function Get_DSR_Accumulate    return Load_Factor;

      private

         Next_Ramp_Alert : Boolean  := false;  -- Next Ramp is in trouble?

         -- Current state of the various Sample Points

         Local_State     : Load_Factor := Clear_Level;

         -- Accumulated load for next three downstream ramps

         DSR_Accumulate  : Load_Factor := Clear_Level;

      end Ramp_31;

      --================================================================

      -- Only the Routines that are used in this test are shown

      --

      protected Ramp_32 is

         function Local_Overload return Load_Factor;

         procedure Set_Local_Overload (Sensor_Level : Load_Factor);

      private

         Local_State : Load_Factor := Clear_Level;

      end Ramp_32;

      --================================================================

      protected body Ramp_31 is

         -- These Set/Clear routines are triggered by real-time sensors that

         -- reflect traffic state

         procedure Set_Local_Overload (Sensor_Level : Load_Factor) is

         begin

            -- Notify "previous" ramp to check this one for current state.

            -- Subsequent changes in state will not send an alert

            null;   --::::: (see Ramp_32 for this code)

            Local_State := Sensor_Level;

            null;   --::::: Start local meter if not already started

         end Set_Local_Overload;

         function Local_Overload return Load_Factor is

         begin

            return Local_State;

         end Local_Overload;

         -- This is notification from the next ramp that it is in

         -- overload.  With this provision we only need to sample the next

         -- ramp during adverse conditions.

         procedure Notify is

         begin

            Next_Ramp_Alert := true;

         end Notify;

         function Next_Ramp_Overload return Load_Factor is

         begin

            if Next_Ramp_Alert then

               -- EXTERNAL FUNCTION CALL FROM FUNCTION

               -- Get next ramp's current state

               return Ramp_32.Local_Overload;

            else

               return Clear_Level;

            end if;

         end Next_Ramp_Overload;

         -- return the summation of all the load factors

         function Freeway_Overload return Load_Factor is

         begin

            return    Local_Overload

                      -- + :::: others

                      + Next_Ramp_Overload;

         end Freeway_Overload;

         -- Snapshot the states of the next three downstream ramps

         procedure Downstream_Ramps is

         begin

            DSR_Accumulate := Ramp_32.Local_Overload;    -- EXTERNAL FUNCTION

            -- ::::         + Ramp_33.Local_Overload     -- FROM  PROCEDURE

            -- ::::         + Ramp_34.Local_Overload

         end Downstream_Ramps;

         -- Get last snapshot

         function Get_DSR_Accumulate return Load_Factor is

         begin

            return DSR_Accumulate;

         end Get_DSR_Accumulate;

      end Ramp_31;

      --================================================================

      protected body Ramp_32 is

         function Local_Overload return Load_Factor is

         begin

            return Local_State;

         end;

         -- These Set/Clear routines are triggered by real-time sensors that

         -- reflect traffic state

         procedure Set_Local_Overload(Sensor_Level : Load_Factor) is

         begin

            if Local_State = Clear_Level then

               -- Notify "previous" ramp to check this one for current state.

               -- Subsequent changes in state will not send an alert

               -- When the situation clears another routine performs the

               -- all_clear notification. (not shown)

               -- EXTERNAL CALL OF PROCEDURE FROM PROCEDURE

               Ramp_31.Notify;

            end if;

            Local_State := Sensor_Level;

            null;   --::::: Start local meter if not already started

         end;

      end Ramp_32;

      --================================================================

   begin -- declare

      -- Test driver.  This is ALL test control code

      -- Simulate calls to the protected functions and procedures

      -- from without the protected object, these will, in turn make the

      -- external calls.

      -- Check initial conditions, exercising the simple calls

      if not (Ramp_31.Local_Overload     = Clear_Level  and

              Ramp_31.Next_Ramp_Overload = Clear_Level  and

              Ramp_31.Freeway_Overload   = Clear_Level) and

              Ramp_32.Local_Overload     = Clear_Level    then

                  Report.Failed ("Initial Calls provided unexpected Results");

      end if;

      -- Simulate real-time sensors reporting overloads at a hardware level

      Ramp_31.Set_Local_Overload (1);

      Ramp_32.Set_Local_Overload (3);

      Ramp_31.Downstream_Ramps;   -- take the current snapshot

      if not (Ramp_31.Local_Overload     = Minimum_Level  and

              Ramp_31.Get_DSR_Accumulate = Moderate_Level and

              Ramp_31.Freeway_Overload   = Serious_Level)   then

         Report.Failed ("Secondary Calls provided unexpected Results");

      end if;

   end; -- declare

   Report.Result;

end C940006;