cprover
|
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>
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 |
Type Naming for C.
Definition in file type2name.cpp.
typedef std::unordered_map<irep_idt, std::pair<size_t, bool> > symbol_numbert |
Definition at line 22 of file type2name.cpp.
|
static |
Definition at line 85 of file type2name.cpp.
References CHECK_RETURN, integer2string(), and pointer_offset_bits().
Referenced by type2name().
|
static |
Definition at line 95 of file type2name.cpp.
References CHECK_RETURN, struct_union_typet::components(), dstringt::empty(), forall_subtypes, irept::get_bool(), source_locationt::get_function(), irept::get_string(), code_typet::has_ellipsis(), typet::has_subtype(), typet::has_subtypes(), irept::id(), id2string(), irept::id_string(), integer2string(), c_enum_typet::members(), code_typet::parameters(), parent_is_sym_check, pointer_offset_bits_as_string(), messaget::result(), code_typet::return_type(), array_typet::size(), typet::source_location(), typet::subtype(), to_array_type(), to_c_enum_type(), to_code_type(), to_integer(), to_struct_union_type(), to_symbol_expr(), and type2name_symbol().
Referenced by type2name(), type2name_symbol(), ansi_c_languaget::type_to_name(), and c_typecheck_baset::typecheck_compound_type().
std::string type2name | ( | const typet & | type, |
const namespacet & | ns | ||
) |
Definition at line 275 of file type2name.cpp.
References parent_is_sym_check, and type2name().
std::string type2name | ( | const typet & | type | ) |
Definition at line 282 of file type2name.cpp.
References type2name().
|
static |
Definition at line 29 of file type2name.cpp.
References irept::get(), irept::id(), id2string(), symbolt::is_type, namespacet::lookup(), messaget::result(), to_string(), symbolt::type, and type2name().
Referenced by type2name().
|
static |
Definition at line 94 of file type2name.cpp.
Referenced by type2name().