cpp_type2name.cpp File Reference

C++ Language Module. More...

#include "cpp_type2name.h"
#include <string>
#include <util/cprover_prefix.h>
#include <util/pointer_expr.h>
#include <util/type.h>

Include dependency graph for cpp_type2name.cpp:

Go to the source code of this file.

Functions
static std::string	do_prefix (const std::string &s)
static std::string	irep2name (const irept &irep)
std::string	cpp_type2name (const typet &type)
std::string	cpp_expr2name (const exprt &expr)

Detailed Description

C++ Language Module.

Definition in file cpp_type2name.cpp.

Function Documentation

cpp_expr2name()

std::string cpp_expr2name

(

const exprt &

expr

)

Definition at line 183 of file cpp_type2name.cpp.

cpp_type2name()

std::string cpp_type2name

(

const typet &

type

)

Definition at line 101 of file cpp_type2name.cpp.

do_prefix()

static std::string do_prefix ( const std::string &  s )

static

Definition at line 20 of file cpp_type2name.cpp.

irep2name()

static std::string irep2name ( const irept &  irep )

static

Definition at line 28 of file cpp_type2name.cpp.