GCC Middle and Back End API Reference
|
#include <program-state.h>
Public Member Functions | |
extrinsic_state (auto_delete_vec< state_machine > &checkers, engine *eng, logger *logger=NULL) | |
const state_machine & | get_sm (int idx) const |
const char * | get_name (int idx) const |
unsigned | get_num_checkers () const |
logger * | get_logger () const |
void | dump_to_pp (pretty_printer *pp) const |
void | dump_to_file (FILE *outf) const |
void | dump () const |
std::unique_ptr< json::object > | to_json () const |
engine * | get_engine () const |
region_model_manager * | get_model_manager () const |
bool | get_sm_idx_by_name (const char *name, unsigned *out) const |
Private Attributes | |
auto_delete_vec< state_machine > & | m_checkers |
logger * | m_logger |
engine * | m_engine |
Data shared by all program_state instances.
|
inline |
void ana::extrinsic_state::dump | ( | ) | const |
void ana::extrinsic_state::dump_to_file | ( | FILE * | outf | ) | const |
void ana::extrinsic_state::dump_to_pp | ( | pretty_printer * | pp | ) | const |
|
inline |
References m_engine.
Referenced by ana::exploded_graph::get_engine().
region_model_manager * ana::extrinsic_state::get_model_manager | ( | ) | const |
|
inline |
References m_checkers.
|
inline |
References m_checkers.
|
inline |
References m_checkers.
bool ana::extrinsic_state::get_sm_idx_by_name | ( | const char * | name, |
unsigned * | out ) const |
std::unique_ptr< json::object > ana::extrinsic_state::to_json | ( | ) | const |
|
private |
Referenced by get_name(), get_num_checkers(), and get_sm().
|
private |
Referenced by get_engine().
|
private |
Referenced by get_logger().