cprover
string_utils.cpp File Reference
#include "string_utils.h"
#include <cassert>
#include <cctype>
#include <algorithm>
Include dependency graph for string_utils.cpp:

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)
 

Function Documentation

§ split_string() [1/2]

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

§ split_string() [2/2]

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

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