Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SED_TYPE_MISMATCH General cluster: ise description: "Store all information about a mismatch in a type." create: make Ancestors ANY Queries attribute_info: TUPLE [STRING_8, STRING_8, INTEGER_32, INTEGER_32, INTEGER_32, INTEGER_32, BOOLEAN, BOOLEAN, BOOLEAN] has_new_attached_attribute: BOOLEAN has_new_attribute: BOOLEAN has_version_mismatch: BOOLEAN mismatches_by_name: HASH_TABLE [[like attribute_info] TUPLE [STRING_8, STRING_8, INTEGER_32, INTEGER_32, INTEGER_32, INTEGER_32, BOOLEAN, BOOLEAN, BOOLEAN], STRING_8] mismatches_by_stored_position: HASH_TABLE [[like attribute_info] TUPLE [STRING_8, STRING_8, INTEGER_32, INTEGER_32, INTEGER_32, INTEGER_32, BOOLEAN, BOOLEAN, BOOLEAN], INTEGER_32] new_count: INTEGER_32 new_version: detachable IMMUTABLE_STRING_8 old_count: INTEGER_32 old_version: detachable IMMUTABLE_STRING_8 type_id: INTEGER_32 Commands add_attribute_count_mismatch (a_old_count, a_new_count: INTEGER_32) add_attribute_mismatch (a_old_attr_type, a_new_attr_type: INTEGER_32; a_old_name, a_new_name: STRING_8; a_old_pos, a_new_pos: INTEGER_32) add_new_attribute_mismatch (a_added_attribute_count: INTEGER_32) add_removed_attribute (a_old_attr_type: INTEGER_32; a_old_name, a_new_name: STRING_8; a_old_pos: INTEGER_32) add_version_mismatch (a_old_version, a_new_version: detachable IMMUTABLE_STRING_8) add_void_safe_mismatch (a_old_attr_type, a_new_attr_type: INTEGER_32; a_old_name, a_new_name: STRING_8; a_old_pos, a_new_pos: INTEGER_32) Constraints type id non negative counts non negative
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org