void open_output_file(ofstream &file, const String &name)
Open a file for writing.
void replace_all(String &s, const String &what, const String &with)
Replace all occurances of ‘what’ in ‘s’ with ‘with’.
void cleanup_output_file(ofstream &file, const String &name)
Closes the file.
This can be used to make arrays out of anything.
void filename_bin(String &filename, const String &varname)
void read_text_from_stream(ArrayOfString &text, istream &is)
Read an ASCII stream and append the contents to the String array text.
void open_input_file(ifstream &file, const String &name)
Open a file for reading.
The implementation for String, the ARTS string class.
void read_text_from_file(ArrayOfString &text, const String &name)
Reads an ASCII file and appends the contents to the String vector text.
String expand_path(const String &path)
bool find_file(String &filename, const char *extension)
Find the given file.
int check_newline(const String &s)
Checks if there is exactly one newline character at the end of the string.
void filename_ascii(String &filename, const String &varname)
Gives the default file name for the ASCII formats.
bool file_exists(const String &filename)
Checks if the given file exists.
This file contains the definition of String, the ARTS string class.