    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)