|
CBMC
|
#include <string>
Include dependency graph for unescape_string.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Functions | |
| std::string | unescape_string (const std::string &) |
| std::basic_string< unsigned int > | unescape_wide_string (const std::string &) |
| unsigned | hex_to_unsigned (const char *, std::size_t digits) |
| unsigned | octal_to_unsigned (const char *, std::size_t digits) |
ANSI-C Language Conversion
Definition in file unescape_string.h.
| unsigned hex_to_unsigned | ( | const char * | , |
| std::size_t | digits | ||
| ) |
Definition at line 162 of file unescape_string.cpp.
| unsigned octal_to_unsigned | ( | const char * | , |
| std::size_t | digits | ||
| ) |
Definition at line 184 of file unescape_string.cpp.
| std::string unescape_string | ( | const std::string & | ) |
Definition at line 151 of file unescape_string.cpp.
| std::basic_string<unsigned int> unescape_wide_string | ( | const std::string & | ) |
Definition at line 156 of file unescape_string.cpp.