ana::state_transition_at_return Class Reference

#include <state-transition.h>

Inheritance diagram for ana::state_transition_at_return:

Collaboration diagram for ana::state_transition_at_return:

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

Public Member Functions
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_return *	dyn_cast_state_transition_at_return () const final override
virtual const state_transition_at_call *	dyn_cast_state_transition_at_call () 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

stronginherited

Enumerator
origin
at_call
at_return
copy
use

Member Function Documentation

clone()

std::unique_ptr< state_transition > ana::state_transition_at_return::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_return::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()

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

inlinevirtualinherited

Reimplemented in ana::state_transition_at_call.

dyn_cast_state_transition_at_return()

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

inlinefinaloverridevirtual

Reimplemented from ana::state_transition.

References final().

get_kind()

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

inlinefinaloverridevirtual

Implements ana::state_transition.

References ana::state_transition::at_return, 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_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