convert_string_literal.h File Reference

C/C++ Language Conversion. More...

#include <string>
#include <util/expr.h>

Include dependency graph for convert_string_literal.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
exprt	convert_string_literal (const std::string &src)

Detailed Description

C/C++ Language Conversion.

Definition in file convert_string_literal.h.

Function Documentation

convert_string_literal()

exprt convert_string_literal

(

const std::string &

src

)