Storm 1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
cstring.h
Go to the documentation of this file.
1#pragma once
2
3#include <cstdint>
4
6
7namespace storm {
8namespace utility {
9namespace cstring {
10
14STORM_PARSERS_API uint_fast64_t checked_strtol(const char* str, char const** end);
15
19STORM_PARSERS_API double checked_strtod(const char* str, char const** end);
20
24STORM_PARSERS_API char const* skipWord(char const* buf);
25
29STORM_PARSERS_API char const* trimWhitespaces(char const* buf);
30
34STORM_PARSERS_API char const* forwardToLineEnd(char const* buffer);
35
41STORM_PARSERS_API char const* forwardToNextLine(char const* buffer);
42
43} // namespace cstring
44} // namespace utility
45} // namespace storm
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:72
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
char const * forwardToNextLine(char const *buffer)
Encapsulates the usage of function @strchr to forward to the next line.
Definition cstring.cpp:79
char const * skipWord(char const *buf)
Skips all numbers, letters and special characters.
Definition cstring.cpp:49
char const * trimWhitespaces(char const *buf)
Skips spaces, tabs, newlines and carriage returns.
Definition cstring.cpp:62
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:36
#define STORM_PARSERS_API