ana::success_call_info Class Reference

#include <call-info.h>

Inheritance diagram for ana::success_call_info:

Collaboration diagram for ana::success_call_info:

Public Member Functions
label_text	get_desc (bool can_colorize) const final override
void	print (pretty_printer *pp) const final override
void	add_events_to_path (checker_path *emission_path, const exploded_edge &eedge) const final override
const gcall *	get_call_stmt () const
tree	get_fndecl () const
call_details	get_call_details (region_model *model, region_model_context *ctxt) const
virtual bool	update_state (program_state *state, const exploded_edge *eedge, region_model_context *ctxt) const
virtual bool	update_model (region_model *model, const exploded_edge *eedge, region_model_context *ctxt) const =0

Protected Member Functions
	success_call_info (const call_details &cd)

Protected Attributes
bool	m_success

Private Attributes
const gcall *	m_call_stmt
tree	m_fndecl

Detailed Description

Subclass of call_info for a "success" outcome of a call,
adding a "when `FNDECL' succeeds" message.
This is still abstract: the custom_edge_info::update_model vfunc
must be implemented.   

Constructor & Destructor Documentation

success_call_info()

ana::success_call_info::success_call_info ( const call_details & cd )

inlineprotected

Member Function Documentation

add_events_to_path()

void ana::call_info::add_events_to_path ( checker_path * emission_path, const exploded_edge & eedge ) const

finaloverridevirtualinherited

Implements ana::custom_edge_info.

get_call_details()

call_details ana::call_info::get_call_details ( region_model * model, region_model_context * ctxt ) const

inherited

get_call_stmt()

const gcall * ana::call_info::get_call_stmt ( ) const

inlineinherited

References ana::call_info::m_call_stmt.

get_desc()

label_text ana::succeed_or_fail_call_info::get_desc ( bool can_colorize ) const

finaloverridevirtualinherited

Implements ana::call_info.

get_fndecl()

tree ana::call_info::get_fndecl ( ) const

inlineinherited

References ana::call_info::m_fndecl.

print()

void ana::call_info::print ( pretty_printer * pp ) const

finaloverridevirtualinherited

Implements ana::custom_edge_info.

update_model()

virtual bool ana::custom_edge_info::update_model ( region_model * model, const exploded_edge * eedge, region_model_context * ctxt ) const

pure virtualinherited

Implemented in ana::dynamic_call_info_t, and ana::rewind_info_t.

update_state()

virtual bool ana::custom_edge_info::update_state ( program_state * state, const exploded_edge * eedge, region_model_context * ctxt ) const

virtualinherited

Field Documentation

m_call_stmt

const gcall* ana::call_info::m_call_stmt

privateinherited

Referenced by ana::call_info::get_call_stmt().

m_fndecl

tree ana::call_info::m_fndecl

privateinherited

Referenced by ana::call_info::get_fndecl().

m_success

bool ana::succeed_or_fail_call_info::m_success

protectedinherited

---

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

• call-info.h