cprover
cpp_type2name.cpp File Reference

C++ Language Module. More...

#include "cpp_type2name.h"
#include <string>
#include <util/cprover_prefix.h>
#include <util/std_types.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 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 176 of file cpp_type2name.cpp.

◆ cpp_type2name()

std::string cpp_type2name ( const typet type)

Definition at line 92 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 void irep2name ( const irept irep,
std::string &  result 
)
static

Definition at line 29 of file cpp_type2name.cpp.