ana::symbolic_binding Class Reference

#include <store.h>

Inheritance diagram for ana::symbolic_binding:

Collaboration diagram for ana::symbolic_binding:

Public Types
typedef symbolic_binding	key_t

Public Member Functions
	symbolic_binding (const region *region)
bool	concrete_p () const final override
hashval_t	hash () const
bool	operator== (const symbolic_binding &other) const
void	dump_to_pp (pretty_printer *pp, bool simple) const final override
const symbolic_binding *	dyn_cast_symbolic_binding () const final override
const region *	get_region () const
void	mark_deleted ()
void	mark_empty ()
bool	is_deleted () const
bool	is_empty () const
bool	symbolic_p () const
void	dump (bool simple) const
label_text	get_desc (bool simple=true) const
virtual const concrete_binding *	dyn_cast_concrete_binding () const

Static Public Member Functions
static int	cmp_ptr_ptr (const void *, const void *)
static const binding_key *	make (store_manager *mgr, const region *r)
static int	cmp_ptrs (const void *, const void *)
static int	cmp (const binding_key *, const binding_key *)

Private Attributes
const region *	m_region

Detailed Description

Concrete subclass of binding_key, for describing a symbolic set of
bits within the binding_map in terms of a region (e.g. "arr[i]").   

Member Typedef Documentation

key_t

symbolic_binding ana::symbolic_binding::key_t

Constructor & Destructor Documentation

symbolic_binding()

ana::symbolic_binding::symbolic_binding ( const region * region )

inline

Member Function Documentation

cmp()

static int ana::binding_key::cmp ( const binding_key * , const binding_key *  )

staticinherited

cmp_ptr_ptr()

static int ana::symbolic_binding::cmp_ptr_ptr ( const void * , const void *  )

static

cmp_ptrs()

static int ana::binding_key::cmp_ptrs ( const void * , const void *  )

staticinherited

concrete_p()

bool ana::symbolic_binding::concrete_p ( ) const

inlinefinaloverridevirtual

Implements ana::binding_key.

dump()

void ana::binding_key::dump ( bool simple ) const

inherited

dump_to_pp()

void ana::symbolic_binding::dump_to_pp ( pretty_printer * pp, bool simple ) const

finaloverridevirtual

Implements ana::binding_key.

dyn_cast_concrete_binding()

virtual const concrete_binding * ana::binding_key::dyn_cast_concrete_binding ( ) const

inlinevirtualinherited

Reimplemented in ana::concrete_binding.

References NULL.

dyn_cast_symbolic_binding()

const symbolic_binding * ana::symbolic_binding::dyn_cast_symbolic_binding ( ) const

inlinefinaloverridevirtual

Reimplemented from ana::binding_key.

get_desc()

label_text ana::binding_key::get_desc ( bool simple = true ) const

inherited

get_region()

const region * ana::symbolic_binding::get_region ( ) const

inline

References m_region.

hash()

hashval_t ana::symbolic_binding::hash ( ) const

inline

References m_region.

is_deleted()

bool ana::symbolic_binding::is_deleted ( ) const

inline

References m_region.

is_empty()

bool ana::symbolic_binding::is_empty ( ) const

inline

References m_region, and NULL.

make()

static const binding_key * ana::binding_key::make ( store_manager * mgr, const region * r )

staticinherited

mark_deleted()

void ana::symbolic_binding::mark_deleted ( )

inline

References m_region.

mark_empty()

void ana::symbolic_binding::mark_empty ( )

inline

References m_region, and NULL.

operator==()

bool ana::symbolic_binding::operator== ( const symbolic_binding & other ) const

inline

References m_region.

symbolic_p()

bool ana::binding_key::symbolic_p ( ) const

inlineinherited

References ana::binding_key::concrete_p().

Field Documentation

m_region

const region* ana::symbolic_binding::m_region

private

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

---

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

• store.h