class TEST inherit SERIALIZATION_HELPER create make feature {NONE} -- Initialization make local l_file: RAW_FILE l_objects: like retrieved_objects do create t1.make store_object (t1, "stored") l_objects := retrieved_objects ("stored") if l_objects.count /= storable_types.count then io.put_string ("Error occurred. List of successful retrieval:%N") across l_objects as l_item loop io.put_string ("Retrieved " + l_item.key + "%N") end elseif not across l_objects as l_item all deep_equal (l_item.item, t1) end then io.put_string ("Some objects are not equal!%N") end end t1: TEST1 end