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 |
Definition at line 20 of file cpp_type2name.cpp.
◆ irep2name()
|
static |
Definition at line 28 of file cpp_type2name.cpp.
