file.h

Go to the documentation of this file.

#pragma once
 
#include <iostream>
 
#include "storm/exceptions/FileIoException.h"
#include "storm/utility/macros.h"
 
namespace storm {
namespace io {
 
inline void openFile(std::string const& filepath, std::ofstream& filestream, bool append = false, bool silent = false) {
    if (append) {
        filestream.open(filepath, std::ios::app);
    } else {
        filestream.open(filepath);
    }
    STORM_LOG_THROW(filestream, storm::exceptions::FileIoException, "Could not open file " << filepath << ".");
    filestream.precision(std::cout.precision());
    if (!silent) {
        STORM_PRINT_AND_LOG("Write to file " << filepath << ".\n");
    }
}
 
inline void openFile(std::string const& filepath, std::ifstream& filestream) {
    filestream.open(filepath);
    STORM_LOG_THROW(filestream, storm::exceptions::FileIoException, "Could not open file " << filepath << ".");
}
 
inline void closeFile(std::ofstream& stream) {
    stream.close();
}
 
inline void closeFile(std::ifstream& stream) {
    stream.close();
}
 
inline bool fileExistsAndIsReadable(std::string const& filename) {
    // Test by opening an input file stream and testing the stream flags.
    std::ifstream filestream;
    filestream.open(filename);
    return filestream.good();
}
 
template<class CharT, class Traits, class Allocator>
inline std::basic_istream<CharT, Traits>& getline(std::basic_istream<CharT, Traits>& input, std::basic_string<CharT, Traits, Allocator>& str) {
    auto& res = std::getline(input, str);
    // Remove linebreaks
    std::string::reverse_iterator rit = str.rbegin();
    while (rit != str.rend()) {
        if (*rit == '\r' || *rit == '\n') {
            ++rit;
            str.pop_back();
        } else {
            break;
        }
    }
    return res;
}
 
}  // namespace io
}  // namespace storm