note description: "[ Encoding of arbitrary objects graphs between different version of programs containing types that might have changed and for which the retrieving system may know how to fix the mismatches. ]" legal: "See notice at end of class." status: "See notice at end of class." date: "$Date: 2013-06-27 12:21:14 +0000 (Thu, 27 Jun 2013) $" revision: "$Revision: 92746 $" class SED_RECOVERABLE_SERIALIZER inherit SED_BASIC_SERIALIZER redefine write_header end create make feature {NONE} -- Implementation write_header (a_list: ARRAYED_LIST [separate ANY]; a_type_table: HASH_TABLE [INTEGER_32, INTEGER_32]) -- Write header of storable. local l_attr_dtype_table: like attributes_dynamic_types l_dtype: INTEGER_32 l_ser: like serializer l_reflector: like reflector l_is_independent_serializer: BOOLEAN do l_ser := serializer l_reflector := reflector write_settings l_is_independent_serializer := not is_store_settings_enabled l_attr_dtype_table := attributes_dynamic_types (a_type_table) from l_ser.write_compressed_natural_32 (a_type_table.count.to_natural_32) a_type_table.start until a_type_table.after loop l_dtype := a_type_table.item_for_iteration l_ser.write_compressed_natural_32 (l_dtype.to_natural_32) l_ser.write_string_8 (l_reflector.type_name_of_type (l_dtype)) a_type_table.forth if not l_is_independent_serializer and then version >= {SED_VERSIONS}.version_6_6 then if attached l_reflector.storable_version_of_type (l_dtype) as l_version and then not l_version.is_empty then l_ser.write_boolean (True) l_ser.write_string_8 (l_version) else l_ser.write_boolean (False) end end end from l_ser.write_compressed_natural_32 (l_attr_dtype_table.count.to_natural_32) l_attr_dtype_table.start until l_attr_dtype_table.after loop l_dtype := l_attr_dtype_table.item_for_iteration l_ser.write_compressed_natural_32 (l_dtype.to_natural_32) l_ser.write_string_8 (l_reflector.type_name_of_type (l_dtype)) l_attr_dtype_table.forth end from l_ser.write_compressed_natural_32 (a_type_table.count.to_natural_32) a_type_table.start until a_type_table.after loop l_dtype := a_type_table.item_for_iteration l_ser.write_compressed_natural_32 (l_dtype.to_natural_32) write_attributes (l_dtype) a_type_table.forth end write_object_table (a_list) end attributes_dynamic_types (a_type_table: HASH_TABLE [INTEGER_32, INTEGER_32]): HASH_TABLE [INTEGER_32, INTEGER_32] -- Table of dynamic types of attributes appearing in a_type_table. -- If encountering an expanded type inside one of the type of a_type_table, -- we add it to a_type_table. require a_type_table_not_void: a_type_table /= Void local l_reflector: like reflector i, nb: INTEGER_32 l_dtype, l_obj_dtype: INTEGER_32 do l_reflector := reflector from a_type_table.start create Result.make (500) until a_type_table.after loop from i := 1 l_obj_dtype := a_type_table.item_for_iteration nb := l_reflector.field_count_of_type (l_obj_dtype) nb := nb + 1 until i = nb loop if not l_reflector.is_field_transient_of_type (i, l_obj_dtype) then l_dtype := l_reflector.field_static_type_of_type (i, l_obj_dtype) if not a_type_table.has (l_dtype) then if l_reflector.is_field_expanded_of_type (i, l_obj_dtype) then a_type_table.put (l_dtype, l_dtype) else Result.put (l_dtype, l_dtype) end end end i := i + 1 end a_type_table.forth end ensure attributes_dynamic_types_not_void: Result /= Void end write_attributes (a_dtype: INTEGER_32) -- Write attribute description for type whose dynamic type id is a_dtype. require a_dtype_non_negative: a_dtype >= 0 local l_reflector: like reflector l_ser: like serializer i, nb: INTEGER_32 do l_reflector := reflector l_ser := serializer from i := 1 l_ser.write_compressed_natural_32 (l_reflector.persistent_field_count_of_type (a_dtype).to_natural_32) nb := l_reflector.field_count_of_type (a_dtype) + 1 until i = nb loop if not l_reflector.is_field_transient_of_type (i, a_dtype) then l_ser.write_compressed_natural_32 (l_reflector.field_static_type_of_type (i, a_dtype).to_natural_32) l_ser.write_string_8 (l_reflector.field_name_of_type (i, a_dtype)) end i := i + 1 end end note library: "EiffelBase: Library of reusable components for Eiffel." copyright: "Copyright (c) 1984-2013, 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 SED_RECOVERABLE_SERIALIZER
Generated by ISE EiffelStudio