class
	HTTP_PROTOCOL

General
	cluster: net.transfer.resources
	description: "Files accessed via HTTP"
	create: make

Ancestors
	NETWORK_RESOURCE

Queries
	address: NETWORK_RESOURCE_URL
	address_exists: BOOLEAN
	assertion_violation: BOOLEAN
	bytes_transferred: INTEGER
	Check_instruction: INTEGER
	Class_invariant: INTEGER
	class_name: STRING
	Com_exception: INTEGER
	count: INTEGER
	Default_buffer_size: INTEGER
	Developer_exception: INTEGER
	developer_exception_name: STRING
	error: BOOLEAN
	error_code: INTEGER
	error_text (code: INTEGER): STRING
	exception: INTEGER
	exception_trace: STRING
	External_exception: INTEGER
	Floating_point_exception: INTEGER
	has_packet: BOOLEAN
	hash_code: INTEGER
	Incorrect_inspect_value: INTEGER
	Io_exception: INTEGER
	is_count_valid: BOOLEAN
	is_developer_exception: BOOLEAN
	is_developer_exception_of_name (name: STRING): BOOLEAN
	is_equal (other: [like Current] HTTP_PROTOCOL): BOOLEAN
	is_hashable: BOOLEAN
	is_mode_set: BOOLEAN
	is_open: BOOLEAN
	is_packet_pending: BOOLEAN
	is_proxy_supported: BOOLEAN
	is_proxy_used: BOOLEAN
	is_readable: BOOLEAN
	is_signal: BOOLEAN
	is_system_exception: BOOLEAN
	Is_writable: BOOLEAN
	last_packet: STRING
	last_packet_size: INTEGER
	location: STRING
	Loop_invariant: INTEGER
	Loop_variant: INTEGER
	meaning (except: INTEGER): STRING
	mode: INTEGER
	No_more_memory: INTEGER
	Operating_system_exception: INTEGER
	original_class_name: STRING
	original_exception: INTEGER
	original_recipient_name: STRING
	original_tag_name: STRING
	port: INTEGER
	Postcondition: INTEGER
	Precondition: INTEGER
	read_buffer_size: INTEGER
	read_mode: BOOLEAN
	recipient_name: STRING
	Rescue_exception: INTEGER
	Retrieve_exception: INTEGER
	Routine_failure: INTEGER
	Runtime_io_exception: INTEGER
	service: STRING
	Signal_exception: INTEGER
	Supports_multiple_transactions: BOOLEAN
	tag_name: STRING
	timeout: INTEGER
	transfer_initiated: BOOLEAN
	valid_mode (n: INTEGER): BOOLEAN
	Void_assigned_to_expanded: INTEGER
	Void_call_target: INTEGER
	Write_mode: BOOLEAN

Commands
	catch (code: INTEGER)
	close
	die (code: INTEGER)
	dispose
	ignore (code: INTEGER)
	initiate_transfer
	message_on_failure
	no_message_on_failure
	open
	put (other: DATA_RESOURCE)
	raise (name: STRING)
	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
	headers list exists
	count constraint