write_file
Description:
public static int write_file (
Element element,
FileStream @out)
Converts the given element into XML and writes the formatted XML to an open file.
Parameters:
| element |
The element to write out |
| out |
an open file, like stdout |
Returns:
| number of bytes written on success, -1 otherwise. |
