cprover
|
Go to the source code of this file.
Functions | |
std::string | strip_string (const std::string &s) |
Remove all whitespace characters from either end of a string. More... | |
void | split_string (const std::string &s, char delim, std::vector< std::string > &result, bool strip=false, bool remove_empty=false) |
Given a string s, split into a sequence of substrings when separated by specified delimiter. More... | |
void | split_string (const std::string &s, char delim, std::string &left, std::string &right, bool strip=false) |
std::vector< std::string > | split_string (const std::string &s, char delim, bool strip=false, bool remove_empty=false) |
std::string | trim_from_last_delimiter (const std::string &s, const char delim) |
template<typename Stream , typename It , typename Delimiter , typename TransformFunc > | |
Stream & | join_strings (Stream &&os, const It b, const It e, const Delimiter &delimiter, TransformFunc &&transform_func) |
Prints items to an stream, separated by a constant delimiter. More... | |
template<typename Stream , typename It , typename Delimiter > | |
Stream & | join_strings (Stream &&os, const It b, const It e, const Delimiter &delimiter) |
Prints items to an stream, separated by a constant delimiter. More... | |
std::string | escape (const std::string &) |
Generic escaping of strings; this is not meant to be a particular programming language. More... | |
std::string | escape_non_alnum (const std::string &to_escape) |
Replace non-alphanumeric characters with _xx escapes, where xx are hex digits. More... | |
std::string escape | ( | const std::string & | ) |
Generic escaping of strings; this is not meant to be a particular programming language.
Definition at line 140 of file string_utils.cpp.
std::string escape_non_alnum | ( | const std::string & | to_escape | ) |
Replace non-alphanumeric characters with _xx
escapes, where xx are hex digits.
Underscores are replaced by __
.
to_escape | string to escape |
Definition at line 155 of file string_utils.cpp.
Stream& join_strings | ( | Stream && | os, |
const It | b, | ||
const It | e, | ||
const Delimiter & | delimiter | ||
) |
Prints items to an stream, separated by a constant delimiter.
It | An iterator type |
Delimiter | A delimiter type which supports printing to ostreams |
os | An ostream to write to |
b | Iterator pointing to first item to print |
e | Iterator pointing past last item to print |
delimiter | Object to print between each item in the iterator range |
Definition at line 104 of file string_utils.h.
Stream& join_strings | ( | Stream && | os, |
const It | b, | ||
const It | e, | ||
const Delimiter & | delimiter, | ||
TransformFunc && | transform_func | ||
) |
Prints items to an stream, separated by a constant delimiter.
It | An iterator type |
Delimiter | A delimiter type which supports printing to ostreams |
os | An ostream to write to |
b | Iterator pointing to first item to print |
e | Iterator pointing past last item to print |
delimiter | Object to print between each item in the iterator range |
transform_func | Transform to apply to the value returned by the iterator |
Definition at line 75 of file string_utils.h.
std::vector<std::string> split_string | ( | const std::string & | s, |
char | delim, | ||
bool | strip = false , |
||
bool | remove_empty = false |
||
) |
Definition at line 118 of file string_utils.cpp.
void split_string | ( | const std::string & | s, |
char | delim, | ||
std::string & | left, | ||
std::string & | right, | ||
bool | strip = false |
||
) |
Definition at line 92 of file string_utils.cpp.
void split_string | ( | const std::string & | s, |
char | delim, | ||
std::vector< std::string > & | result, | ||
bool | strip = false , |
||
bool | remove_empty = false |
||
) |
Given a string s, split into a sequence of substrings when separated by specified delimiter.
s | The string to split up | |
delim | The character to use as the delimiter | |
[out] | result | The sub strings. Must be empty. |
strip | If true, strip_string will be used on each element, removing whitespace from the beginning and end of each element | |
remove_empty | If true, all empty-string elements will be removed. This is applied after strip so whitespace only elements will be removed if both are set to true. |
Definition at line 40 of file string_utils.cpp.
std::string strip_string | ( | const std::string & | s | ) |
Remove all whitespace characters from either end of a string.
Whitespace in the middle of the string is left unchanged
s | the string to strip |
Definition at line 22 of file string_utils.cpp.
std::string trim_from_last_delimiter | ( | const std::string & | s, |
const char | delim | ||
) |
Definition at line 129 of file string_utils.cpp.