cprover
|
#include "unicode.h"
#include <cstring>
#include <locale>
#include <iomanip>
#include <sstream>
#include <cstdint>
Go to the source code of this file.
Functions | |
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) |
static void | utf8_append_code (unsigned int c, std::string &result) |
Appends a unicode character to a utf8-encoded string. More... | |
std::string | utf32_native_endian_to_utf8 (const std::basic_string< unsigned int > &s) |
std::vector< std::string > | narrow_argv (int argc, const wchar_t **argv_wide) |
static void | utf16_append_code (unsigned int code, std::wstring &result) |
std::wstring | utf8_to_utf16_native_endian (const std::string &in) |
Convert UTF8-encoded string to UTF-16 with architecture-native endianness. More... | |
static void | utf16_native_endian_to_java (const wchar_t ch, std::ostringstream &result, const std::locale &loc) |
std::string | utf16_native_endian_to_java (const wchar_t ch) |
std::string | utf16_native_endian_to_java (const std::wstring &in) |
std::string narrow | ( | const wchar_t * | s | ) |
Definition at line 21 of file unicode.cpp.
References r.
Referenced by main(), narrow_argv(), ms_cl_cmdlinet::parse_env(), ms_link_cmdlinet::process_response_file(), and ms_cl_cmdlinet::process_response_file().
std::string narrow | ( | const std::wstring & | s | ) |
Definition at line 71 of file unicode.cpp.
References r.
std::vector<std::string> narrow_argv | ( | int | argc, |
const wchar_t ** | argv_wide | ||
) |
|
static |
Definition at line 160 of file unicode.cpp.
Referenced by utf8_to_utf16_native_endian().
|
static |
ch | UTF-16 character in architecture-native endianness encoding |
result | stream to receive string in US-ASCII format, with \uxxxx escapes for other characters |
loc | locale to check for printable characters |
Definition at line 253 of file unicode.cpp.
References loc.
Referenced by expr2javat::convert_constant(), utf16_constant_array_to_java(), and utf16_native_endian_to_java().
std::string utf16_native_endian_to_java | ( | const wchar_t | ch | ) |
ch | UTF-16 character in architecture-native endianness encoding |
Definition at line 292 of file unicode.cpp.
References loc, and utf16_native_endian_to_java().
std::string utf16_native_endian_to_java | ( | const std::wstring & | in | ) |
in | String in UTF-16 (native endianness) format |
Definition at line 302 of file unicode.cpp.
References loc, and utf16_native_endian_to_java().
std::string utf32_native_endian_to_utf8 | ( | const std::basic_string< unsigned int > & | s | ) |
s | UTF-32 encoded wide string |
Definition at line 134 of file unicode.cpp.
References utf8_append_code().
Referenced by append_universal_char(), convert_one_string_literal(), and make_identifier().
|
static |
Appends a unicode character to a utf8-encoded string.
Definition at line 107 of file unicode.cpp.
Referenced by utf32_native_endian_to_utf8().
std::wstring utf8_to_utf16_native_endian | ( | const std::string & | in | ) |
Convert UTF8-encoded string to UTF-16 with architecture-native endianness.
Definition at line 190 of file unicode.cpp.
References size_type(), and utf16_append_code().
Referenced by delete_directory(), and get_or_create_string_literal_symbol().
std::wstring widen | ( | const char * | s | ) |
Definition at line 46 of file unicode.cpp.
References r.
Referenced by string_constraint_generatort::add_axioms_for_constant(), c_preprocess_none(), cbmc_parse_optionst::doit(), jbmc_parse_optionst::doit(), goto_instrument_parse_optionst::doit(), cbmc_solverst::get_smt2(), lazy_goto_modelt::initialize(), initialize_goto_model(), goto_instrument_parse_optionst::instrument_goto_program(), is_directory(), is_goto_binary(), language_uit::parse(), compilet::parse(), unwindsett::parse_unwindset_file(), console_message_handlert::print(), read_goto_binary(), and run().
std::wstring widen | ( | const std::string & | s | ) |
Definition at line 88 of file unicode.cpp.
References r.