#include <region-model.h>
Public Member Functions | |
exception_node (const svalue *exception_sval, const svalue *typeinfo_sval, const svalue *destructor_sval) | |
bool | operator== (const exception_node &other) const |
void | dump_to_pp (pretty_printer *pp, bool simple) const |
void | dump (FILE *fp, bool simple) const |
void | dump (bool simple) const |
void | dump () const |
std::unique_ptr< json::object > | to_json () const |
std::unique_ptr< text_art::tree_widget > | make_dump_widget (const text_art::dump_widget_info &dwi) const |
tree | maybe_get_type () const |
void | add_to_reachable_regions (reachable_regions &) const |
Data Fields | |
const svalue * | m_exception_sval |
const svalue * | m_typeinfo_sval |
const svalue * | m_destructor_sval |
Roughly equivalent to a struct __cxa_exception, except we store a std::vector rather than a linked list.
|
inline |
References m_destructor_sval, m_exception_sval, and m_typeinfo_sval.
Referenced by operator==().
void ana::exception_node::add_to_reachable_regions | ( | reachable_regions & | ) | const |
void ana::exception_node::dump | ( | ) | const |
void ana::exception_node::dump | ( | bool | simple | ) | const |
void ana::exception_node::dump | ( | FILE * | fp, |
bool | simple ) const |
void ana::exception_node::dump_to_pp | ( | pretty_printer * | pp, |
bool | simple ) const |
std::unique_ptr< text_art::tree_widget > ana::exception_node::make_dump_widget | ( | const text_art::dump_widget_info & | dwi | ) | const |
tree ana::exception_node::maybe_get_type | ( | ) | const |
bool ana::exception_node::operator== | ( | const exception_node & | other | ) | const |
References exception_node().
std::unique_ptr< json::object > ana::exception_node::to_json | ( | ) | const |
const svalue* ana::exception_node::m_destructor_sval |
Referenced by exception_node().
const svalue* ana::exception_node::m_exception_sval |
Referenced by exception_node().
const svalue* ana::exception_node::m_typeinfo_sval |
Referenced by exception_node().