Automatic generation produced by ISE Eiffel
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 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: detachable WEL_COMMAND_EXEC): BOOLEAN has_key (key: INTEGER_32): BOOLEAN inserted: BOOLEAN is_empty: BOOLEAN is_equal (other: [attached like Current] attached WEL_COMMAND_MANAGER): BOOLEAN is_inserted (v: detachable WEL_COMMAND_EXEC): BOOLEAN item alias "[]" (key: INTEGER_32): detachable WEL_COMMAND_EXEC item_for_iteration: WEL_COMMAND_EXEC iteration_index_set: INTEGER_INTERVAL iteration_item (i: INTEGER_32): WEL_COMMAND_EXEC 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: detachable 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 valid_key (k: INTEGER_32): BOOLEAN Commands accommodate (n: INTEGER_32) compare_objects compare_references copy (other: [attached like Current] attached WEL_COMMAND_MANAGER) extend (new: WEL_COMMAND_EXEC; key: INTEGER_32) fill (other: CONTAINER [detachable 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 merge (other: HASH_TABLE [WEL_COMMAND_EXEC, INTEGER_32]) prune (v: detachable 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 -- Generated by Eiffel Studio --
For more details: docs.eiffel.com