cprover
string_utils.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module:
4
5
Author: Daniel Poetzl
6
7
\*******************************************************************/
8
9
10
#ifndef CPROVER_UTIL_STRING_UTILS_H
11
#define CPROVER_UTIL_STRING_UTILS_H
12
13
#include <string>
14
#include <vector>
15
16
std::string
strip_string
(
const
std::string &s);
17
18
void
split_string
(
19
const
std::string &s,
20
char
delim,
// must not be a whitespace character
21
std::vector<std::string> &result,
22
bool
strip=
false
,
// strip whitespace from elements
23
bool
remove_empty=
false
);
// remove empty elements
24
25
void
split_string
(
26
const
std::string &s,
27
char
delim,
28
std::string &left,
29
std::string &right,
30
bool
strip=
false
);
31
32
#endif
split_string
void split_string(const std::string &s, char delim, std::vector< std::string > &result, bool strip=false, bool remove_empty=false)
Definition:
string_utils.cpp:33
strip_string
std::string strip_string(const std::string &s)
Definition:
string_utils.cpp:15
util
string_utils.h
Generated by
1.8.12