cstring.cpp

Go to the documentation of this file.

#include "storm-parsers/util/cstring.h"
 
#include <cstring>
 
#include "storm/exceptions/WrongFormatException.h"
#include "storm/utility/macros.h"
namespace storm {
 
namespace utility {
 
namespace cstring {
 
uint_fast64_t checked_strtol(char const* str, char const** end) {
    uint_fast64_t res = strtol(str, const_cast<char**>(end), 10);
    if (str == *end) {
        STORM_LOG_ERROR("Error while parsing integer. Next input token is not a number.");
        STORM_LOG_ERROR("\tUpcoming input is: \"" << std::string(str, 0, 16) << "\"");
        throw storm::exceptions::WrongFormatException("Error while parsing integer. Next input token is not a number.");
    }
    return res;
}
 
double checked_strtod(char const* str, char const** end) {
    double res = strtod(str, const_cast<char**>(end));
    if (str == *end) {
        STORM_LOG_ERROR("Error while parsing floating point. Next input token is not a number.");
        STORM_LOG_ERROR("\tUpcoming input is: \"" << std::string(str, 0, 16) << "\"");
        throw storm::exceptions::WrongFormatException("Error while parsing floating point. Next input token is not a number.");
    }
    return res;
}
 
char const* skipWord(char const* buf) {
    while (!isspace(*buf) && *buf != '\0') buf++;
    return buf;
}
 
char const* trimWhitespaces(char const* buf) {
    while (isspace(*buf)) buf++;
    return buf;
}
 
char const* forwardToLineEnd(char const* buffer) {
    return buffer + strcspn(buffer, "\n\r\0");
}
 
char const* forwardToNextLine(char const* buffer) {
    char const* lineEnd = forwardToLineEnd(buffer);
    while ((*lineEnd == '\n') || (*lineEnd == '\r')) lineEnd++;
    return lineEnd;
}
 
}  // namespace cstring
 
}  // namespace utility
 
}  // namespace storm