|
cprover
|
Go to the source code of this file.
Functions | |
| std::string | strip_string (const std::string &s) |
| void | split_string (const std::string &s, char delim, std::vector< std::string > &result, bool strip, bool remove_empty) |
| void | split_string (const std::string &s, char delim, std::string &left, std::string &right, bool strip) |
| void split_string | ( | const std::string & | s, |
| char | delim, | ||
| std::vector< std::string > & | result, | ||
| bool | strip, | ||
| bool | remove_empty | ||
| ) |
Definition at line 33 of file string_utils.cpp.
References size_type(), and strip_string().
Referenced by parse_unwindset(), bmct::setup_unwind(), and split_string().
| void split_string | ( | const std::string & | s, |
| char | delim, | ||
| std::string & | left, | ||
| std::string & | right, | ||
| bool | strip | ||
| ) |
Definition at line 83 of file string_utils.cpp.
References split_string().
| std::string strip_string | ( | const std::string & | s | ) |
Definition at line 15 of file string_utils.cpp.
References size_type().
Referenced by split_string().