1 |
indexing |
2 |
description: "[ |
3 |
Ancestor of all classes that need facility to retrieve an older version of an instance of current |
4 |
class through storable. |
5 |
Redefine `correct_mismatch' to get data from `mismatch_information' about found mismatch. A mismatch |
6 |
might be the addition or the removal of an attribute as well as an attribute type change. |
7 |
]" |
8 |
date: "$Date$" |
9 |
revision: "$Revision$" |
10 |
|
11 |
class |
12 |
MISMATCH_CORRECTOR |
13 |
|
14 |
feature -- Correction |
15 |
|
16 |
correct_mismatch is |
17 |
-- Attempt to correct object mismatch using `mismatch_information'. |
18 |
local |
19 |
l_msg: STRING |
20 |
l_exc: EXCEPTIONS |
21 |
do |
22 |
-- If it is not redefined then we raise an exception. |
23 |
create l_msg.make_from_string ("Mismatch: ") |
24 |
create l_exc |
25 |
l_msg.append (generating_type) |
26 |
l_exc.raise_retrieval_exception (l_msg) |
27 |
end |
28 |
|
29 |
mismatch_information: MISMATCH_INFORMATION is |
30 |
-- Original attribute values of mismatched object |
31 |
once |
32 |
create Result |
33 |
end |
34 |
|
35 |
end -- class MISMATCH_CORRECTOR |