cprover
type2name.cpp File Reference

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

Definition at line 85 of file type2name.cpp.

References CHECK_RETURN, integer2string(), and pointer_offset_bits().

Referenced by type2name().

◆ type2name() [1/3]

◆ type2name() [2/3]

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

Definition at line 275 of file type2name.cpp.

References parent_is_sym_check, and type2name().

◆ type2name() [3/3]

std::string type2name ( const typet type)

Definition at line 282 of file type2name.cpp.

References type2name().

◆ type2name_symbol()

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

Variable Documentation

◆ parent_is_sym_check

bool parent_is_sym_check =false
static

Definition at line 94 of file type2name.cpp.

Referenced by type2name().