Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class MISMATCH_CORRECTOR General cluster: elks description: "Ancestor of all classes that need facility to retrieve an older version of an instance of current class through storable. Redefine correct_mismatch to get data from mismatch_information about found mismatch. A mismatch might be the addition or the removal of an attribute as well as an attribute type change." Ancestors ANY Queries Mismatch_information: MISMATCH_INFORMATION Commands correct_mismatch
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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