ana::store_manager Class Reference

#include <store.h>

Collaboration diagram for ana::store_manager:

Public Member Functions
	store_manager (region_model_manager *mgr)
logger *	get_logger () const
const concrete_binding *	get_concrete_binding (bit_offset_t start_bit_offset, bit_offset_t size_in_bits)
const concrete_binding *	get_concrete_binding (const bit_range &bits)
const concrete_binding *	get_concrete_binding (const byte_range &bytes)
const symbolic_binding *	get_symbolic_binding (const region *region)
region_model_manager *	get_svalue_manager () const
void	log_stats (logger *logger, bool show_objs) const

Private Attributes
region_model_manager *	m_mgr
consolidation_map< concrete_binding >	m_concrete_binding_key_mgr
consolidation_map< symbolic_binding >	m_symbolic_binding_key_mgr

Detailed Description

A class responsible for owning and consolidating binding keys
(both concrete and symbolic).
Key instances are immutable as far as clients are concerned, so they
are provided as "const" ptrs.   

Constructor & Destructor Documentation

store_manager()

ana::store_manager::store_manager ( region_model_manager * mgr )

inline

References m_mgr.

Member Function Documentation

get_concrete_binding() [1/3]

const concrete_binding * ana::store_manager::get_concrete_binding	(	bit_offset_t	start_bit_offset,
		bit_offset_t	size_in_bits )

Referenced by get_concrete_binding(), and get_concrete_binding().

get_concrete_binding() [2/3]

const concrete_binding * ana::store_manager::get_concrete_binding ( const bit_range & bits )

inline

References get_concrete_binding().

get_concrete_binding() [3/3]

const concrete_binding * ana::store_manager::get_concrete_binding ( const byte_range & bytes )

inline

References ana::byte_range::as_bit_range(), and get_concrete_binding().

get_logger()

logger * ana::store_manager::get_logger

(

)

const

get_svalue_manager()

region_model_manager * ana::store_manager::get_svalue_manager ( ) const

inline

References m_mgr.

get_symbolic_binding()

const symbolic_binding * ana::store_manager::get_symbolic_binding

(

const region *

region

)

log_stats()

void ana::store_manager::log_stats	(	logger *	logger,
		bool	show_objs ) const

Field Documentation

m_concrete_binding_key_mgr

consolidation_map<concrete_binding> ana::store_manager::m_concrete_binding_key_mgr

private

m_mgr

region_model_manager* ana::store_manager::m_mgr

private

Referenced by get_svalue_manager(), and store_manager().

m_symbolic_binding_key_mgr

consolidation_map<symbolic_binding> ana::store_manager::m_symbolic_binding_key_mgr

private

---

The documentation for this class was generated from the following file:

• store.h