Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class NETWORK_RESOURCE_URL General cluster: transfer description: "URLs for network resources" Ancestors HOST_VALIDITY_CHECKER URL* Queries default_port: INTEGER_32 has_username: BOOLEAN hash_code: INTEGER_32 host: STRING_8 is_correct: BOOLEAN is_equal (other: [like Current] NETWORK_RESOURCE_URL): BOOLEAN is_hashable: BOOLEAN is_host_correct (h: STRING_8): BOOLEAN is_password_accepted: BOOLEAN is_path_correct (p: STRING_8): BOOLEAN is_proxy_supported: BOOLEAN is_proxy_used: BOOLEAN location: STRING_8 password: STRING_8 path: STRING_8 port: INTEGER_32 proxy_host: STRING_8 proxy_host_ok (h: STRING_8): BOOLEAN proxy_port: INTEGER_32 service: STRING_8 username: STRING_8 Commands reset_proxy set_password (pw: STRING_8) set_port (port_no: INTEGER_32) set_proxy (host: STRING_8; port_no: INTEGER_32) set_proxy_information (pi: PROXY_INFORMATION) set_username (un: STRING_8) Constraints username exists password exists password constraint host not void
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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