class
	TRANSFER_MANAGER_BUILDER_IMPL

General
	cluster: transfer
	description: "Implementation of transfer manager builder"
	create: make

Ancestors
	DATA_RESOURCE_FACTORY
	HOST_VALIDITY_CHECKER

Queries
	count: INTEGER_32
	error: BOOLEAN
	error_reason: STRING_8
	host_ok (h: STRING_8): BOOLEAN
	is_address_correct (addr: STRING_8; mode: INTEGER_32): BOOLEAN
	is_empty: BOOLEAN
	is_mode_valid (mode: INTEGER_32): BOOLEAN
	last_added_source_correct: BOOLEAN
	last_added_target_correct: BOOLEAN
	manager: TRANSFER_MANAGER
	manager_built: BOOLEAN
	transaction (n: INTEGER_32): TRANSACTION
	transfer_finished: BOOLEAN
	transfer_succeeded: BOOLEAN

Commands
	add_transaction (s, t: STRING_8)
	build_manager
	remove_transaction (n: INTEGER_32)
	reset_proxies
	reset_source_proxy
	reset_target_proxy
	set_proxies (host: STRING_8; port: INTEGER_32)
	set_source_proxy (host: STRING_8; port: INTEGER_32)
	set_target_proxy (host: STRING_8; port: INTEGER_32)
	set_timeout (s: INTEGER_32)
	transfer
	wipe_out

Constraints
	readable set exists
	writable set exists
	resource hash
	success constraint
	count equality