string_utils.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Poetzl
 
\*******************************************************************/
 
 
#ifndef CPROVER_UTIL_STRING_UTILS_H
#define CPROVER_UTIL_STRING_UTILS_H
 
#include <string>
#include <vector>
 
std::string strip_string(const std::string &s);
 
std::string capitalize(const std::string &str);
 
void split_string(
  const std::string &s,
  char delim,
  std::string &left,
  std::string &right,
  bool strip = false);
 
std::vector<std::string> split_string(
  const std::string &s,
  char delim,
  bool strip = false,
  bool remove_empty = false);
 
std::string trim_from_last_delimiter(
  const std::string &s,
  const char delim);
 
template <
  typename Stream,
  typename It,
  typename Delimiter,
  typename TransformFunc>
Stream &join_strings(
  Stream &&os,
  const It b,
  const It e,
  const Delimiter &delimiter,
  TransformFunc &&transform_func)
{
  if(b==e)
  {
    return os;
  }
  os << transform_func(*b);
  for(auto it=std::next(b); it!=e; ++it)
  {
    os << delimiter << transform_func(*it);
  }
  return os;
}
Stream &join_strings( {…}
 
template <typename Stream, typename It, typename Delimiter>
Stream &
join_strings(Stream &&os, const It b, const It e, const Delimiter &delimiter)
{
  using value_type = decltype(*b);
  // Call auxiliary function with identity function
  return join_strings(
    os, b, e, delimiter, [](const value_type &x) { return x; });
}
join_strings(Stream &&os, const It b, const It e, const Delimiter &delimiter) {…}
 
std::string escape(const std::string &);
 
std::string escape_non_alnum(const std::string &to_escape);
 
std::string wrap_line(
  const std::string &line,
  const std::size_t left_margin = 0,
  const std::size_t width = 80);
 
std::string wrap_line(
  const std::string::const_iterator left,
  const std::string::const_iterator right,
  const std::size_t left_margin = 0,
  const std::size_t width = 80);
 
#endif