convert_string_literal.cpp File Reference

#include "convert_string_literal.h"
#include <util/arith_tools.h>
#include <util/c_types.h>
#include <util/unicode.h>
#include <util/string_constant.h>
#include "unescape_string.h"

Include dependency graph for convert_string_literal.cpp:

Go to the source code of this file.

Functions
std::basic_string< unsigned int >	convert_one_string_literal (const std::string &src)
exprt	convert_string_literal (const std::string &src)

Detailed Description

C/C++ Language Conversion

Definition in file convert_string_literal.cpp.

Function Documentation

convert_one_string_literal()

std::basic_string<unsigned int> convert_one_string_literal

(

const std::string &

src

)

Definition at line 21 of file convert_string_literal.cpp.

convert_string_literal()

exprt convert_string_literal

(

const std::string &

src

)

Definition at line 69 of file convert_string_literal.cpp.