ARTS built-in documentation server

Workspace Method WriteXMLIndexed

Description

As WriteXML, but creates indexed file names.

The variable is written to a file with name:
   <filename>.<file_index>.xml.
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

Synopsis

WriteXMLIndexed(

output_file_format, file_index, in, filename, digits )

Variables

IN	output_file_format	(String)	Output file format.
IN	file_index	(Index)	Index number for files.
GIN	in	(Any)	Workspace variable to be saved.
GIN	filename	(String, Default: "")	File name. See above.
GIN	digits	(Index, Default: 0)	Equalize the widths of all numbers by padding with zeros as necessary. 0 means no padding (default).