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