ana::state_transition Class Reference

#include <state-transition.h>

Inheritance diagram for ana::state_transition:

Collaboration diagram for ana::state_transition:

Public Types
enum class	kind {   origin , at_call , at_return , copy ,   use }

Public Member Functions
	state_transition ()
virtual	~state_transition ()
virtual std::unique_ptr< state_transition >	clone () const =0
virtual void	dump_to_pp (pretty_printer *pp) const =0
virtual enum kind	get_kind () const =0
virtual const state_transition_at_call *	dyn_cast_state_transition_at_call () const
virtual const state_transition_at_return *	dyn_cast_state_transition_at_return () const
void	dump () const
diagnostics::paths::event_id_t	get_src_event_id () const

Static Public Member Functions
static std::unique_ptr< state_transition >	make (const region *src_reg, tree src_reg_expr, const region *dst_reg, tree dst_reg_expr)

Data Fields
state_transition *	m_prev_state_transition
diagnostics::paths::event_id_t	m_event_id

Member Enumeration Documentation

kind

enum class ana::state_transition::kind

strong

Enumerator
origin
at_call
at_return
copy
use

Constructor & Destructor Documentation

state_transition()

ana::state_transition::state_transition ( )

inline

References m_prev_state_transition.

~state_transition()

virtual ana::state_transition::~state_transition ( )

inlinevirtual

Member Function Documentation

clone()

virtual std::unique_ptr< state_transition > ana::state_transition::clone ( ) const

pure virtual

Implemented in ana::state_transition_at_call, ana::state_transition_at_return, ana::state_transition_copy, ana::state_transition_origin, and ana::state_transition_use.

dump()

void ana::state_transition::dump

(

)

const

dump_to_pp()

virtual void ana::state_transition::dump_to_pp ( pretty_printer * pp ) const

pure virtual

Implemented in ana::state_transition_at_call, ana::state_transition_at_return, ana::state_transition_copy, ana::state_transition_origin, and ana::state_transition_use.

dyn_cast_state_transition_at_call()

virtual const state_transition_at_call * ana::state_transition::dyn_cast_state_transition_at_call ( ) const

inlinevirtual

Reimplemented in ana::state_transition_at_call.

dyn_cast_state_transition_at_return()

virtual const state_transition_at_return * ana::state_transition::dyn_cast_state_transition_at_return ( ) const

inlinevirtual

Reimplemented in ana::state_transition_at_return.

get_kind()

virtual enum kind ana::state_transition::get_kind ( ) const

pure virtual

Implemented in ana::state_transition_at_call, ana::state_transition_at_return, ana::state_transition_copy, ana::state_transition_origin, and ana::state_transition_use.

get_src_event_id()

diagnostics::paths::event_id_t ana::state_transition::get_src_event_id

(

)

const

Referenced by ana::evdesc::call_with_state::call_with_state(), and ana::evdesc::return_of_state::return_of_state().

make()

std::unique_ptr< state_transition > ana::state_transition::make ( const region * src_reg, tree src_reg_expr, const region * dst_reg, tree dst_reg_expr )

static

Field Documentation

m_event_id

diagnostics::paths::event_id_t ana::state_transition::m_event_id

m_prev_state_transition

state_transition* ana::state_transition::m_prev_state_transition

Referenced by state_transition().

---

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

• state-transition.h