    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