ana::call_summary Class Reference

#include <call-summary.h>

Collaboration diagram for ana::call_summary:

Public Member Functions
	call_summary (per_function_data *per_fn_data, const exploded_node *enode)
const program_state &	get_state () const
tree	get_fndecl () const
label_text	get_desc () const
void	dump_to_pp (const extrinsic_state &ext_state, pretty_printer *pp, bool simple) const
void	dump (const extrinsic_state &ext_state, FILE *fp, bool simple) const
void	dump (const extrinsic_state &ext_state, bool simple) const

Private Member Functions
void	get_user_facing_desc (pretty_printer *pp) const

Private Attributes
per_function_data *const	m_per_fn_data
const exploded_node *const	m_enode

Detailed Description

A class summarizing one particular outcome of a function that
we've already analyzed.
This lets us efficiently replay the analysis when we see calls
to the function, providing an approximation of the behavior of
the function without having to execute within the function itself.   

Constructor & Destructor Documentation

call_summary()

ana::call_summary::call_summary ( per_function_data * per_fn_data, const exploded_node * enode )

inline

Member Function Documentation

dump() [1/2]

void ana::call_summary::dump	(	const extrinsic_state &	ext_state,
		bool	simple ) const

dump() [2/2]

void ana::call_summary::dump	(	const extrinsic_state &	ext_state,
		FILE *	fp,
		bool	simple ) const

dump_to_pp()

void ana::call_summary::dump_to_pp	(	const extrinsic_state &	ext_state,
		pretty_printer *	pp,
		bool	simple ) const

get_desc()

label_text ana::call_summary::get_desc

(

)

const

get_fndecl()

tree ana::call_summary::get_fndecl

(

)

const

get_state()

const program_state & ana::call_summary::get_state

(

)

const

get_user_facing_desc()

void ana::call_summary::get_user_facing_desc ( pretty_printer * pp ) const

private

Field Documentation

m_enode

const exploded_node* const ana::call_summary::m_enode

private

m_per_fn_data

per_function_data* const ana::call_summary::m_per_fn_data

private

---

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

• call-summary.h