    class
    	SOCKET_RESOURCES

    General
    	cluster: abstract
    	description: "Resources require for EiffelNet."

    Ancestors
    	ANY

    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
    	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
    	socket_family_not_supported: BOOLEAN
    	socket_in_use: BOOLEAN
    	socket_ok: BOOLEAN
    	socket_would_block: BOOLEAN
    	zero_option: BOOLEAN