cprover
|
ANSI-C Language Conversion. More...
Go to the source code of this file.
Functions | |
static void | append_universal_char (unsigned int value, std::string &dest) |
static void | append_universal_char (unsigned int value, std::basic_string< unsigned int > &dest) |
template<typename T > | |
std::basic_string< T > | unescape_string_templ (const std::string &src) |
std::string | unescape_string (const std::string &src) |
std::basic_string< unsigned int > | unescape_wide_string (const std::string &src) |
unsigned | hex_to_unsigned (const char *hex, std::size_t digits) |
unsigned | octal_to_unsigned (const char *octal, std::size_t digits) |
ANSI-C Language Conversion.
Definition in file unescape_string.cpp.
|
static |
Definition at line 19 of file unescape_string.cpp.
References utf32_to_utf8().
Referenced by unescape_string_templ().
|
static |
Definition at line 31 of file unescape_string.cpp.
unsigned hex_to_unsigned | ( | const char * | hex, |
std::size_t | digits | ||
) |
Definition at line 162 of file unescape_string.cpp.
Referenced by make_identifier(), and unescape_string_templ().
unsigned octal_to_unsigned | ( | const char * | octal, |
std::size_t | digits | ||
) |
Definition at line 184 of file unescape_string.cpp.
Referenced by unescape_string_templ().
std::string unescape_string | ( | const std::string & | src | ) |
Definition at line 151 of file unescape_string.cpp.
Referenced by convert_character_literal(), convert_one_string_literal(), and preprocessor_line().
std::basic_string<T> unescape_string_templ | ( | const std::string & | src | ) |
Definition at line 39 of file unescape_string.cpp.
References append_universal_char(), hex_to_unsigned(), and octal_to_unsigned().
std::basic_string<unsigned int> unescape_wide_string | ( | const std::string & | src | ) |
Definition at line 156 of file unescape_string.cpp.
Referenced by convert_character_literal(), and convert_one_string_literal().