class
	FTP_URL

General
	cluster: transfer
	description: "URLs for FTP resources"
	create: make

Ancestors
	NETWORK_RESOURCE_URL*

Queries
	Default_port: INTEGER_32
	Has_username: BOOLEAN
	hash_code: INTEGER_32
	host: STRING_8
	is_correct: BOOLEAN
	is_equal (other: [like Current] FTP_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)