Automatic generation produced by ISE Eiffel
class NETWORK_CLIENT General cluster: network description: "A client for a network socket." create: make Ancestors CLIENT* 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_out: NETWORK_STREAM_SOCKET invalid_address: BOOLEAN invalid_socket_handle: BOOLEAN network: BOOLEAN no_buffers: BOOLEAN no_permission: BOOLEAN not_connected: BOOLEAN protected_address: BOOLEAN protocol_not_supported: BOOLEAN received: detachable ANY socket_family_not_supported: BOOLEAN socket_in_use: BOOLEAN socket_ok: BOOLEAN socket_would_block: BOOLEAN zero_option: BOOLEAN Commands cleanup make (a_peer_port: INTEGER_32; a_peer_name: STRING_8) receive send (msg: ANY) -- Generated by Eiffel Studio --
For more details: eiffel.org