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