------------------------------------------------------------------------------ -- -- -- GNAT RUN-TIME COMPONENTS -- -- -- -- A D A . S T O R A G E _ I O -- -- -- -- S p e c -- -- -- -- -- -- This specification is adapted from the Ada Reference Manual for use with -- -- GNAT. In accordance with the copyright of that document, you can freely -- -- copy and modify this specification, provided that if you redistribute a -- -- modified version, any changes that you have made are clearly indicated. -- -- -- ------------------------------------------------------------------------------ with Ada.IO_Exceptions; with System.Storage_Elements; generic type Element_Type is private; package Ada.Storage_IO is pragma Preelaborate (Storage_IO); Buffer_Size : constant System.Storage_Elements.Storage_Count := System.Storage_Elements.Storage_Count ((Element_Type'Size + System.Storage_Unit - 1) / System.Storage_Unit); subtype Buffer_Type is System.Storage_Elements.Storage_Array (1 .. Buffer_Size); --------------------------------- -- Input and Output Operations -- --------------------------------- procedure Read (Buffer : in Buffer_Type; Item : out Element_Type); procedure Write (Buffer : out Buffer_Type; Item : in Element_Type); ---------------- -- Exceptions -- ---------------- Data_Error : exception renames IO_Exceptions.Data_Error; end Ada.Storage_IO;