deferred class SED_READER_WRITER Ancestors ANY Descendants SED_BINARY_READER_WRITER* Clients SED_BASIC_DESERIALIZER SED_BASIC_SERIALIZER SED_READER_WRITER* SED_RECOVERABLE_DESERIALIZER SED_RECOVERABLE_SERIALIZER SED_SESSION_DESERIALIZER SED_SESSION_SERIALIZER SED_STORABLE_FACILITIES Suppliers CHARACTER_32 CHARACTER_8 IMMUTABLE_STRING_32 IMMUTABLE_STRING_8 INTEGER_32 NATURAL_32 NATURAL_8 READABLE_STRING_8* SED_READER_WRITER* STRING_8 UTF_CONVERTER
Generated by ISE EiffelStudio