Subversion Repositories openrisc

-- F954A00.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:

--      This file contains foundation code for tests covering the requeue

--      statement.

--

-- TEST DESCRIPTION:

--      See prologues of specific tests.

--

-- CHANGE HISTORY:

--      06 Dec 94   SAIC    ACVC 2.0

--

--!

package F954A00 is  -- Printer device abstraction.

   -- Model a printer device driver as a protected type. A printer remains

   -- unavailable while data is printing. The printer generates an interrupt

   -- when printing is complete, after which the printer is again made

   -- available.

   type Printers_Info is tagged record

      Some_Info : Integer;

   end record;

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

   protected type Printers is   -- Device driver for printer.

      procedure Start_Printing (File_Name : String);  -- Begin printing on

                                                      -- printer.

      procedure Handle_Interrupt;                     -- Handle interrupt from

                                                      -- printer.

      entry Done_Printing;                            -- Wait until printer is

                                                      -- done.

      function Available return Boolean;              -- Return value of Ready.

      function Is_Done return Boolean;                -- Return value of Done.

   private

      Ready : Boolean := True;                        -- Entry barrier.

      Done  : Boolean := True;                        -- Testing flag.

   end Printers;

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

   Number_Of_Printers : constant := 2;

   type Printer_ID is range 1 .. Number_Of_Printers;

   type Printer_Array is array (Printer_ID) of Printers;

   type Info_Array    is array (Printer_ID) of Printers_Info;

   Printer       : Printer_Array;

   Printer_Info  : constant Info_Array  := ( (Some_Info => 1),

                                             (Some_Info => 2) );

end F954A00;

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

package body F954A00 is  -- Printer server abstraction.

   protected body Printers is

      procedure Start_Printing (File_Name : String) is

      begin

         Ready := False;                              -- Block other requests

         Done  := False;                              -- for this printer

         -- Send data to the printer...               -- and begin printing.

      end Start_Printing;

      -- Set the "not ready" one-shot

      entry Done_Printing when Ready is               -- Callers wait here

      begin                                           -- until printing is

         Done := True;                                -- done (signaled by a

      end Done_Printing;                              -- printer interrupt).

      procedure Handle_Interrupt is                   -- Called when the

      begin                                           -- printer interrupts,

         Ready := True;                               -- indicating that

      end Handle_Interrupt;                           -- printing is done.

      function Available return Boolean is            -- Artifice for test

      begin                                           -- purposes: checks

         return (Ready);                              -- whether printer is

      end Available;                                  -- still printing.

      function Is_Done return Boolean is              -- Artifice for test

      begin                                           -- purposes: checks

         return (Done);                               -- whether Done_Printing

      end Is_Done;                                    -- entry was executed.

   end Printers;

end F954A00;