ARTS built-in documentation server
Workspace Method ReadXMLIndexed
Description
As ReadXML, but reads indexed file names.
The variable is read from 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 ReadXML.
Authors: Oliver Lemke
Synopsis
| ReadXMLIndexed( | out, file_index, filename, digits ) |
Variables
| GOUT | out | (Any) | Workspace variable to be read. |
| IN | file_index | (Index) | Index number for files. |
| 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). |