Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class URL General cluster: transfer description: "Unified resource locators" Ancestors HASHABLE* 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 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) Constraints proxy used definition proxy usage constraint
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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