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
5namespace storm {
6namespace utility {
7namespace cstring {
8
12uint_fast64_t checked_strtol(const char* str, char const** end);
13
17double checked_strtod(const char* str, char const** end);
18
22char const* skipWord(char const* buf);
23
27char const* trimWhitespaces(char const* buf);
28
32char const* forwardToLineEnd(char const* buffer);
33
39char const* forwardToNextLine(char const* buffer);
40
41} // namespace cstring
42} // namespace utility
43} // 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
char const * skipWord(char const *buf)
Skips all numbers, letters and special characters.
Definition cstring.cpp:49
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
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 * trimWhitespaces(char const *buf)
Skips spaces, tabs, newlines and carriage returns.
Definition cstring.cpp:62