class CLASS_NAME_TRANSLATIONS General cluster: base description: "Translations of class names between a storing and a retrieving system. Values in this table are names of classes in the retrieving system, indexed by names of generating classes in the storing system (i.e. with no generic arguments). Values may have generic arguments (e.g. %"MY_CLASS [DOUBLE]%"), thus allowing a very simple conversion of a non-generic class into a generic class. The presence of entries in this table affects all retrieve operations for objects stored using `independent_store'." create: default_create Ancestors HASH_TABLE [G, H -> HASHABLE] Queries after: BOOLEAN capacity: INTEGER_32 changeable_comparison_criterion: BOOLEAN conflict: BOOLEAN count: INTEGER_32 current_keys: ARRAY [STRING_8] cursor: CURSOR Extendible: BOOLEAN found: BOOLEAN found_item: STRING_8 Full: BOOLEAN has (key: STRING_8): BOOLEAN has_item (v: STRING_8): BOOLEAN infix "@" (key: STRING_8): STRING_8 inserted: BOOLEAN is_empty: BOOLEAN is_equal (other: [like Current] CLASS_NAME_TRANSLATIONS): BOOLEAN is_inserted (v: STRING_8): BOOLEAN item alias "[]" (key: STRING_8): STRING_8 item_for_iteration: STRING_8 key_for_iteration: STRING_8 linear_representation: ARRAYED_LIST [STRING_8] not_found: BOOLEAN object_comparison: BOOLEAN occurrences (v: STRING_8): INTEGER_32 off: BOOLEAN out: STRING_8 prunable: BOOLEAN removed: BOOLEAN replaced: BOOLEAN valid_cursor (c: CURSOR): BOOLEAN valid_key (k: STRING_8): BOOLEAN Commands accommodate (n: INTEGER_32) clear_all compare_objects compare_references copy (other: [like Current] CLASS_NAME_TRANSLATIONS) default_create extend (new, key: STRING_8) fill (other: CONTAINER [STRING_8]) force (new, key: STRING_8) forth go_to (c: CURSOR) make (n: INTEGER_32) merge (other: HASH_TABLE [STRING_8, STRING_8]) put (new, key: STRING_8) replace (new, key: STRING_8) search (key: STRING_8) start