ana::sm_context Class Reference

#include <sm.h>

Collaboration diagram for ana::sm_context:

Public Member Functions
virtual	~sm_context ()
virtual tree	get_fndecl_for_call (const gcall &call)=0
virtual state_machine::state_t	get_state (const gimple *stmt, tree var)=0
virtual state_machine::state_t	get_state (const gimple *stmt, const svalue *)=0
virtual void	set_next_state (const gimple *stmt, tree var, state_machine::state_t to, tree origin=NULL_TREE)=0
virtual void	set_next_state (const gimple *stmt, const svalue *var, state_machine::state_t to, tree origin=NULL_TREE)=0
void	on_transition (const supernode *node, const gimple *stmt, tree var, state_machine::state_t from, state_machine::state_t to, tree origin=NULL_TREE)
void	on_transition (const supernode *node, const gimple *stmt, const svalue *var, state_machine::state_t from, state_machine::state_t to, tree origin=NULL_TREE)
virtual void	warn (const supernode *node, const gimple *stmt, tree var, std::unique_ptr< pending_diagnostic > d)=0
virtual void	warn (const supernode *node, const gimple *stmt, const svalue *var, std::unique_ptr< pending_diagnostic > d)=0
virtual tree	get_diagnostic_tree (tree expr)
virtual tree	get_diagnostic_tree (const svalue *)=0
virtual state_machine::state_t	get_global_state () const =0
virtual void	set_global_state (state_machine::state_t)=0
virtual void	clear_all_per_svalue_state ()=0
virtual void	on_custom_transition (custom_transition *transition)=0
virtual tree	is_zero_assignment (const gimple *stmt)=0
virtual path_context *	get_path_context () const
virtual bool	unknown_side_effects_p () const
virtual const program_state *	get_old_program_state () const =0
virtual const program_state *	get_new_program_state () const =0
const region_model *	get_old_region_model () const

Protected Member Functions
	sm_context (int sm_idx, const state_machine &sm)

Protected Attributes
int	m_sm_idx
const state_machine &	m_sm

Detailed Description

Abstract base class giving an interface for the state machine to call
the checker engine, at a particular stmt.   

Constructor & Destructor Documentation

~sm_context()

virtual ana::sm_context::~sm_context ( )

inlinevirtual

sm_context()

ana::sm_context::sm_context ( int sm_idx, const state_machine & sm )

inlineprotected

References m_sm, and m_sm_idx.

Member Function Documentation

clear_all_per_svalue_state()

virtual void ana::sm_context::clear_all_per_svalue_state ( )

pure virtual

get_diagnostic_tree() [1/2]

virtual tree ana::sm_context::get_diagnostic_tree ( const svalue * )

pure virtual

get_diagnostic_tree() [2/2]

virtual tree ana::sm_context::get_diagnostic_tree ( tree expr )

inlinevirtual

get_fndecl_for_call()

virtual tree ana::sm_context::get_fndecl_for_call ( const gcall & call )

pure virtual

get_global_state()

virtual state_machine::state_t ana::sm_context::get_global_state ( ) const

pure virtual

get_new_program_state()

virtual const program_state * ana::sm_context::get_new_program_state ( ) const

pure virtual

get_old_program_state()

virtual const program_state * ana::sm_context::get_old_program_state ( ) const

pure virtual

get_old_region_model()

const region_model * ana::sm_context::get_old_region_model

(

)

const

get_path_context()

virtual path_context * ana::sm_context::get_path_context ( ) const

inlinevirtual

References NULL.

get_state() [1/2]

virtual state_machine::state_t ana::sm_context::get_state ( const gimple * stmt, const svalue *  )

pure virtual

References ana::stmt.

get_state() [2/2]

virtual state_machine::state_t ana::sm_context::get_state ( const gimple * stmt, tree var )

pure virtual

References ana::stmt.

Referenced by on_transition(), and on_transition().

is_zero_assignment()

virtual tree ana::sm_context::is_zero_assignment ( const gimple * stmt )

pure virtual

References ana::stmt.

on_custom_transition()

virtual void ana::sm_context::on_custom_transition ( custom_transition * transition )

pure virtual

on_transition() [1/2]

void ana::sm_context::on_transition ( const supernode * node, const gimple * stmt, const svalue * var, state_machine::state_t from, state_machine::state_t to, tree origin = NULL_TREE )

inline

References get_state(), NULL_TREE, set_next_state(), and ana::stmt.

on_transition() [2/2]

void ana::sm_context::on_transition ( const supernode * node, const gimple * stmt, tree var, state_machine::state_t from, state_machine::state_t to, tree origin = NULL_TREE )

inline

References get_state(), NULL_TREE, set_next_state(), and ana::stmt.

set_global_state()

virtual void ana::sm_context::set_global_state ( state_machine::state_t )

pure virtual

set_next_state() [1/2]

virtual void ana::sm_context::set_next_state ( const gimple * stmt, const svalue * var, state_machine::state_t to, tree origin = NULL_TREE )

pure virtual

References NULL_TREE, and ana::stmt.

set_next_state() [2/2]

virtual void ana::sm_context::set_next_state ( const gimple * stmt, tree var, state_machine::state_t to, tree origin = NULL_TREE )

pure virtual

References NULL_TREE, and ana::stmt.

Referenced by on_transition(), and on_transition().

unknown_side_effects_p()

virtual bool ana::sm_context::unknown_side_effects_p ( ) const

inlinevirtual

warn() [1/2]

virtual void ana::sm_context::warn ( const supernode * node, const gimple * stmt, const svalue * var, std::unique_ptr< pending_diagnostic > d )

pure virtual

References ana::stmt.

warn() [2/2]

virtual void ana::sm_context::warn ( const supernode * node, const gimple * stmt, tree var, std::unique_ptr< pending_diagnostic > d )

pure virtual

References ana::stmt.

Field Documentation

m_sm

const state_machine& ana::sm_context::m_sm

protected

Referenced by sm_context().

m_sm_idx

int ana::sm_context::m_sm_idx

protected

Referenced by sm_context().

---

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

• sm.h