cprover
type2name.cpp File Reference
#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_tag (const tag_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)
 

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 std::string pointer_offset_bits_as_string ( const typet type,
const namespacet ns 
)
static

Definition at line 70 of file type2name.cpp.

◆ type2name() [1/2]

std::string type2name ( const typet type,
const namespacet ns 
)

Definition at line 270 of file type2name.cpp.

◆ type2name() [2/2]

static std::string type2name ( const typet type,
const namespacet ns,
symbol_numbert symbol_number 
)
static

Definition at line 79 of file type2name.cpp.

◆ type2name_tag()

static std::string type2name_tag ( const tag_typet type,
const namespacet ns,
symbol_numbert symbol_number 
)
static

Definition at line 29 of file type2name.cpp.