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);
    STORM_LOG_THROW(str != *end, storm::exceptions::WrongFormatException,
                    "Error while parsing integer. Next input token is not a number.\n\tUpcoming input is: \"" << std::string(str, 0, 16) << "\".");
    return res;
}

double checked_strtod(char const* str, char const** end) {
    double res = strtod(str, const_cast<char**>(end));
    STORM_LOG_THROW(str != *end, storm::exceptions::WrongFormatException,
                    "Error while parsing floating point. Next input token is not a number.\n\tUpcoming input is: \"" << std::string(str, 0, 16) << "\".");
    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