file.h

Go to the documentation of this file.

/* Copyright (C) 2000-2012 Stefan Buehler <sbuehler@ltu.se>
 
   This program is free software; you can redistribute it and/or modify it
   under the terms of the GNU General Public License as published by the
   Free Software Foundation; either version 2, or (at your option) any
   later version.
 
   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software
   Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
   USA. */
 
//   File description
 
#ifndef file_h
#define file_h
 
#include <fstream>
#include "double_imanip.h"
#include "messages.h"
#include "mystring.h"
 
//   Default file names
 
void filename_ascii(String& filename, const String& varname);
 
void filename_bin(String& filename, const String& varname);
 
//   Functions to open and read ASCII files
 
void open_output_file(std::ofstream& file, const String& name);
 
void cleanup_output_file(std::ofstream& file, const String& name);
 
void open_input_file(std::ifstream& file, const String& name);
 
void read_text_from_stream(ArrayOfString& text, std::istream& is);
 
void read_text_from_file(ArrayOfString& text, const String& name);
 
void replace_all(String& s, const String& what, const String& with);
 
int check_newline(const String& s);
 
bool file_exists(const String& filename);
 
bool find_file(ArrayOfString& matches,
               const String& filename,
               const ArrayOfString& paths,
               const ArrayOfString& extensions = {""});
 
void find_xml_file(String& filename, const Verbosity& verbosity);
 
bool find_xml_file_existence(String& filename);
 
String expand_path(const String& path);
 
String add_basedir(const String& path);
 
void get_dirname(String& dirname, const String& path);
 
void list_directory(ArrayOfString& files, String dirname);
 
void make_filename_unique(String& filename, const String& extension = "");
 
#endif