GXml.Element.write_stream – GXml-0.20 Reference Manual
write_stream
Description:
public
void
write_stream
(
OutputStream
stream)
throws
Error
Uses element's
GXml.Document
to write an XML to a stream, serializing it.