GCC Middle and Back End API Reference
ana::state_change_visitor Class Referenceabstract

#include <program-state.h>

Public Member Functions

virtual ~state_change_visitor ()
 
virtual bool on_global_state_change (const state_machine &sm, state_machine::state_t src_sm_val, state_machine::state_t dst_sm_val)=0
 
virtual bool on_state_change (const state_machine &sm, state_machine::state_t src_sm_val, state_machine::state_t dst_sm_val, const svalue *dst_sval, const svalue *dst_origin_sval)=0
 

Detailed Description

An abstract base class for use with for_each_state_change.   

Constructor & Destructor Documentation

◆ ~state_change_visitor()

virtual ana::state_change_visitor::~state_change_visitor ( )
inlinevirtual

Member Function Documentation

◆ on_global_state_change()

virtual bool ana::state_change_visitor::on_global_state_change ( const state_machine & sm,
state_machine::state_t src_sm_val,
state_machine::state_t dst_sm_val )
pure virtual

◆ on_state_change()

virtual bool ana::state_change_visitor::on_state_change ( const state_machine & sm,
state_machine::state_t src_sm_val,
state_machine::state_t dst_sm_val,
const svalue * dst_sval,
const svalue * dst_origin_sval )
pure virtual

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