+
Point of view
All features
class UDP_ACCESS
features
- net_tcp (ip_a: INTEGER_32, ip_b: INTEGER_32, ip_c: INTEGER_32, ip_d: INTEGER_32, a_port: INTEGER_32): INTEGER_32
- net_udp (ip_a: INTEGER_32, ip_b: INTEGER_32, ip_c: INTEGER_32, ip_d: INTEGER_32, a_port: INTEGER_32): INTEGER_32
- net_local (a_port: INTEGER_32): INTEGER_32
- net_select (a_fd: INTEGER_32, a_timeout: REAL_64): INTEGER_32
- net_read (a_fd: INTEGER_32, a_count: INTEGER_32, a_buffer: POINTER, sync: BOOLEAN): INTEGER_32
- net_write (a_fd: INTEGER_32, a_count: INTEGER_32, a_buffer: NATIVE_ARRAY[CHARACTER]): INTEGER_32
- net_accept (a_fd: INTEGER_32, a_val: NATIVE_ARRAY[INTEGER_32])
- net_disconnect (a_fd: INTEGER_32)
- net_shutdown (a_fd: INTEGER_32)
- net_last_error: POINTER
- net_last_error_number: INTEGER_32
- net_hostname (a_hostname: POINTER): INTEGER_32
- net_tcp_server (port: INTEGER_32): INTEGER_32
- net_udp_server (port: INTEGER_32): INTEGER_32
- net_local_server (port: INTEGER_32): INTEGER_32
require
- a_address /= Void
- a_port.in_range(1, 65535)
ensure
- error = Void implies Result.is_connected
ensure
- error = Void implies Result.is_connected
ensure
- error = Void implies Result.is_connected