ana::state_transition_at_call Class Reference

#include <state-transition.h>

Inheritance diagram for ana::state_transition_at_call:

Collaboration diagram for ana::state_transition_at_call:

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

Public Member Functions
	state_transition_at_call (callsite_expr expr)
std::unique_ptr< state_transition >	clone () const final override
void	dump_to_pp (pretty_printer *pp) const final override
enum kind	get_kind () const final override
const state_transition_at_call *	dyn_cast_state_transition_at_call () const final override
callsite_expr	get_callsite_expr () 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

Private Attributes
callsite_expr	m_expr

Member Enumeration Documentation

kind

enum class ana::state_transition::kind

stronginherited

Enumerator
origin
at_call
at_return
copy
use

Constructor & Destructor Documentation

state_transition_at_call()

ana::state_transition_at_call::state_transition_at_call ( callsite_expr expr )

inline

References m_expr.

Member Function Documentation

clone()

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

finaloverridevirtual

Implements ana::state_transition.

References final().

dump()

void ana::state_transition::dump ( ) const

inherited

dump_to_pp()

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

finaloverridevirtual

Implements ana::state_transition.

References dump_to_pp(), and final().

Referenced by dump_to_pp().

dyn_cast_state_transition_at_call()

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

inlinefinaloverridevirtual

Reimplemented from ana::state_transition.

References final().

dyn_cast_state_transition_at_return()

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

inlinevirtualinherited

Reimplemented in ana::state_transition_at_return.

get_callsite_expr()

callsite_expr ana::state_transition_at_call::get_callsite_expr ( ) const

inline

References m_expr.

get_kind()

enum kind ana::state_transition_at_call::get_kind ( ) const

inlinefinaloverridevirtual

Implements ana::state_transition.

References ana::state_transition::at_call, final(), and get_kind().

Referenced by get_kind().

get_src_event_id()

diagnostics::paths::event_id_t ana::state_transition::get_src_event_id ( ) const

inherited

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 )

staticinherited

Field Documentation

m_event_id

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

inherited

m_expr

callsite_expr ana::state_transition_at_call::m_expr

private

Referenced by get_callsite_expr(), and state_transition_at_call().

m_prev_state_transition

state_transition* ana::state_transition::m_prev_state_transition

inherited

Referenced by state_transition().

---

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

• state-transition.h