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().