class SOCKET

Features exported to SOCKET_HANDLER

A low-level socket. Should not be used directly, but only via a SOCKET_INPUT_OUTPUT_STREAM.

Direct parents

conformant parents

DISPOSABLE

non-conformant parents

SOCKET_HANDLER, SOCKET_PLUG_IN, STRING_HANDLER

Summary

creation features

exported features

Details

make_local (ip_a: INTEGER, ip_b: INTEGER, ip_c: INTEGER, ip_d: INTEGER, a_port: INTEGER)
make_tcp (ip_a: INTEGER, ip_b: INTEGER, ip_c: INTEGER, ip_d: INTEGER, a_port: INTEGER)
make_udp (ip_a: INTEGER, ip_b: INTEGER, ip_c: INTEGER, ip_d: INTEGER, a_port: INTEGER)
bind (server: SOCKET_SERVER)

Binds the socket to the server.

require

  • not is_connected

is_connected: BOOLEAN
read (timeout: REAL)

require

  • is_connected

last_read: STRING
write (data: STRING)

require

  • is_connected
  • data /= Void

disconnect

require

  • is_connected

ensure

  • not is_connected

clear

require

  • not is_connected

a: INTEGER
b: INTEGER
c: INTEGER
d: INTEGER
port: INTEGER
fd: INTEGER
when_disconnected (a_listener: PROCEDURE [O_ -> TUPLE][TUPLE 1 [A_][SOCKET]])

require

  • a_listener /= Void

bind (server: SOCKET_SERVER)

Binds the socket to the server.

require

  • not is_connected