class SED_BASIC_DESERIALIZER Ancestors SED_SESSION_DESERIALIZER Descendants SED_RECOVERABLE_DESERIALIZER Clients SED_BASIC_DESERIALIZER SED_STORABLE_FACILITIES Suppliers BOOLEAN INTEGER_32 NATURAL_32 REFLECTOR SED_BASIC_DESERIALIZER SED_ERROR_FACTORY SED_READER_WRITER* SPECIAL [T]
Generated by ISE EiffelStudio