class SED_MEMORY_READER_WRITER Ancestors SED_BINARY_READER_WRITER* Clients SED_MEMORY_READER_WRITER Suppliers INTEGER_32 MANAGED_POINTER SED_MEMORY_READER_WRITER
Generated by ISE EiffelStudio