cprover
unicode.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_UTIL_UNICODE_H
11 #define CPROVER_UTIL_UNICODE_H
12 
13 #include <string>
14 
15 // we follow the ideas suggested at
16 // http://www.utf8everywhere.org/
17 
18 std::string narrow(const wchar_t *s);
19 std::wstring widen(const char *s);
20 std::string narrow(const std::wstring &s);
21 std::wstring widen(const std::string &s);
22 
23 std::string utf32_to_utf8(const std::basic_string<unsigned int> &s);
24 
25 std::wstring utf8_to_utf16_big_endian(const std::string &);
26 std::wstring utf8_to_utf16_little_endian(const std::string &);
27 std::string utf16_little_endian_to_ascii(const std::wstring &in);
28 
29 const char **narrow_argv(int argc, const wchar_t **argv_wide);
30 
31 #endif // CPROVER_UTIL_UNICODE_H
std::wstring utf8_to_utf16_big_endian(const std::string &)
Definition: unicode.cpp:275
const char ** narrow_argv(int argc, const wchar_t **argv_wide)
Definition: unicode.cpp:155
std::string narrow(const wchar_t *s)
Definition: unicode.cpp:31
std::wstring widen(const char *s)
Definition: unicode.cpp:56
std::string utf32_to_utf8(const std::basic_string< unsigned int > &s)
Definition: unicode.cpp:143
std::wstring utf8_to_utf16_little_endian(const std::string &)
Definition: unicode.cpp:283
std::string utf16_little_endian_to_ascii(const std::wstring &in)
Definition: unicode.cpp:291