14.3.5  Posix_Id

The standard library Posix_Id api is a sub-API of the Posix_1003_1b API.

The above information is manually maintained and may contain errors.

api {    eqtype Process_Id ;
    eqtype File_Descriptor ;
    eqtype User_Id ;
    eqtype Group_Id ;
    uid_to_unt : User_Id -> one_word_unt::Unt;
    unt_to_uid : one_word_unt::Unt -> User_Id;
    gid_to_unt : Group_Id -> one_word_unt::Unt;
    unt_to_gid : one_word_unt::Unt -> Group_Id;
    get_process_id : Void -> Int;
    get_process_id' : Void -> Process_Id;
    get_parent_process_id : Void -> Int;
    get_parent_process_id' : Void -> Process_Id;
    get_user_id : Void -> Int;
    get_user_id' : Void -> User_Id;
    get_effective_user_id : Void -> Int;
    get_effective_user_id' : Void -> User_Id;
    get_group_id : Void -> Int;
    get_group_id' : Void -> Group_Id;
    get_effective_group_id : Void -> Int;
    get_effective_group_id' : Void -> Group_Id;
    set_user_id : Int -> Void;
    set_user_id' : User_Id -> Void;
    set_group_id : Int -> Void;
    set_group_id' : Group_Id -> Void;
    get_group_ids : Void -> List(Int );
    get_group_ids' : Void -> List(Group_Id );
    get_login : Void -> String;
    get_process_group : Void -> Int;
    get_process_group' : Void -> Process_Id;
    set_session_id : Void -> Int;
    set_session_id' : Void -> Process_Id;
    set_process_group_id : (Int , Int) -> Void;
    set_process_group_id' : {pgid:Null_Or(Process_Id ), 
                             pid:Null_Or(Process_Id )}
                            -> Void;
    uname : Void -> List(((String , String)) );
    time : Void -> one_word_int::Int;
    time' : Void -> time::Time;
    times : Void
            -> {cstime:time::Time,  cutime:time::Time, 
                elapsed:time::Time,  stime:time::Time, 
                utime:time::Time};
    getenv : String -> Null_Or(String );
    environment : Void -> List(String );
    ctermid : Void -> String;
    ttyname : File_Descriptor -> String;
    isatty : File_Descriptor -> Bool;
    sysconf : String -> one_word_unt::Unt;
};