deferred class
	DATA_RESOURCE

General
	cluster: net.transfer.resources
	description: "Data resources"

Ancestors
	DATA_RESOURCE_ERROR_CONSTANTS
	HASHABLE

Queries
	address: 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] DATA_RESOURCE): BOOLEAN
	is_hashable: 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_proxy
	reuse_connection (other: DATA_RESOURCE)
	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

Constraints
	address assigned
	timeout non negative
	packet constraint
	pending constraint
	error definition
	valid count constraint
	mode constraint