class WEL_COMMAND_MANAGER General cluster: wel description: "Command manager which is able to retrieve the command associated to a Windows message." create: make Ancestors HASH_TABLE [G, H -> HASHABLE] Queries after: BOOLEAN capacity: INTEGER_32 changeable_comparison_criterion: BOOLEAN conflict: BOOLEAN count: INTEGER_32 current_keys: ARRAY [INTEGER_32] cursor: CURSOR exists (message: INTEGER_32): BOOLEAN Extendible: BOOLEAN found: BOOLEAN found_item: WEL_COMMAND_EXEC Full: BOOLEAN has (key: INTEGER_32): BOOLEAN has_item (v: WEL_COMMAND_EXEC): BOOLEAN infix "@" (key: INTEGER_32): WEL_COMMAND_EXEC 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): WEL_COMMAND_EXEC item_for_iteration: WEL_COMMAND_EXEC key_for_iteration: INTEGER_32 linear_representation: ARRAYED_LIST [WEL_COMMAND_EXEC] not_found: BOOLEAN object_comparison: BOOLEAN occurrences (v: WEL_COMMAND_EXEC): INTEGER_32 off: BOOLEAN prunable: BOOLEAN removed: BOOLEAN replaced: BOOLEAN valid_cursor (c: CURSOR): BOOLEAN valid_key (k: INTEGER_32): BOOLEAN Commands accommodate (n: INTEGER_32) clear_all compare_objects compare_references copy (other: [like Current] WEL_COMMAND_MANAGER) 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 merge (other: HASH_TABLE [WEL_COMMAND_EXEC, INTEGER_32]) 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