    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