10 #ifndef CPROVER_UTIL_UNICODE_H 11 #define CPROVER_UTIL_UNICODE_H 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);
23 std::string
utf32_to_utf8(
const std::basic_string<unsigned int> &s);
29 const char **
narrow_argv(
int argc,
const wchar_t **argv_wide);
31 #endif // CPROVER_UTIL_UNICODE_H std::wstring utf8_to_utf16_big_endian(const std::string &)
const char ** narrow_argv(int argc, const wchar_t **argv_wide)
std::string narrow(const wchar_t *s)
std::wstring widen(const char *s)
std::string utf32_to_utf8(const std::basic_string< unsigned int > &s)
std::wstring utf8_to_utf16_little_endian(const std::string &)
std::string utf16_little_endian_to_ascii(const std::wstring &in)