Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class WEL_COMMAND_MANAGER General cluster: wel description: "Command manager which is able to retrieve the command associated to a Windows message." create: make, hash_table_make Ancestors HASH_TABLE [G, K -> detachable HASHABLE] Queries after: BOOLEAN at alias "@" (key: INTEGER_32): detachable WEL_COMMAND_EXEC capacity: INTEGER_32 changeable_comparison_criterion: BOOLEAN conflict: BOOLEAN count: INTEGER_32 current_keys: ARRAY [INTEGER_32] cursor: CURSOR definite_item (key: INTEGER_32): WEL_COMMAND_EXEC disjoint (other: HASH_TABLE [WEL_COMMAND_EXEC, INTEGER_32]): BOOLEAN exists (message: INTEGER_32): BOOLEAN Extendible: BOOLEAN found: BOOLEAN found_item: detachable WEL_COMMAND_EXEC Full: BOOLEAN has (key: INTEGER_32): BOOLEAN has_item (v: WEL_COMMAND_EXEC): BOOLEAN has_key (key: INTEGER_32): BOOLEAN hash_code_of (a_key: attached INTEGER_32): INTEGER_32 inserted: BOOLEAN is_empty: BOOLEAN is_equal (other: [like Current] WEL_COMMAND_MANAGER): BOOLEAN is_inserted (v: WEL_COMMAND_EXEC): BOOLEAN item alias "[]" (key: INTEGER_32): detachable WEL_COMMAND_EXEC item_for_iteration: WEL_COMMAND_EXEC iteration_item (i: INTEGER_32): WEL_COMMAND_EXEC iteration_lower: INTEGER_32 iteration_upper: INTEGER_32 key_for_iteration: INTEGER_32 linear_representation: ARRAYED_LIST [WEL_COMMAND_EXEC] Mismatch_information: MISMATCH_INFORMATION new_cursor: HASH_TABLE_ITERATION_CURSOR [WEL_COMMAND_EXEC, INTEGER_32] not_found: BOOLEAN object_comparison: BOOLEAN occurrences (v: WEL_COMMAND_EXEC): INTEGER_32 off: BOOLEAN prunable: BOOLEAN removed: BOOLEAN replaced: BOOLEAN same_keys (a_search_key, a_key: INTEGER_32): BOOLEAN valid_cursor (c: CURSOR): BOOLEAN valid_iteration_index (i: INTEGER_32): BOOLEAN Commands accommodate (n: INTEGER_32) bag_put (v: WEL_COMMAND_EXEC) collection_extend (v: WEL_COMMAND_EXEC) compare_objects compare_references copy (other: [like Current] WEL_COMMAND_MANAGER) correct_mismatch extend (new: WEL_COMMAND_EXEC; key: INTEGER_32) fill (other: CONTAINER [WEL_COMMAND_EXEC]) force (command: WEL_COMMAND_EXEC; message: INTEGER_32) forth go_to (c: CURSOR) hash_table_force (new: WEL_COMMAND_EXEC; key: INTEGER_32) hash_table_make (n: INTEGER_32) hash_table_remove (key: INTEGER_32) make make_equal (n: INTEGER_32) merge (other: HASH_TABLE [WEL_COMMAND_EXEC, INTEGER_32]) prune (v: WEL_COMMAND_EXEC) prune_all (v: WEL_COMMAND_EXEC) put (new: WEL_COMMAND_EXEC; key: INTEGER_32) remove (message: INTEGER_32) replace (new: WEL_COMMAND_EXEC; key: INTEGER_32) replace_key (new_key, old_key: INTEGER_32) search (key: INTEGER_32) start wipe_out
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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