Automatic generation produced by ISE Eiffel
deferred class IO_MEDIUM Ancestors DISPOSABLE* STRING_HANDLER Descendants FILE* STREAM Clients IO_MEDIUM* SED_MEDIUM_READER_WRITER SED_MEDIUM_READER_WRITER_1 SED_STORABLE_FACILITIES STORABLE Suppliers BOOLEAN INTEGER_32 IO_MEDIUM* MANAGED_POINTER -- Generated by ISE Eiffel --
For more details: www.eiffel.com