cprover
string_utils.h File Reference
#include <string>
#include <vector>
Include dependency graph for string_utils.h:
This graph shows which files directly or indirectly include this file:

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=false, bool remove_empty=false)
 
void split_string (const std::string &s, char delim, std::string &left, std::string &right, bool strip=false)
 

Function Documentation

§ split_string() [1/2]

void split_string ( const std::string &  s,
char  delim,
std::vector< std::string > &  result,
bool  strip = false,
bool  remove_empty = false 
)

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

§ split_string() [2/2]

void split_string ( const std::string &  s,
char  delim,
std::string &  left,
std::string &  right,
bool  strip = false 
)

Definition at line 83 of file string_utils.cpp.

References split_string().

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