DataMuseum.dk

top - metrics - download

    Length: 4397 (0x112d)
    Types: TextFile
    Names: »V«

└─⟦afbc8121e⟧ Bits:30000532 8mm tape, Rational 1000, MC68020_OS2000 7_2_2
    └─⟦77aa8350c⟧ »DATA« 
        └─⟦f794ecd1d⟧ 
            └─⟦4c85d69e2⟧ 
                └─⟦this⟧ 

TextFile

--    The use of this system is subject to the software license terms and
--    conditions agreed upon between Rational and the Customer.
--
--                Copyright 1988 by Rational.
--
--                          RESTRICTED RIGHTS LEGEND
--
--    Use, duplication, or disclosure by the Government is subject to
--    restrictions as set forth in subdivision (b)(3)(ii) of the Rights in
--    Technical Data and Computer Software clause at 52.227-7013.
--
--
--                Rational
--                3320 Scott Boulevard
--                Santa Clara, California 95054-3197
--
--   PROPRIETARY AND CONFIDENTIAL INFORMATION OF RATIONAL;
--   USE OR COPYING WITHOUT EXPRESS WRITTEN AUTHORIZATION
--   IS STRICTLY PROHIBITED.  THIS MATERIAL IS PROTECTED AS
--   AN UNPUBLISHED WORK UNDER THE U.S. COPYRIGHT ACT OF
--   1976.  CREATED 1988.  ALL RIGHTS RESERVED.
--
--

with Device_Independent_Io;

package Typed_Io_Support is

    -- This package implements mechanisms used by the LRM typed io
    -- packages, Direct_Io and Sequential_Io.  The package provides
    -- functionality equivalent to those generic packages, but limited
    -- to byte strings.  Use of this package reduces the size of the
    -- generic bodies of Direct_Io and Sequential_Io.

    package Dio renames Device_Independent_Io;

    subtype Byte_String         is Dio.Byte_String;
    subtype File_Type           is Dio.File_Type;
    subtype File_Mode           is Dio.File_Mode;
    subtype Byte_Count          is Integer;
    subtype Positive_Byte_Count is Byte_Count range 1 .. Byte_Count'Last;

    -- File management

    procedure Create (File : in out File_Type;
                      Mode :        File_Mode;
                      Name :        String;
                      Form :        String);

    procedure Open (File : in out File_Type;
                    Mode :        File_Mode;
                    Name :        String;
                    Form :        String);

    procedure Close  (File : in out File_Type);
    procedure Delete (File : in out File_Type);
    procedure Reset  (File : in out File_Type; Mode : File_Mode);
    procedure Reset  (File : in out File_Type);

    function Mode (File : File_Type) return File_Mode;
    function Name (File : File_Type) return String;
    function Form (File : File_Type) return String;

    function Is_Open (File : File_Type) return Boolean;

    -- Input and output operations
    --
    -- If the Byte_Count parameter From or To is negative, then
    -- the current byte index will be used.
    --
    Use_Current_Index : constant Byte_Count := -1;

    procedure Read (File              :        File_Type;
                    Item              : in out Byte_String;
                    From              :        Byte_Count := Use_Current_Index;
                    Items_Constrained :        Boolean);

    procedure Write (File : File_Type;
                     Item : Byte_String;
                     To   : Byte_Count := Use_Current_Index);

    procedure Read_With_Size (File : File_Type; Item : in out Byte_String);

    procedure Write_With_Size (File : File_Type; Item : Byte_String);


    procedure Set_Index (File : File_Type; To : Byte_Count);

    function Index (File : File_Type) return Byte_Count;

    function Size (File : File_Type) return Byte_Count;

    function End_Of_File (File : File_Type) return Boolean;

private

    -- implementation dependent

    pragma Suppress (Elaboration_Check, On => Create);
    pragma Suppress (Elaboration_Check, On => Open);
    pragma Suppress (Elaboration_Check, On => Close);
    pragma Suppress (Elaboration_Check, On => Delete);
    pragma Suppress (Elaboration_Check, On => Reset);
    pragma Suppress (Elaboration_Check, On => Mode);
    pragma Suppress (Elaboration_Check, On => Name);
    pragma Suppress (Elaboration_Check, On => Form);
    pragma Suppress (Elaboration_Check, On => Is_Open);
    pragma Suppress (Elaboration_Check, On => Read);
    pragma Suppress (Elaboration_Check, On => Write);
    pragma Suppress (Elaboration_Check, On => Read_With_Size);
    pragma Suppress (Elaboration_Check, On => Write_With_Size);
    pragma Suppress (Elaboration_Check, On => Set_Index);
    pragma Suppress (Elaboration_Check, On => Index);
    pragma Suppress (Elaboration_Check, On => Size);
    pragma Suppress (Elaboration_Check, On => End_Of_File);

end Typed_Io_Support;