deferred class ACCESS

All features

Access to a server running on some host (at some address).

Direct parents

non-conformant parents

SOCKET_HANDLER

Known children

conformant children

LOCAL_ACCESS, TCP_ACCESS, UDP_ACCESS

Summary

exported features

Details

port: INTEGER

The port on which the server runs

address: ADDRESS

The host of the server

deferred 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.

ensure

  • Result.is_connected

deferred socket: SOCKET

Create a low-level socket connected to the remote address and host.