dd/d8d/cstring_8h_source.html

#pragma once


#include <cstdint>


namespace storm {

namespace utility {

namespace cstring {


uint_fast64_t checked_strtol(const char* str, char const** end);


double checked_strtod(const char* str, char const** end);


char const* skipWord(char const* buf);


char const* trimWhitespaces(char const* buf);


char const* forwardToLineEnd(char const* buffer);


char const* forwardToNextLine(char const* buffer);


}  // namespace cstring

}  // namespace utility

}  // namespace storm

storm::utility::cstring::forwardToLineEnd
char const * forwardToLineEnd(char const *buffer)
Encapsulates the usage of function @strcspn to forward to the end of the line (next char is the newli...
Definition cstring.cpp:74

storm::utility::cstring::skipWord
char const * skipWord(char const *buf)
Skips all numbers, letters and special characters.
Definition cstring.cpp:55

storm::utility::cstring::checked_strtod
double checked_strtod(char const *str, char const **end)
Calls strtod() internally and checks if the new pointer is different from the original one,...
Definition cstring.cpp:39

storm::utility::cstring::checked_strtol
uint_fast64_t checked_strtol(char const *str, char const **end)
Calls strtol() internally and checks if the new pointer is different from the original one,...
Definition cstring.cpp:21

storm::utility::cstring::forwardToNextLine
char const * forwardToNextLine(char const *buffer)
Encapsulates the usage of function @strchr to forward to the next line.
Definition cstring.cpp:81

storm::utility::cstring::trimWhitespaces
char const * trimWhitespaces(char const *buf)
Skips spaces, tabs, newlines and carriage returns.
Definition cstring.cpp:66

storm
LabParser.cpp.
Definition cli.cpp:18