cprover
|
#include <var_map.h>
Classes | |
struct | var_infot |
Public Types | |
typedef std::map< irep_idt, var_infot > | id_mapt |
Public Member Functions | |
var_mapt (const namespacet &_ns) | |
var_infot & | operator() (const irep_idt &symbol, const irep_idt &suffix, const typet &type) |
var_infot & | operator[] (const irep_idt &full_identifier) |
void | clear () |
void | init (var_infot &var_info) |
void | output (std::ostream &) const |
Public Attributes | |
id_mapt | id_map |
const namespacet | ns |
symbol_tablet | new_symbols |
unsigned | nondet_count |
unsigned | dynamic_count |
Protected Attributes | |
unsigned | shared_count |
unsigned | local_count |
typedef std::map<irep_idt, var_infot> var_mapt::id_mapt |
|
inlineexplicit |
|
inline |
Definition at line 90 of file var_map.h.
References dynamic_count, id_map, local_count, nondet_count, and shared_count.
void var_mapt::init | ( | var_infot & | var_info | ) |
Definition at line 71 of file var_map.cpp.
References var_mapt::var_infot::full_identifier, has_prefix(), id2string(), var_mapt::var_infot::is_shared(), symbolt::is_static_lifetime, symbolt::is_thread_local, var_mapt::var_infot::kind, local_count, namespacet::lookup(), ns, var_mapt::var_infot::number, var_mapt::var_infot::PROCEDURE_LOCAL, var_mapt::var_infot::SHARED, shared_count, var_mapt::var_infot::symbol, and var_mapt::var_infot::THREAD_LOCAL.
Referenced by operator()().
var_mapt::var_infot & var_mapt::operator() | ( | const irep_idt & | symbol, |
const irep_idt & | suffix, | ||
const typet & | type | ||
) |
Definition at line 20 of file var_map.cpp.
References dstringt::empty(), id2string(), id_map, and init().
void var_mapt::output | ( | std::ostream & | out | ) | const |
Definition at line 117 of file var_map.cpp.
References id_map.
unsigned var_mapt::dynamic_count |
Definition at line 111 of file var_map.h.
Referenced by clear(), and path_symext::symex_malloc().
id_mapt var_mapt::id_map |
Definition at line 78 of file var_map.h.
Referenced by clear(), operator()(), operator[](), and output().
|
protected |
symbol_tablet var_mapt::new_symbols |
Definition at line 102 of file var_map.h.
Referenced by path_symex_statet::instantiate_rec().
unsigned var_mapt::nondet_count |
Definition at line 110 of file var_map.h.
Referenced by clear(), and path_symex_statet::instantiate_rec().
const namespacet var_mapt::ns |
Definition at line 101 of file var_map.h.
Referenced by path_symex_statet::array_index_as_string(), path_symex_statet::array_theory(), path_symext::assign_rec(), path_symex_statet::dereference_rec(), path_symex_statet::expand_structs_and_arrays(), init(), path_symex_statet::instantiate_rec(), path_symex_statet::is_symbol_member_index(), path_symex_statet::read(), path_symex_statet::read_symbol_member_index(), path_symext::symex_malloc(), and path_symext::symex_va_arg_next().
|
protected |