A collection of function filters to be applied in conjunction. More...

Collaboration diagram for function_filterst:

Public Member Functions
void	add (std::unique_ptr< function_filter_baset > filter)
	Adds a function filter. More...

bool	operator() (const symbolt &identifier, const goto_functionst::goto_functiont &goto_function) const
	Applies the filters to the given function. More...

void	report_anomalies () const
	Can be called after final filter application to report on unexpected situations encountered. More...

Private Attributes
std::vector< std::unique_ptr< function_filter_baset > >	filters

Detailed Description

A collection of function filters to be applied in conjunction.

Definition at line 63 of file cover_filter.h.

Member Function Documentation

void function_filterst::add ( std::unique_ptr< function_filter_baset > filter )

inline

Adds a function filter.

Parameters

filter transfers ownership of filter to the filter collection

Definition at line 68 of file cover_filter.h.

bool function_filterst::operator()	(	const symbolt &	identifier,
		const goto_functionst::goto_functiont &	goto_function
	)		const

inline

Applies the filters to the given function.

Parameters

identifier	function name
goto_function	goto function

Definition at line 76 of file cover_filter.h.

void function_filterst::report_anomalies ( ) const

inline

Can be called after final filter application to report on unexpected situations encountered.

Definition at line 89 of file cover_filter.h.

std::vector<std::unique_ptr<function_filter_baset> > function_filterst::filters

private

Definition at line 96 of file cover_filter.h.

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