class SED_MEDIUM_READER_WRITER Ancestors PLATFORM SED_BINARY_READER_WRITER* Clients SED_MEDIUM_READER_WRITER SED_MULTI_OBJECT_SERIALIZATION SED_STORABLE_FACILITIES Suppliers BOOLEAN INTEGER_32 IO_MEDIUM* MANAGED_POINTER PLATFORM SED_MEDIUM_READER_WRITER SERIALIZATION_FAILURE
Generated by ISE EiffelStudio