+
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, a_sync: BOOLEAN): INTEGER_32
- 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
- net_local (a_port: INTEGER_32, a_sync: BOOLEAN): 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], a_sync: BOOLEAN)
- net_disconnect (a_fd: INTEGER_32)
- net_shutdown (a_fd: INTEGER_32)
- net_last_error: POINTER
- net_last_error_number: INTEGER_32
- net_last_error_try_again: BOOLEAN
- net_hostname (a_hostname: POINTER): INTEGER_32
- net_tcp_server (port: INTEGER_32, a_sync: BOOLEAN): INTEGER_32
- net_udp_server (port: INTEGER_32, a_sync: BOOLEAN): INTEGER_32
- net_local_server (port: INTEGER_32, a_sync: BOOLEAN): INTEGER_32
- net_bind_server (socket: INTEGER_32, port: INTEGER_32, sockfamily: INTEGER_32): INTEGER_32
- net_set_int_option (fd: INTEGER_32, level: INTEGER_32, optname: INTEGER_32, opt_val: INTEGER_32): INTEGER_32
- net_tcp_socket (sync: BOOLEAN): INTEGER_32
- net_udp_socket (sync: BOOLEAN): INTEGER_32
- net_local_socket (sync: BOOLEAN): 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