CBMC
unescape_string.cpp File Reference

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

Detailed Description

ANSI-C Language Conversion.

Definition in file unescape_string.cpp.

Function Documentation

◆ append_universal_char() [1/2]

static void append_universal_char ( unsigned int  value,
std::basic_string< unsigned int > &  dest 
)
static

Definition at line 31 of file unescape_string.cpp.

◆ append_universal_char() [2/2]

static void append_universal_char ( unsigned int  value,
std::string &  dest 
)
static

Definition at line 19 of file unescape_string.cpp.

◆ 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_string_templ()

template<typename T >
std::basic_string<T> unescape_string_templ ( const std::string &  src)

Definition at line 39 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.