Subversion Repositories openrisc

-- FA13A00.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.

--*

--

-- FOUNDATION DESCRIPTION:

--      This foundation code is used to check visibility of separate

--      subunit of child packages.

--      Declares a package containing type definitions; package will be

--      with'ed by the root of the elevator abstraction.

--

--      Declare an elevator abstraction in a parent root package which manages

--      basic operations.  This package has a private part.  Declare a

--      private child package which calculates the floors for going up or

--      down.  Declare a public child package which provides the actual

--      operations.

--

-- CHANGE HISTORY:

--      06 Dec 94   SAIC    ACVC 2.0

--

--!

-- Simulates a fragment of an elevator operation application.

package FA13A00_0 is                      -- Building Manager

   type Electrical_Power is (Off, V120, V240);

   Power : Electrical_Power := V120;

   -- other type definitions and procedure declarations in real application.

end FA13A00_0;

-- No bodies provided for FA13A00_0.

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

package FA13A00_1 is                      -- Basic Elevator Operations

   type Call_Waiting_Type is private;

   type Floor is (Basement, Floor1, Floor2, Floor3, Penthouse);

   type Floor_No is range Floor'Pos(Floor'First) .. Floor'Pos(Floor'Last);

   Current_Floor : Floor   := Floor1;

   TC_Operation  : boolean := true;

   procedure Call (F : in Floor; C : in out Call_Waiting_Type);

   procedure Clear_Calls (C : in out Call_Waiting_Type);

private

   type Call_Waiting_Type is array (Floor) of boolean;

   Call_Waiting : Call_Waiting_Type := (others => false);

end FA13A00_1;

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

package body FA13A00_1 is

   -- Call the elevator.

   procedure Call (F : in Floor; C : in out Call_Waiting_Type) is

   begin

      C (F) := true;

   end Call;

   --------------------------------------------

   -- Clear all calls of the elevator.

   procedure Clear_Calls (C : in out Call_Waiting_Type) is

   begin

      C := (others => false);

   end Clear_Calls;

end FA13A00_1;

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

-- Private child package of an elevator application.  This package calculates

-- how many floors to go up or down.

private package FA13A00_1.FA13A00_2 is    -- Floor Calculation

   -- Other type definitions in real application.

   procedure Up (HowMany : in Floor_No);

   procedure Down (HowMany : in Floor_No);

end FA13A00_1.FA13A00_2;

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

package body FA13A00_1.FA13A00_2 is

   -- Go up from the current floor.

   procedure Up (HowMany : in Floor_No) is

   begin

      Current_Floor := Floor'val (Floor'pos (Current_Floor) + HowMany);

   end Up;

   --------------------------------------------

   -- Go down from the current floor.

   procedure Down (HowMany : in Floor_No) is

   begin

      Current_Floor := Floor'val (Floor'pos (Current_Floor) - HowMany);

   end Down;

end FA13A00_1.FA13A00_2;

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

-- Public child package of an elevator application.  This package provides

-- the actual operation of the elevator.

package FA13A00_1.FA13A00_3 is            -- Move Elevator

   -- Other type definitions in real application.

   procedure Move_Elevator (F : in     Floor;

                            C : in out Call_Waiting_Type);

end FA13A00_1.FA13A00_3;

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

with FA13A00_1.FA13A00_2;                 -- Floor Calculation

package body FA13A00_1.FA13A00_3 is

   -- Going up or down depends on the current floor.

   procedure Move_Elevator (F : in     Floor;

                            C : in out Call_Waiting_Type) is

   begin

      if F > Current_Floor then

         FA13A00_1.FA13A00_2.Up (Floor'Pos (F) - Floor'Pos (Current_Floor));

         FA13A00_1.Call (F, C);

      elsif F < Current_Floor then

         FA13A00_1.FA13A00_2.Down (Floor'Pos (Current_Floor) - Floor'Pos (F));

         FA13A00_1.Call (F, C);

      end if;

   end Move_Elevator;

end FA13A00_1.FA13A00_3;