ana::binding_key Class Referenceabstract
#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()
|
inlinevirtual |
Member Function Documentation
◆ cmp()
|
static |
◆ cmp_ptrs()
◆ concrete_p()
Implemented in ana::concrete_binding, and ana::symbolic_binding.
Referenced by symbolic_p().
◆ dump()
◆ dump_to_pp()
|
pure virtual |
Implemented in ana::concrete_binding, and ana::symbolic_binding.
◆ dyn_cast_concrete_binding()
|
inlinevirtual |
Reimplemented in ana::concrete_binding.
References NULL.
◆ dyn_cast_symbolic_binding()
|
inlinevirtual |
Reimplemented in ana::symbolic_binding.
References NULL.
◆ get_desc()
| label_text ana::binding_key::get_desc | ( | bool | simple = true | ) | const |
◆ make()
|
static |
◆ symbolic_p()
|
inline |
References concrete_p().
The documentation for this class was generated from the following file:
