+
Point of view
All features
class LOCAL_SOCKET
Summary
top
A local SOCKET.
Direct parents
Inherit list: SOCKET_IMPL
Class invariant
top
Overview
top
Creation features
{SOCKET_HANDLER}
Features
{SOCKET_HANDLER}
{SOCKET_SERVER, SOCKET_HANDLER}
{}
{SOCKET_HANDLER}
{}
{SOCKET_HANDLER}
socket listeners
{}
{RECYCLING_POOL}
  • recycle
    Do whatever needs to be done to free resources or recycle other objects when recycling this one
really low level
{}
  • dispose
    Action to be executed just before garbage collection reclaims an object.
{}
Plugin
{}
Name resolution -- see LOCALHOST
{}
Macros for setting options
{}
port: INTEGER_32
writable attribute
{SOCKET_HANDLER}
top
bind (server: SOCKET_SERVER, a_sync: BOOLEAN)
effective procedure
{SOCKET_SERVER, SOCKET_HANDLER}
top
Binds the socket to the server.
make (a_port: INTEGER_32, a_sync: BOOLEAN)
effective procedure
{}
top
bind_values: NATIVE_ARRAY[INTEGER_32]
writable attribute
{}
top
is_connected: BOOLEAN
writable attribute
{SOCKET_HANDLER}
top
ensure
  • Result implies is_remote_connected
is_remote_connected: BOOLEAN
writable attribute
{SOCKET_HANDLER}
top
error: STRING
writable attribute
{SOCKET_HANDLER}
top
read
effective procedure
{SOCKET_HANDLER}
top
require
  • is_connected
last_read: STRING
effective function
{SOCKET_HANDLER}
top
require
  • is_connected
write (data: STRING)
effective procedure
{SOCKET_HANDLER}
top
require
  • is_connected
  • data /= Void
disconnect
effective procedure
{SOCKET_HANDLER}
top
require
  • is_connected
ensure
  • not is_connected
  • not is_remote_connected
clear
effective procedure
{SOCKET_HANDLER}
top
require
  • not is_connected
writable attribute
{SOCKET_HANDLER}
top
set_sync (a_sync: BOOLEAN)
effective procedure
{SOCKET_HANDLER}
top
set blocking mode for reading, True is blocking, False nonblocking
ensure
  • sync = a_sync
sync: BOOLEAN
writable attribute
{SOCKET_HANDLER}
top
the blocking mode for reading from the socket, True is blocking, False nonblocking
connect (a_fd: INTEGER_32)
effective procedure
{}
top
buffer_size: INTEGER_32
writable attribute
{}
top
delay_read: BOOLEAN
writable attribute
{}
top
delayed_read
effective procedure
{}
top
require ensure
last_delayed_read: STRING
writable attribute
{}
top
default_buffer_size: INTEGER_32
is 8192
constant attribute
{SOCKET_HANDLER}
top
when_disconnected (a_listener: PROCEDURE[TUPLE 1[SOCKET]])
effective procedure
{SOCKET_HANDLER}
top
require
  • a_listener /= Void
disconnected_listeners: FAST_ARRAY[PROCEDURE[TUPLE 1[SOCKET]]]
writable attribute
{}
top
fire_disconnected
effective procedure
{}
top
recycle
effective procedure
{RECYCLING_POOL}
top
Do whatever needs to be done to free resources or recycle other objects when recycling this one
dispose
effective procedure
{}
top
Action to be executed just before garbage collection reclaims an object.
require
last_error: STRING
effective function
{}
top
last_error_number: INTEGER_32
effective function
{}
top
require
net_tcp (ip_a: INTEGER_32, ip_b: INTEGER_32, ip_c: INTEGER_32, ip_d: INTEGER_32, a_port: INTEGER_32, a_sync: BOOLEAN): INTEGER_32
{}
top
net_udp (ip_a: INTEGER_32, ip_b: INTEGER_32, ip_c: INTEGER_32, ip_d: INTEGER_32, a_port: INTEGER_32, a_sync: BOOLEAN): INTEGER_32
{}
top
net_local (a_port: INTEGER_32, a_sync: BOOLEAN): INTEGER_32
{}
top
net_select (a_fd: INTEGER_32, a_timeout: REAL_64): INTEGER_32
{}
top
net_read (a_fd: INTEGER_32, a_count: INTEGER_32, a_buffer: POINTER, sync: BOOLEAN): INTEGER_32
{}
top
net_write (a_fd: INTEGER_32, a_count: INTEGER_32, a_buffer: NATIVE_ARRAY[CHARACTER]): INTEGER_32
{}
top
net_accept (a_fd: INTEGER_32, a_val: NATIVE_ARRAY[INTEGER_32], a_sync: BOOLEAN)
{}
top
net_disconnect (a_fd: INTEGER_32)
{}
top
net_shutdown (a_fd: INTEGER_32)
{}
top
net_last_error: POINTER
{}
top
net_last_error_number: INTEGER_32
{}
top
net_last_error_try_again: BOOLEAN
{}
top
net_hostname (a_hostname: POINTER): INTEGER_32
{}
top
net_tcp_server (port: INTEGER_32, a_sync: BOOLEAN): INTEGER_32
{}
top
net_udp_server (port: INTEGER_32, a_sync: BOOLEAN): INTEGER_32
{}
top
net_local_server (port: INTEGER_32, a_sync: BOOLEAN): INTEGER_32
{}
top
net_bind_server (socket: INTEGER_32, port: INTEGER_32, sockfamily: INTEGER_32): INTEGER_32
{}
top
net_set_int_option (fd: INTEGER_32, level: INTEGER_32, optname: INTEGER_32, opt_val: INTEGER_32): INTEGER_32
{}
top
net_tcp_socket (sync: BOOLEAN): INTEGER_32
{}
top
net_udp_socket (sync: BOOLEAN): INTEGER_32
{}
top
net_local_socket (sync: BOOLEAN): INTEGER_32
{}
top
net_gethostname: POINTER
{}
top
net_sethostname (hn: POINTER, size: INTEGER_32)
{}
top
net_getdomainname: POINTER
{}
top
net_setdomainname (dn: POINTER, size: INTEGER_32)
{}
top
sol_socket: INTEGER_32
{}
top
so_reuse_addr: INTEGER_32
{}
top
af_inet: INTEGER_32
{}
top