text_utility.h

Go to the documentation of this file.

// Author(s): Wieger Wesselink
// Copyright: see the accompanying file COPYING or copy at
// https://github.com/mCRL2org/mCRL2/blob/master/COPYING
//
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//
 
#ifndef MCRL2_UTILITIES_TEXT_UTILITY_H
#define MCRL2_UTILITIES_TEXT_UTILITY_H
 
#include <algorithm>
#include <iostream>
#include <iterator>
#include <limits>
#include <sstream>
#include <string>
#include <vector>
 
namespace mcrl2
{
 
namespace utilities
{
 
template <class CharContainer>
inline bool contains_only_ascii_symbols(const CharContainer& input)
{
  for(const typename CharContainer::value_type& c: input)
  {
    // Allow printable characters and a tab, line feed, and a carriage return
    if (!(std::isprint(c) || c=='\t' || c=='\n' || c=='\r' ))
    {
      return false;
    }
  }
  return true;
}
 
template <typename T>
inline
std::string to_string(const T& x)
{
  std::stringstream ss;
  ss << x;
  return ss.str();
}
 
std::vector<std::string> split_paragraphs(const std::string& text);
 
std::vector<std::string> split(const std::string& line, const std::string& separators);
 
std::string read_text(const std::string& filename, bool warn=false);
 
inline
std::string read_text(std::istream& in)
{
  in.unsetf(std::ios::skipws); //  Turn of white space skipping on the stream
  std::string s;
  std::copy(
    std::istream_iterator<char>(in),
    std::istream_iterator<char>(),
    std::back_inserter(s)
  );
  return s;
}
 
std::string remove_comments(const std::string& text);
 
std::string remove_whitespace(const std::string& text);
 
std::string regex_replace(const std::string& src, const std::string& dest, const std::string& text);
 
std::vector<std::string> regex_split(const std::string& text, const std::string& sep);
 
std::string trim_copy(const std::string& text);
 
void trim(std::string& text);
 
template <typename Container>
std::string string_join(const Container& c, const std::string& separator)
{
  std::ostringstream out;
  for (typename Container::const_iterator i = c.begin(); i != c.end(); ++i)
  {
    if (i != c.begin())
    {
      out << separator;
    }
    out << *i;
  }
  return out.str();
}
 
std::string word_wrap_text(const std::string& text, unsigned int max_line_length = 78);
 
bool is_numeric_string(const std::string& s);
 
inline void number2string(std::size_t number, std::string& buffer, std::size_t start_position)
{
  // First calculate the number of digital digits of number;
  std::size_t number_of_digits=0;
  if (number==0)
  {
    number_of_digits=1;
  }
  else
  {
    for(std::size_t copy=number ; copy!=0; ++number_of_digits, copy=copy/10)
    {}
  }
 
  // Put the number in the buffer at the right position.
  std::size_t position=start_position+number_of_digits;
  buffer.resize(position);
 
  while (position>start_position)
  {
    --position;
    buffer[position] = '0' + number % 10;
    number = number/10;
  }
}
 
inline std::string number2string(std::size_t number) 
{ 
  std::string buffer;
  buffer.reserve(std::numeric_limits<std::size_t>::digits10 + 1); 
  number2string(number, buffer, 0); 
  return std::string(buffer); 
}  
 
} // namespace utilities
 
} // namespace mcrl2
 
#endif // MCRL2_UTILITIES_TEXT_UTILITY_H