DataMuseum.dk Presents historical artifacts from the history of: Rational R1000/400

This is an automatic "excavation" of a thematic subset of artifacts from Datamuseum.dk's BitArchive. See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software.

top - download

⟦cb8c632d9⟧ Ada Source

    Length: 4096 (0x1000)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Posix_File_Status, seg_0213ea

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« 
        └─⟦this⟧ 

with System, Calendar;
with Posix, Posix_Permissions, Posix_Process_Identification, Posix_Io;
-- with Interface_Types;              -- implementation defined

package Posix_File_Status is

    type Status is private;


    -- Operations to obtain file status

    function File_Status (Filename : Posix.Posix_String) return Status;

    function File_Status
                (File_Descriptor : Posix_Io.File_Descriptor) return Status;


    -- Operations to get information from status

    type File_Serial_Number is range 0 .. 32767; -- 2**15-1

    type Device_Serial_Number is range 0 .. 32767; -- 2**15-1

    type Links is range 0 .. Posix.Link_Limit_Range'Last;

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

    function File_Serial_Number_Of
                (File_Status : Status) return File_Serial_Number;

    function Device_Serial_Number_Of
                (File_Status : Status) return Device_Serial_Number;

    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 Io_Unit_Size_Of (File_Status : Status) return Posix_Io.Io_Count;

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

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

    function Last_Status_Change_Time_Of
                (File_Status : Status) return 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 new Boolean;  -- RCF MOD

end Posix_File_Status;

    nblk1=3
    nid=0
    hdr6=6
        [0x00] rec0=22 rec1=00 rec2=01 rec3=01e
        [0x01] rec0=1a rec1=00 rec2=02 rec3=04c
        [0x02] rec0=09 rec1=00 rec2=03 rec3=000
    tail 0x2171d6384838d73a698f3 0x42a00088462060003