14.4.76  Posix_Socket_Junk

The standard library Posix_Socket_Junk api defines access to support functionality for posix socket handling.

The Posix_Socket_Junk api is implemented by the posix_socket_junk package.

The Posix_Socket_Junk api source code is in src/lib/internet/posix-socket-junk.api. The above information is manually maintained and may contain errors.

api {
    Port  = PORT_NUMBER Int | SERV_NAME String;
    Hostname  = HOST_ADDRESS ?.dns_host_lookupinternal::Internet_Address | HOST_NAME String;
        scan_addr :
        number_string::Reader((Char, X)) -> number_string::Reader(({host:Hostname, port:Null_Or(Port )}, X));
    addr_from_string : String -> Null_Or({host:Hostname, port:Null_Or(Port )} );
    exception BAD_ADDRESS String;
        resolve_addr :
            {host:Hostname, port:Null_Or(Port )}
            ->
            {address:?.dns_host_lookupinternal::Internet_Address, host:String, port:Null_Or(Int )};
    Stream_Socket X = Int((_, _));
        connect_client_to_internet_domain_stream_socket :
            {address:?.dns_host_lookupinternal::Internet_Address, port:Int}
            ->
            Stream_Socket(internet_socket__premicrothread::Inet );
    receive_vector : (Stream_Socket(X ) , Int) -> vector_of_one_byte_unts::Vector;
    receive_string : (Stream_Socket(X ) , Int) -> String;
    send_vector : (Stream_Socket(X ) , vector_of_one_byte_unts::Vector) -> Void;
    send_string : (Stream_Socket(X ) , String) -> Void;
    send_rw_vector : (Stream_Socket(X ) , rw_vector_of_one_byte_unts::Rw_Vector) -> Void;
        connect_client_to_unix_domain_stream_socket :
        String -> Stream_Socket(unix_domain_socket__premicrothread::Unix );};