Automatic generation produced by ISE Eiffel
class MISMATCH_INFORMATION General cluster: elks description: "Original values of the attributes of a mismatched object." create: default_create, make Ancestors HASH_TABLE [G, K -> detachable HASHABLE] Queries after: BOOLEAN at alias "@" (key: STRING_8): detachable ANY capacity: INTEGER_32 changeable_comparison_criterion: BOOLEAN class_name: STRING_8 conflict: BOOLEAN count: INTEGER_32 current_keys: ARRAY [STRING_8] current_version: detachable IMMUTABLE_STRING_8 cursor: CURSOR definite_item (key: STRING_8): detachable ANY disjoint (other: HASH_TABLE [detachable ANY, STRING_8]): BOOLEAN Extendible: BOOLEAN found: BOOLEAN found_item: detachable ANY Full: BOOLEAN has (key: STRING_8): BOOLEAN has_item (v: detachable ANY): BOOLEAN has_key (key: STRING_8): BOOLEAN hash_code_of (a_key: attached STRING_8): INTEGER_32 inserted: BOOLEAN is_empty: BOOLEAN is_equal (other: [like Current] MISMATCH_INFORMATION): BOOLEAN is_inserted (v: detachable ANY): BOOLEAN is_version_mismatched: BOOLEAN item alias "[]" (key: STRING_8): detachable ANY item_for_iteration: detachable ANY iteration_item (i: INTEGER_32): detachable ANY iteration_lower: INTEGER_32 iteration_upper: INTEGER_32 key_for_iteration: STRING_8 linear_representation: ARRAYED_LIST [detachable ANY] Mismatch_information: MISMATCH_INFORMATION new_cursor: HASH_TABLE_ITERATION_CURSOR [detachable ANY, STRING_8] not_found: BOOLEAN object_comparison: BOOLEAN occurrences (v: detachable ANY): INTEGER_32 off: BOOLEAN out: STRING_8 prunable: BOOLEAN removed: BOOLEAN replaced: BOOLEAN same_keys (a_search_key, a_key: STRING_8): BOOLEAN stored_version: detachable IMMUTABLE_STRING_8 Type_name_key: STRING_8 valid_cursor (c: CURSOR): BOOLEAN valid_iteration_index (i: INTEGER_32): BOOLEAN Commands accommodate (n: INTEGER_32) bag_put (v: detachable ANY) collection_extend (v: detachable ANY) compare_objects compare_references copy (other: [like Current] MISMATCH_INFORMATION) correct_mismatch default_create extend (new: detachable ANY; key: STRING_8) fill (other: CONTAINER [detachable ANY]) force (new: detachable ANY; key: STRING_8) forth go_to (c: CURSOR) make (n: INTEGER_32) make_equal (n: INTEGER_32) make_from_iterable_tuples (other: ITERABLE [TUPLE [detachable ANY, STRING_8]]) merge (other: HASH_TABLE [detachable ANY, STRING_8]) prune (v: detachable ANY) prune_all (v: detachable ANY) put (new: detachable ANY; key: STRING_8) remove (key: STRING_8) replace (new: detachable ANY; key: STRING_8) replace_key (new_key, old_key: STRING_8) search (key: STRING_8) set_versions (a_stored_version: [like stored_version] detachable IMMUTABLE_STRING_8; a_current_version: [like current_version] detachable IMMUTABLE_STRING_8) start wipe_out -- Generated by Eiffel Studio --
For more details: eiffel.org