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
	name: FILE_NAME
	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)