Go to the documentation of this file.
10 #ifndef CPROVER_UTIL_UNICODE_H
11 #define CPROVER_UTIL_UNICODE_H
20 std::string
narrow(
const wchar_t *s);
21 std::wstring
widen(
const char *s);
22 std::string
narrow(
const std::wstring &s);
23 std::wstring
widen(
const std::string &s);
33 std::vector<std::string>
narrow_argv(
int argc,
const wchar_t **argv_wide);
55 template <
typename It>
59 std::vector<const char *> ret(std::distance(b, e) + 1,
nullptr);
60 std::transform(b, e, std::begin(ret), [] (
const std::string & s)
67 #endif // CPROVER_UTIL_UNICODE_H
char16_t codepoint_hex_to_utf16_native_endian(const std::string &hex)
std::string utf16_native_endian_to_java_string(const std::wstring &in)
Escapes non-printable characters, whitespace except for spaces, double quotes and backslashes.
std::string utf16_native_endian_to_utf8(char16_t utf16_char)
std::vector< std::string > narrow_argv(int argc, const wchar_t **argv_wide)
std::string narrow(const wchar_t *s)
std::wstring widen(const char *s)
std::vector< const char * > to_c_str_array(It b, It e)
std::string codepoint_hex_to_utf8(const std::string &hex)
std::string utf16_native_endian_to_java(const char16_t ch)
std::wstring utf8_to_utf16_native_endian(const std::string &in)
Convert UTF8-encoded string to UTF-16 with architecture-native endianness.
std::string utf32_native_endian_to_utf8(const std::basic_string< unsigned int > &s)