ana::symbolic_region::key_t Struct Reference

#include <region.h>

Collaboration diagram for ana::symbolic_region::key_t:

Public Member Functions
	key_t (const region *parent, const svalue *sval_ptr)
hashval_t	hash () const
bool	operator== (const key_t &other) const
void	mark_deleted ()
void	mark_empty ()
bool	is_deleted () const
bool	is_empty () const

Data Fields
const region *	m_parent
const svalue *	m_sval_ptr

Constructor & Destructor Documentation

key_t()

ana::symbolic_region::key_t::key_t ( const region * parent, const svalue * sval_ptr )

inline

References gcc_assert.

Member Function Documentation

hash()

hashval_t ana::symbolic_region::key_t::hash ( ) const

inline

References inchash::hash::add_ptr(), inchash::hash::end(), m_parent, and m_sval_ptr.

is_deleted()

bool ana::symbolic_region::key_t::is_deleted ( ) const

inline

References m_sval_ptr.

is_empty()

bool ana::symbolic_region::key_t::is_empty ( ) const

inline

References m_sval_ptr, and NULL.

mark_deleted()

void ana::symbolic_region::key_t::mark_deleted ( )

inline

References m_sval_ptr.

mark_empty()

void ana::symbolic_region::key_t::mark_empty ( )

inline

References m_sval_ptr, and NULL.

operator==()

bool ana::symbolic_region::key_t::operator== ( const key_t & other ) const

inline

References m_parent, and m_sval_ptr.

Field Documentation

m_parent

const region* ana::symbolic_region::key_t::m_parent

Referenced by hash(), and operator==().

m_sval_ptr

const svalue* ana::symbolic_region::key_t::m_sval_ptr

Referenced by hash(), is_deleted(), is_empty(), mark_deleted(), mark_empty(), and operator==().

---

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

• region.h