cprover
cpp_type2name.cpp File Reference

C++ Language Module. More...

#include "cpp_type2name.h"
#include <string>
#include <util/type.h>
#include <util/std_types.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 void irep2name (const irept &irep, std::string &result)
 
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 173 of file cpp_type2name.cpp.

References irep2name().

Referenced by cpp_typecheckt::class_template_identifier().

§ cpp_type2name()

§ do_prefix()

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

Definition at line 19 of file cpp_type2name.cpp.

Referenced by irep2name().

§ irep2name()

static void irep2name ( const irept irep,
std::string &  result 
)
static