class SOCKET

All features

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

socket listeners

really low level

Plugin

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

common_make (ip_a: INTEGER, ip_b: INTEGER, ip_c: INTEGER, ip_d: INTEGER, a_port: INTEGER)
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)
dispose

Action to be executed just before garbage collection reclaims an object.

require

  • should_not_rely_on_gc: not is_connected

read_more: INTEGER
connect (a_fd: INTEGER)
disconnected_listeners: FAST_ARRAY [E_][PROCEDURE [O_ -> TUPLE][TUPLE 1 [A_][SOCKET]]]
fire_disconnected
bind_values: NATIVE_ARRAY [E_][INTEGER]
default_buffer_size: INTEGER
last_error: STRING
last_error_memory: STRING
net_tcp (ip_a: INTEGER, ip_b: INTEGER, ip_c: INTEGER, ip_d: INTEGER, a_port: INTEGER): INTEGER
net_udp (ip_a: INTEGER, ip_b: INTEGER, ip_c: INTEGER, ip_d: INTEGER, a_port: INTEGER): INTEGER
net_local (a_port: INTEGER): INTEGER
net_select (a_fd: INTEGER, a_timeout: REAL): INTEGER
net_read (a_fd: INTEGER, a_count: INTEGER, a_buffer: POINTER): INTEGER
net_write (a_fd: INTEGER, a_count: INTEGER, a_buffer: NATIVE_ARRAY [E_][CHARACTER]): INTEGER
net_accept (a_fd: INTEGER, a_val: NATIVE_ARRAY [E_][INTEGER])
net_disconnect (a_fd: INTEGER)
net_shutdown (a_fd: INTEGER)
net_last_error: POINTER
net_last_error_number: INTEGER
net_hostname (a_hostname: POINTER): INTEGER
net_tcp_server (port: INTEGER): INTEGER
net_udp_server (port: INTEGER): INTEGER
net_local_server (port: INTEGER): INTEGER