class
	FILE_PROTOCOL

General
	cluster: net.transfer.resources
	description: "The FILE protocol"
	create: make

Ancestors
	DATA_RESOURCE

Queries
	address: FILE_URL
	address_exists: BOOLEAN
	bytes_transferred: INTEGER
	count: INTEGER
	error: BOOLEAN
	error_code: INTEGER
	error_text (code: INTEGER): STRING
	has_packet: BOOLEAN
	hash_code: INTEGER
	Is_count_valid: BOOLEAN
	is_equal (other: [like Current] FILE_PROTOCOL): BOOLEAN
	is_hashable: BOOLEAN
	Is_local: BOOLEAN
	is_mode_set: BOOLEAN
	is_open: BOOLEAN
	is_packet_pending: BOOLEAN
	is_proxy_supported: BOOLEAN
	is_readable: BOOLEAN
	is_writable: BOOLEAN
	last_packet: STRING
	last_packet_size: INTEGER
	location: STRING
	mode: INTEGER
	port: INTEGER
	read_buffer_size: INTEGER
	read_mode: BOOLEAN
	service: STRING
	Supports_multiple_transactions: BOOLEAN
	timeout: INTEGER
	transfer_initiated: BOOLEAN
	valid_mode (n: INTEGER): BOOLEAN
	write_mode: BOOLEAN

Commands
	close
	dispose
	initiate_transfer
	open
	put (other: DATA_RESOURCE)
	read
	reset_error
	reset_overwrite_mode
	reset_proxy
	reuse_connection (other: DATA_RESOURCE)
	set_overwrite_mode
	set_password (pw: STRING)
	set_port (port_no: INTEGER)
	set_proxy (host: STRING; port_no: INTEGER)
	set_proxy_information (pi: PROXY_INFORMATION)
	set_read_buffer_size (n: INTEGER)
	set_read_mode
	set_timeout (n: INTEGER)
	set_username (un: STRING)
	set_write_mode