Automatic generation produced by ISE Eiffel
deferred class NETWORK_SERVER General cluster: network description: "A server for a network socket." Ancestors SERVER* Queries address_in_use: BOOLEAN address_not_readable: BOOLEAN already_bound: BOOLEAN bad_socket_handle: BOOLEAN c_msgdontroute: INTEGER_32 c_oobmsg: INTEGER_32 c_peekmsg: INTEGER_32 connect_in_progress: BOOLEAN connection_refused: BOOLEAN dtable_full: BOOLEAN error: STRING_8 error_number: INTEGER_32 expired_socket: BOOLEAN in: NETWORK_STREAM_SOCKET invalid_address: BOOLEAN invalid_socket_handle: BOOLEAN network: BOOLEAN no_buffers: BOOLEAN no_permission: BOOLEAN not_connected: BOOLEAN outflow: [detachable like in] detachable NETWORK_STREAM_SOCKET protected_address: BOOLEAN protocol_not_supported: BOOLEAN queued: INTEGER_32 received: detachable ANY socket_family_not_supported: BOOLEAN socket_in_use: BOOLEAN socket_ok: BOOLEAN socket_would_block: BOOLEAN zero_option: BOOLEAN Commands cleanup close execute make (a_port: INTEGER_32) process_message receive resend (msg: ANY) respond set_queued (n: INTEGER_32) -- Generated by Eiffel Studio --
For more details: eiffel.org