note description: "Original values of the attributes of a mismatched object." instructions: "[ This object will contain the original values of the attributes of a retrieved object for which a mismatched was detected at retrieval time. The value are indexed by the name of the attribute in the stored object. One extra entry is provided to contain the original name of the class in the storing system, indexed by the string 'class'. This allows correct_mismatch to determine the original name of its generating class in case class-name translation is in effect. ]" library: "Free implementation of ELKS library" status: "See notice at end of class." legal: "See notice at end of class." date: "$Date: 2020-05-19 14:29:33 +0000 (Tue, 19 May 2020) $" revision: "$Revision: 104259 $" class interface MISMATCH_INFORMATION create {MISMATCH_CORRECTOR} default_create create make feature -- Initialization default_create -- Make container with default size feature -- Access class_name: STRING_8 -- Name of generating class which held attribute values ensure result_exists: Result /= Void stored_version: detachable IMMUTABLE_STRING_8 -- Version associated to class_name in the stored system. current_version: detachable IMMUTABLE_STRING_8 -- Version associated to class_name in the current system. Type_name_key: STRING_8 = "_type_name" -- Associated key for retrieving the type name of a mismatch. feature -- Status report is_version_mismatched: BOOLEAN -- Is the stored_version different from the current system version? feature -- Settings set_versions (a_stored_version: like stored_version; a_current_version: like current_version) -- Set stored_version with a_stored_version. -- Set current_version with a_current_version. ensure stored_version_set: stored_version = a_stored_version current_version_set: current_version = a_current_version feature -- Output out: STRING_8 -- Printable representation of attributes values note copyright: "Copyright (c) 1984-2020, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 5949 Hollister Ave., Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end -- class MISMATCH_INFORMATION
Generated by ISE EiffelStudio