CBMC
unescape_string.h File Reference

ANSI-C Language Conversion. More...

#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)
 

Detailed Description

ANSI-C Language Conversion.

Definition in file unescape_string.h.

Function Documentation

◆ hex_to_unsigned()

unsigned hex_to_unsigned ( const char *  hex,
std::size_t  digits 
)

Definition at line 162 of file unescape_string.cpp.

◆ octal_to_unsigned()

unsigned octal_to_unsigned ( const char *  octal,
std::size_t  digits 
)

Definition at line 184 of file unescape_string.cpp.

◆ unescape_string()

std::string unescape_string ( const std::string &  src)

Definition at line 151 of file unescape_string.cpp.

◆ unescape_wide_string()

std::basic_string<unsigned int> unescape_wide_string ( const std::string &  src)

Definition at line 156 of file unescape_string.cpp.