ARTS built-in documentation server

Workspace Method WriteXMLIndexed


As WriteXML, but creates indexed file names.

The variable is written to a file with name:
where <file_index> is the value of file_index.

This means that *filename* shall here not include the .xml
extension. Omitting filename works as for WriteXML.

Authors: Patrick Eriksson, Oliver Lemke


WriteXMLIndexed( output_file_format, file_index, in, filename, digits )


INoutput_file_format(String)Output file format.
INfile_index(Index)Index number for files.
GINin(Any)Workspace variable to be saved.
GINfilename(String, Default: "")File name. See above.
GINdigits(Index, Default: 0)Equalize the widths of all numbers by padding with zeros as necessary. 0 means no padding (default).