Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
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 Resource_factory: DATA_RESOURCE_FACTORY_IMPL 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
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org