deferred class IO_MEDIUM Ancestors DISPOSABLE* STRING_HANDLER Descendants FILE* SOCKET* Clients IO_MEDIUM* SED_MEDIUM_READER_WRITER SED_STORABLE_FACILITIES Suppliers BOOLEAN INTEGER_32 IO_MEDIUM* MANAGED_POINTER
Generated by ISE EiffelStudio