Automatic generation produced by ISE Eiffel
class SED_MEDIUM_READER_WRITER Ancestors PLATFORM SED_BINARY_READER_WRITER* Clients SD_OPEN_CONFIG_MEDIATOR SD_SAVE_CONFIG_MEDIATOR 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 Eiffel Studio --
For more details: eiffel.org