#include <var_map.h>

Collaboration diagram for var_mapt:

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

Detailed Description

Definition at line 23 of file var_map.h.

Member Typedef Documentation

◆ id_mapt

typedef std::map<irep_idt, var_infot> var_mapt::id_mapt

Definition at line 77 of file var_map.h.

Constructor & Destructor Documentation

◆ var_mapt()

var_mapt::var_mapt ( const namespacet & _ns )

inlineexplicit

Definition at line 26 of file var_map.h.

Member Function Documentation

◆ clear()

void var_mapt::clear ( void )

inline

Definition at line 90 of file var_map.h.

References dynamic_count, id_map, local_count, nondet_count, and shared_count.

◆ init()

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()().

◆ 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().

◆ operator[]()

var_infot& var_mapt::operator[] ( const irep_idt & full_identifier )

inline

Definition at line 85 of file var_map.h.

References id_map.

◆ output()

void var_mapt::output ( std::ostream & out ) const

Definition at line 117 of file var_map.cpp.

References id_map.

Member Data Documentation

◆ dynamic_count

unsigned var_mapt::dynamic_count

Definition at line 111 of file var_map.h.

Referenced by clear(), and path_symext::symex_malloc().

◆ id_map

id_mapt var_mapt::id_map

Definition at line 78 of file var_map.h.

Referenced by clear(), operator()(), operator[](), and output().

◆ local_count

unsigned var_mapt::local_count

protected

Definition at line 107 of file var_map.h.

Referenced by clear(), and init().

◆ new_symbols

symbol_tablet var_mapt::new_symbols

Definition at line 102 of file var_map.h.

Referenced by path_symex_statet::instantiate_rec().

◆ nondet_count

unsigned var_mapt::nondet_count

Definition at line 110 of file var_map.h.

Referenced by clear(), and path_symex_statet::instantiate_rec().

◆ ns

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().

◆ shared_count

unsigned var_mapt::shared_count