Automatic generation produced by ISE Eiffel
class XML_FILE_OUTPUT_STREAM Ancestors XML_CHARACTER_8_OUTPUT_STREAM* Clients XML_FILE_OUTPUT_STREAM XML_FORMATTER XML_OUTPUT Suppliers FILE* INTEGER_32 READABLE_STRING_8* STRING_8 XML_FILE_OUTPUT_STREAM -- Generated by Eiffel Studio --
For more details: eiffel.org