home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
INTERNALS_HANDLER
All features
deferred class ACCESS
Summary
top
Access to a server running on some host (at some address).
Direct parents
insert list:
SOCKET_HANDLER
Known children
inherit list:
LOCAL_ACCESS
,
TCP_ACCESS
,
UDP_ACCESS
Overview
top
features
port
:
INTEGER_32
The port on which the server runs
address
:
ADDRESS
The host of the server
error
:
STRING
If an error occurred
server
:
SOCKET_SERVER
Start a server on the given port on localhost, listening to connections bound to the given address.
stream
:
SOCKET_INPUT_OUTPUT_STREAM
Open a connection to the remote address and port.
sync_stream
:
SOCKET_INPUT_OUTPUT_STREAM
Open a read-blocking connection to the remote address and port.
a_stream
(read_sync:
BOOLEAN
):
CLIENT_SOCKET_INPUT_OUTPUT_STREAM
socket
:
SOCKET
Create a low-level socket connected to the remote address and host.
port
:
INTEGER_32
writable attribute
top
The port on which the server runs
address
:
ADDRESS
writable attribute
top
The host of the server
error
:
STRING
writable attribute
top
If an error occurred
server
:
SOCKET_SERVER
deferred function
top
Start a server on the given port on localhost, listening to connections bound to the given address.
stream
:
SOCKET_INPUT_OUTPUT_STREAM
effective function
top
Open a connection to the remote address and port.
ensure
error
= Void implies Result.is_connected
sync_stream
:
SOCKET_INPUT_OUTPUT_STREAM
effective function
top
Open a read-blocking connection to the remote address and port.
ensure
error
= Void implies Result.is_connected
a_stream
(read_sync:
BOOLEAN
):
CLIENT_SOCKET_INPUT_OUTPUT_STREAM
effective function
top
socket
:
SOCKET
deferred function
top
Create a low-level socket connected to the remote address and host.
ensure
error
= Void implies Result.is_connected