Automatic generation produced by ISE Eiffel
deferred class XML_CHARACTER_8_OUTPUT_STREAM Ancestors XML_OUTPUT_STREAM* Descendants XML_FILE_OUTPUT_STREAM XML_STRING_8_OUTPUT_STREAM Clients XML_CHARACTER_8_OUTPUT_STREAM* XML_CHARACTER_8_OUTPUT_STREAM_FILTER* XML_CHARACTER_8_OUTPUT_STREAM_UTF8_FILTER Suppliers CHARACTER_32 READABLE_STRING_32* XML_CHARACTER_8_OUTPUT_STREAM* -- Generated by Eiffel Studio --
For more details: eiffel.org