gcc/ada/a-storio.ads

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT RUN-TIME COMPONENTS                         --
   4 --                                                                          --
   5 --                       A D A . S T O R A G E _ I O                        --
   6 --                                                                          --
   7 --                                 S p e c                                  --
   8 --                                                                          --
   9 -- This specification is adapted from the Ada Reference Manual for use with --
  10 -- GNAT.  In accordance with the copyright of that document, you can freely --
  11 -- copy and modify this specification,  provided that if you redistribute a --
  12 -- modified version,  any changes that you have made are clearly indicated. --
  13 --                                                                          --
  14 ------------------------------------------------------------------------------
  15
  16 with Ada.IO_Exceptions;
  17 with System.Storage_Elements;
  18
  19 generic
  20    type Element_Type is private;
  21
  22 package Ada.Storage_IO is
  23 pragma Preelaborate (Storage_IO);
  24
  25    Buffer_Size : constant System.Storage_Elements.Storage_Count :=
  26                    System.Storage_Elements.Storage_Count
  27                      ((Element_Type'Size + System.Storage_Unit - 1) /
  28                                                       System.Storage_Unit);
  29
  30    subtype Buffer_Type is
  31      System.Storage_Elements.Storage_Array (1 .. Buffer_Size);
  32
  33    ---------------------------------
  34    -- Input and Output Operations --
  35    ---------------------------------
  36
  37    procedure Read  (Buffer : in  Buffer_Type; Item : out Element_Type);
  38
  39    procedure Write (Buffer : out Buffer_Type; Item : in  Element_Type);
  40
  41    ----------------
  42    -- Exceptions --
  43    ----------------
  44
  45    Data_Error : exception renames IO_Exceptions.Data_Error;
  46
  47 end Ada.Storage_IO;