------------------------------------------------------------------------
-- 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_Calendar,
     POSIX_Permissions,
     POSIX_Process_Identification,
     POSIX_IO;
package POSIX_File_Status is

    type Status is private;

    -- Operations to Obtain File Status

    function Get_File_Status (Pathname : POSIX.Pathname)
    	return Status;
    function Get_File_Status (File     : POSIX_IO.File_Descriptor)
    	return Status;

    -- Operations to get information from Status

    type File_ID is private;

    type Device_ID is private;

    subtype Links is natural range 0 .. POSIX.Link_Limit_Maxima'last;

    function Permission_Set_Of (File_Status : Status)
        return POSIX_Permissions.Permission_Set;

    function File_ID_Of (File_Status : Status)
        return File_ID;

    function Device_ID_Of (File_Status : Status)
        return Device_ID;

    function Link_Count_Of (File_Status : Status)
        return Links;

    function Owner_Of (File_Status : Status)
        return POSIX_Process_Identification.User_ID;

    function Group_Of (File_Status : Status)
        return POSIX_Process_Identification.Group_ID;

    function Size_Of (File_Status : Status)
    	return POSIX.IO_Count;

    function Last_Access_Time_Of (File_Status : Status)
    	return POSIX_Calendar.Time;

    function Last_Modification_Time_Of (File_Status : Status)
    	return POSIX_Calendar.Time;

    function Last_Status_Change_Time_Of (File_Status : Status)
    	return POSIX_Calendar.Time;

    function Is_Directory (File_Status : Status)
    	return Boolean;

    function Is_Character_Special_File (File_Status : Status)
    	return Boolean;

    function Is_Block_Special_File (File_Status : Status)
    	return Boolean;

    function Is_Regular_File (File_Status :Status)
    	return Boolean;
    
    function Is_FIFO (File_Status :Status)
    	return Boolean;

private
    type Status is @p<implementation defined>;
    type File_ID is @p<implementation defined>;
    type Device_ID is @p<implementation defined>;
end POSIX_File_Status;