|
CBMC
|
ANSI-C Language Conversion. More...
#include "unescape_string.h"#include <cctype>#include <util/invariant.h>#include <util/unicode.h>
Include dependency graph for unescape_string.cpp: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< char32_t > &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< char32_t > | 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 32 of file unescape_string.cpp.
Definition at line 19 of file unescape_string.cpp.
Definition at line 160 of file unescape_string.cpp.
Definition at line 182 of file unescape_string.cpp.
| std::string unescape_string | ( | const std::string & | src | ) |
Definition at line 150 of file unescape_string.cpp.
Definition at line 38 of file unescape_string.cpp.
Definition at line 155 of file unescape_string.cpp.