Automatic generation produced by ISE Eiffel
class SED_RECOVERABLE_DESERIALIZER Ancestors MISMATCH_CORRECTOR SED_BASIC_DESERIALIZER Clients SED_RECOVERABLE_DESERIALIZER SED_STORABLE_FACILITIES Suppliers ANY ARRAYED_LIST [G] BOOLEAN FUNCTION [OPEN_ARGS -> detachable TUPLE create default_create end, RESULT_TYPE] HASH_TABLE [G, K -> detachable HASHABLE] INTEGER_32 ISE_RUNTIME MISMATCH_CORRECTOR MISMATCH_INFORMATION NATURAL_32 REFLECTED_OBJECT* REFLECTED_REFERENCE_OBJECT REFLECTOR REFLECTOR_CONSTANTS SED_ERROR_FACTORY SED_READER_WRITER* SED_RECOVERABLE_DESERIALIZER SED_TYPE_MISMATCH SED_VERSIONS SPECIAL [T] TYPE [G] -- Generated by Eiffel Studio --
For more details: eiffel.org