class UDP_ACCESS

Features exported to ANY

Access to a UDP server.

Direct parents

conformant parents

ACCESS

non-conformant parents

SOCKET_PLUG_IN

Summary

creation features

exported features

Details

make (a_address: ADDRESS, a_port: INTEGER)

Access to a server on the given host address listening at the given port

require

  • a_address /= Void
  • a_port.in_range(1, 65535)

server: SOCKET_SERVER

Start a server on the given port on localhost, listening to connections bound to the given address.

port: INTEGER

The port on which the server runs

address: ADDRESS

The host of the server

stream: SOCKET_INPUT_OUTPUT_STREAM

Open a connection to the remote address and port.

ensure

  • Result.is_connected