indexing
	description: "A client for a socket."
	status: "See notice at end of class"
	date: "$Date$"
	revision: "$Revision$"
deferred class interface
	CLIENT
feature 
	cleanup
			
	in_out: SOCKET
			
	receive
			
	received: ANY
			in
	send (msg: ANY)
			msg
	
feature 
	address_in_use: BOOLEAN
			
			 SOCKET_RESOURCES
	address_not_readable: BOOLEAN
			
			 SOCKET_RESOURCES
	already_bound: BOOLEAN
			
			 SOCKET_RESOURCES
	bad_socket_handle: BOOLEAN
			
			 SOCKET_RESOURCES
	connect_in_progress: BOOLEAN
			
			 SOCKET_RESOURCES
	connection_refused: BOOLEAN
			
			 SOCKET_RESOURCES
	dtable_full: BOOLEAN
			
			 SOCKET_RESOURCES
	error: STRING
			
			 SOCKET_RESOURCES
	error_number: INTEGER
			
			 SOCKET_RESOURCES
	expired_socket: BOOLEAN
			
			 SOCKET_RESOURCES
	invalid_address: BOOLEAN
			
			 SOCKET_RESOURCES
	invalid_socket_handle: BOOLEAN
			
			 SOCKET_RESOURCES
	network: BOOLEAN
			
			 SOCKET_RESOURCES
	no_buffers: BOOLEAN
			
			 SOCKET_RESOURCES
	no_permission: BOOLEAN
			
			 SOCKET_RESOURCES
	not_connected: BOOLEAN
			
			 SOCKET_RESOURCES
	protected_address: BOOLEAN
			
			 SOCKET_RESOURCES
	protocol_not_supported: BOOLEAN
			
			 SOCKET_RESOURCES
	socket_family_not_supported: BOOLEAN
			
			 SOCKET_RESOURCES
	socket_in_use: BOOLEAN
			
			 SOCKET_RESOURCES
	socket_ok: BOOLEAN
			
			 SOCKET_RESOURCES
	socket_would_block: BOOLEAN
			
			 SOCKET_RESOURCES
	zero_option: BOOLEAN
			
			 SOCKET_RESOURCES
	
feature 
	c_msgdontroute: INTEGER
			
			 SOCKET_RESOURCES
	c_oobmsg: INTEGER
			
			 SOCKET_RESOURCES
	c_peekmsg: INTEGER
			
			 SOCKET_RESOURCES
	
invariant
		 ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)
end -- CLIENT