cprover
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 *  ,
std::size_t  digits 
)

Definition at line 162 of file unescape_string.cpp.

Referenced by make_identifier(), and unescape_string_templ().

§ octal_to_unsigned()

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

Definition at line 184 of file unescape_string.cpp.

Referenced by unescape_string_templ().

§ unescape_string()

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

§ unescape_wide_string()

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

Definition at line 156 of file unescape_string.cpp.

Referenced by convert_character_literal(), and convert_one_string_literal().