------------------------------------------------------------------------
-- These package specifications were extracted from IEEE Std 1003.5-1992,
-- IEEE Standard for Information Technology--POSIX Ada Language
-- Interfaces--Part 1: Binding System Application Program Interface,
-- copyright (c)1992 by the Institute of Electrical and Electronics
-- Engineers, Inc.  These package specifications represent only a portion
-- of the document and are not to be interpreteted as the approved
-- consensus standard.  The IEEE Std 1003.5-1992 must be used in
-- conjunction with these package specifications in order to claim
-- conformance.  The IEEE takes no responsibility for and will assume no
-- liability for damages resulting from the reader's misinpretation of
-- said information resulting from its out of context nature.  To order
-- copies of the IEEE Std 1003.5-1992, please contact the IEEE Service
-- Center at 445 Hoes Lane, PO Box 1331, Piscataway, NJ 08855-1331; via
-- phone at 1-800-678-IEEE, 908-981-1393; or via fax at 908-981-9667.
------------------------------------------------------------------------

with POSIX,
     POSIX_IO,
     POSIX_Permissions;
with IO_Exceptions,
     Text_IO;
package POSIX_Supplement_to_Ada_IO is

    type File_Structure_Values is (Regular, FIFO);
  
    type Terminal_Input_Values is (Lines, Characters);
  
    type Possible_File_Descriptor (Valid : Boolean := False) is
      record
        case Valid is
          when True =>
            Descriptor : POSIX_IO.File_Descriptor;
          when False => null;
        end case;
      end record;
  
    type Form_Values_for_Open is
      record
        Append           : Boolean := False;
        Blocking         : POSIX.Text_IO_Blocking_Behavior
                         := POSIX.IO_Blocking_Behavior;
        Terminal_Input   : Terminal_Input_Values := Lines;
        Page_Terminators : Boolean := True;
        File_Descriptor  : Possible_File_Descriptor;
      end record;
  
    type Form_Values_for_Create is
      record
        Permission_Mask  : POSIX_Permissions.Permission_Set
                         := POSIX_Permissions.Access_Permission_Set;
        Blocking         : POSIX.Text_IO_Blocking_Behavior
                         := POSIX.IO_Blocking_Behavior;
        Terminal_Input   : Terminal_Input_Values := Lines;
        File_Structure   : File_Structure_Values := Regular;
        Page_Terminators : Boolean := True;
      end record;
  
    function Form_String (Val  : Form_Values_for_Open)

        return String ;
  
    function Form_Value (Str : String)
        return Form_Values_for_Open;
  
    function Form_String (Val  : Form_Values_for_Create)
        return String ;
  
    function Form_Value (Str  : String)
        return Form_Values_for_Create;
  
    procedure Flush_All;
  
    procedure Flush_Text_IO (File : in     Text_IO.File_Type);
  
    generic
        type File_Type is limited private;
    procedure Flush_Sequential_IO;
  
    generic
        type File_Type is limited private;
    procedure Flush_Direct_IO;
  
    Use_Error : exception renames IO_Exceptions.Use_Error;
  
end POSIX_Supplement_to_Ada_IO;