The socket interface

Author(s): Manuel Carro, Daniel Cabeza.

Version: 1.5#128 (2000/5/2, 18:4:14 CEST)

Version of last change: 1.5#127 (2000/5/2, 16:50:36 CEST)

This module defines primitives to open sockets, send, and receive data from them. This allows communicating with other processes, on the same machine or across the Internet. The reader should also consult standard bibliography on the topic for a proper use of these primitives.

• Usage and interface (sockets)
• Documentation on exports (sockets)

Usage and interface (sockets)

Documentation on exports (sockets)

PREDICATE: connect_to_socket/3:

Usage: connect_to_socket(+Host,+Port,-(Stream))

• Description: Calls connect_to_socket_type/4 with SOCK_STREAM connection type. This is the connection type you want in order to use the write/2 and read/2 predicates (and other stream IO related predicates).
• Call and exit should be compatible with: +Host is an atom. (basic_props:atm/1) +Port is an integer. (basic_props:int/1) -(Stream) is an open stream. (streams_basic:stream/1)

PREDICATE: socket_recv/2:

Usage: socket_recv(+Stream,?(String))

• Description: As socket_recv_code/3, but the return code is ignored.
• Call and exit should be compatible with: +Stream is an open stream. (streams_basic:stream/1) ?(String) is a string (a list of character codes). (basic_props:string/1)

REGTYPE: socket_type/1:

Defines the atoms which can be used to specify the socket type recognized by connect_to_socket_type/4. Defined as follows:

socket_type(stream).
socket_type(dgram).
socket_type(raw).
socket_type(seqpacket).
socket_type(rdm).

Usage: socket_type(T)

• Description: T is a valid socket type.

PREDICATE: socket_recv_code/3:

Usage: socket_recv_code(+Stream,?(String),?(Length))

• Description: Receives a String from the socket associated to Stream, and returns its Length. If Length is -1, no more data is available.
• Call and exit should be compatible with: +Stream is an open stream. (streams_basic:stream/1) ?(String) is a string (a list of character codes). (basic_props:string/1) ?(Length) is an integer. (basic_props:int/1)

PREDICATE: socket_send/2:

Usage: socket_send(+Stream,+String)

• Description: Sends String to the socket associated to Stream. The socket has to be in connected state. String is not supposed to be NULL terminated, since it is a Prolog string. If a NULL terminated string is needed at the other side, it has to be explicitly created in Prolog.
• Call and exit should be compatible with: +Stream is an open stream. (streams_basic:stream/1) +String is a string (a list of character codes). (basic_props:string/1)

PREDICATE: select_socket/5:

Usage: select_socket(+Socket,-(NewStream),+TO_ms,+Streams,-(ReadStreams))

• Call and exit should be compatible with: +Socket is an integer. (basic_props:int/1) -(NewStream) is an open stream. (streams_basic:stream/1) +TO_ms is an integer. (basic_props:int/1) +Streams is a list of streams. (basic_props:list/2) -(ReadStreams) is a list of streams. (basic_props:list/2)

PREDICATE: socket_accept/2:

Usage: socket_accept(+Sock,-(Stream))

• Description: Creates a new Stream connected to Sock.
• Call and exit should be compatible with: +Sock is an integer. (basic_props:int/1) -(Stream) is an open stream. (streams_basic:stream/1)

PREDICATE: bind_socket/3:

Usage: bind_socket(?(Port),+Length,-(Socket))

• Description: Returs an AF_INET Socket bound to Port (which may be assigned by the OS or defined by the caller), and listens to it (hence no listen call in this set of primitives). Length specifies the maximum number of pending connections.
• Call and exit should be compatible with: ?(Port) is an integer. (basic_props:int/1) +Length is an integer. (basic_props:int/1) -(Socket) is an integer. (basic_props:int/1)

PREDICATE: connect_to_socket_type/4:

Usage: connect_to_socket_type(+Host,+Port,+Type,-(Stream))

• Description: Returns a Stream which connects to Host. The Type of connection can be defined. A Stream is returned, which can be used to write/2 to, to read/2, to socket_send/2 to, or to socket_recv/2 from the socket.
• Call and exit should be compatible with: +Host is currently instantiated to an atom. (term_typing:atom/1) +Port is an integer. (basic_props:int/1) +Type is a valid socket type. (sockets:socket_type/1) -(Stream) is an open stream. (streams_basic:stream/1)

Go to the first, previous, next, last section, table of contents.