GCC Middle and Back End API Reference
ana::extrinsic_state Class Reference

#include <program-state.h>

Collaboration diagram for ana::extrinsic_state:

Public Member Functions

 extrinsic_state (auto_delete_vec< state_machine > &checkers, engine *eng, logger *logger=NULL)
 
const state_machineget_sm (int idx) const
 
const char * get_name (int idx) const
 
unsigned get_num_checkers () const
 
loggerget_logger () const
 
void dump_to_pp (pretty_printer *pp) const
 
void dump_to_file (FILE *outf) const
 
void dump () const
 
std::unique_ptr< json::objectto_json () const
 
engineget_engine () const
 
region_model_managerget_model_manager () const
 
bool get_sm_idx_by_name (const char *name, unsigned *out) const
 

Private Attributes

auto_delete_vec< state_machine > & m_checkers
 
loggerm_logger
 
enginem_engine
 

Detailed Description

Data shared by all program_state instances.   

Constructor & Destructor Documentation

◆ extrinsic_state()

ana::extrinsic_state::extrinsic_state ( auto_delete_vec< state_machine > & checkers,
engine * eng,
logger * logger = NULL )
inline

Member Function Documentation

◆ dump()

void ana::extrinsic_state::dump ( ) const

◆ dump_to_file()

void ana::extrinsic_state::dump_to_file ( FILE * outf) const

◆ dump_to_pp()

void ana::extrinsic_state::dump_to_pp ( pretty_printer * pp) const

◆ get_engine()

engine * ana::extrinsic_state::get_engine ( ) const
inline

References m_engine.

Referenced by ana::exploded_graph::get_engine().

◆ get_logger()

logger * ana::extrinsic_state::get_logger ( ) const
inline

References m_logger.

◆ get_model_manager()

region_model_manager * ana::extrinsic_state::get_model_manager ( ) const

◆ get_name()

const char * ana::extrinsic_state::get_name ( int idx) const
inline

References m_checkers.

◆ get_num_checkers()

unsigned ana::extrinsic_state::get_num_checkers ( ) const
inline

References m_checkers.

◆ get_sm()

const state_machine & ana::extrinsic_state::get_sm ( int idx) const
inline

References m_checkers.

◆ get_sm_idx_by_name()

bool ana::extrinsic_state::get_sm_idx_by_name ( const char * name,
unsigned * out ) const

◆ to_json()

std::unique_ptr< json::object > ana::extrinsic_state::to_json ( ) const

Field Documentation

◆ m_checkers

auto_delete_vec<state_machine>& ana::extrinsic_state::m_checkers
private

Referenced by get_name(), get_num_checkers(), and get_sm().

◆ m_engine

engine* ana::extrinsic_state::m_engine
private

Referenced by get_engine().

◆ m_logger

logger* ana::extrinsic_state::m_logger
private

Referenced by get_logger().


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