Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class FILE_URL General cluster: transfer description: "File URL." create: make Ancestors URL* Queries Default_port: INTEGER_32 Has_username: BOOLEAN Hash_code: INTEGER_32 is_correct: BOOLEAN Is_hashable: BOOLEAN Is_password_accepted: BOOLEAN Is_proxy_supported: BOOLEAN is_proxy_used: BOOLEAN location: STRING_8 path: PATH port: INTEGER_32 proxy_host: STRING_8 proxy_host_ok (host: STRING_8): BOOLEAN proxy_port: INTEGER_32 Service: 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