ana::binding_key Class Reference

#include <store.h>

Inheritance diagram for ana::binding_key:

Public Member Functions
virtual	~binding_key ()
virtual bool	concrete_p () const =0
bool	symbolic_p () const
virtual void	dump_to_pp (pretty_printer *pp, bool simple) const =0
void	dump (bool simple) const
label_text	get_desc (bool simple=true) const
virtual const concrete_binding *	dyn_cast_concrete_binding () const
virtual const symbolic_binding *	dyn_cast_symbolic_binding () const

Static Public Member Functions
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 *)

Detailed Description

Abstract base class for describing ranges of bits within a binding_map
that can have svalues bound to them.   

Constructor & Destructor Documentation

~binding_key()

virtual ana::binding_key::~binding_key ( )

inlinevirtual

Member Function Documentation

cmp()

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

static

cmp_ptrs()

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

static

concrete_p()

virtual bool ana::binding_key::concrete_p ( ) const

pure virtual

Implemented in ana::concrete_binding, and ana::symbolic_binding.

Referenced by symbolic_p().

dump()

void ana::binding_key::dump

(

bool

simple

)

const

dump_to_pp()

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

pure virtual

Implemented in ana::concrete_binding, and ana::symbolic_binding.

dyn_cast_concrete_binding()

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

inlinevirtual

Reimplemented in ana::concrete_binding.

References NULL.

dyn_cast_symbolic_binding()

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

inlinevirtual

Reimplemented in ana::symbolic_binding.

References NULL.

get_desc()

label_text ana::binding_key::get_desc

(

bool

simple = true

)

const

make()

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

static

symbolic_p()

bool ana::binding_key::symbolic_p ( ) const

inline

References concrete_p().

---

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

• store.h