Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class FTP_URL General cluster: transfer description: "URLs for FTP resources" create: make Ancestors NETWORK_RESOURCE_URL* Queries Default_port: INTEGER_32 Has_username: BOOLEAN hash_code: INTEGER_32 host: STRING_8 is_correct: BOOLEAN is_equal (other: [like Current] FTP_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)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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