Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class INET_ADDRESS_FACTORY General cluster: network description: "Factory of {INET_ADDRESS}." Ancestors INET_PROPERTIES SOCKET_RESOURCES 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 create_any_local: INET_ADDRESS create_from_address (address: ARRAY [NATURAL_8]): detachable INET_ADDRESS create_from_name (hostname: READABLE_STRING_8): detachable INET_ADDRESS create_from_sockaddr (sockaddr: POINTER): detachable INET_ADDRESS create_localhost: INET_ADDRESS create_loopback: INET_ADDRESS dtable_full: BOOLEAN error: STRING_8 error_number: INTEGER_32 expired_socket: BOOLEAN invalid_address: BOOLEAN invalid_socket_handle: BOOLEAN is_ipv4_stack_preferred: BOOLEAN is_ipv6_available: 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 Commands set_ipv4_stack_preferred (preference: BOOLEAN)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org