Type Naming for C. More...
#include "type2name.h"#include <util/arith_tools.h>#include <util/invariant.h>#include <util/namespace.h>#include <util/pointer_offset_size.h>#include <util/std_expr.h>#include <util/std_types.h>#include <util/symbol_table.h>
Include dependency graph for type2name.cpp:Go to the source code of this file.
Typedefs | |
| typedef std::unordered_map< irep_idt, std::pair< size_t, bool > > | symbol_numbert |
Functions | |
| static std::string | type2name (const typet &type, const namespacet &ns, symbol_numbert &symbol_number) |
| static std::string | type2name_symbol (const typet &type, const namespacet &ns, symbol_numbert &symbol_number) |
| static std::string | pointer_offset_bits_as_string (const typet &type, const namespacet &ns) |
| std::string | type2name (const typet &type, const namespacet &ns) |
| std::string | type2name (const typet &type) |
Variables | |
| static bool | parent_is_sym_check =false |
Detailed Description
Type Naming for C.
Definition in file type2name.cpp.
Typedef Documentation
◆ symbol_numbert
| typedef std::unordered_map<irep_idt, std::pair<size_t, bool> > symbol_numbert |
Definition at line 22 of file type2name.cpp.
Function Documentation
◆ pointer_offset_bits_as_string()
|
static |
Definition at line 85 of file type2name.cpp.
◆ type2name() [1/3]
|
static |
Definition at line 95 of file type2name.cpp.
◆ type2name() [2/3]
| std::string type2name | ( | const typet & | type, |
| const namespacet & | ns | ||
| ) |
Definition at line 278 of file type2name.cpp.
◆ type2name() [3/3]
| std::string type2name | ( | const typet & | type | ) |
Definition at line 285 of file type2name.cpp.
◆ type2name_symbol()
|
static |
Definition at line 29 of file type2name.cpp.
Variable Documentation
◆ parent_is_sym_check
|
static |
Definition at line 94 of file type2name.cpp.
