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

Generated by ISE EiffelStudio