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 EiffelStudio