Automatic generation produced by ISE Eiffel
deferred class SED_BINARY_READER_WRITER Ancestors SED_READER_WRITER* Descendants SED_MEDIUM_READER_WRITER SED_MEDIUM_READER_WRITER_1 SED_MEMORY_READER_WRITER Clients SED_BINARY_READER_WRITER* Suppliers BOOLEAN INTEGER_16 INTEGER_32 INTEGER_64 INTEGER_8 MANAGED_POINTER NATURAL_16 NATURAL_32 NATURAL_64 NATURAL_8 PLATFORM POINTER SED_BINARY_READER_WRITER* TYPED_POINTER [G] -- Generated by Eiffel Studio --
For more details: eiffel.org