unicode.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
#ifndef CPROVER_UTIL_UNICODE_H
#define CPROVER_UTIL_UNICODE_H
 
#include <algorithm>
#include <string>
#include <vector>
 
// we follow the ideas suggested at
// http://www.utf8everywhere.org/
 
std::string narrow(const wchar_t *s);
std::wstring widen(const char *s);
std::string narrow(const std::wstring &s);
std::wstring widen(const std::string &s);
 
// This removes the need to have a #ifdef whenever using std::fstream.
#ifdef _WIN32
#  define widen_if_needed(s) widen(s)
#else
#  define widen_if_needed(s) (s)
#endif
 
std::string utf32_native_endian_to_utf8(const std::basic_string<char32_t> &s);
 
std::u32string utf8_to_utf32(const std::string &utf8_str);
 
std::wstring utf8_to_utf16_native_endian(const std::string &in);
std::string utf16_native_endian_to_java(const char16_t ch);
std::string utf16_native_endian_to_java(const std::wstring &in);
std::string utf16_native_endian_to_java_string(const std::wstring &in);
 
std::vector<std::string> narrow_argv(int argc, const wchar_t **argv_wide);
 
std::string utf16_native_endian_to_utf8(char16_t utf16_char);
 
std::string utf16_native_endian_to_utf8(const std::u16string &utf16_str);
 
char16_t codepoint_hex_to_utf16_native_endian(const std::string &hex);
 
std::string codepoint_hex_to_utf8(const std::string &hex);
 
template <typename It>
std::vector<const char *> to_c_str_array(It b, It e)
{
  // Assumes that walking the range will be faster than repeated allocation
  std::vector<const char *> ret(std::distance(b, e) + 1, nullptr);
  std::transform(
    b, e, std::begin(ret), [](const std::string &s) { return s.c_str(); });
  return ret;
}
std::vector<const char *> to_c_str_array(It b, It e) {…}
 
#endif // CPROVER_UTIL_UNICODE_H