Inheritance diagram for single_function_filtert:

Collaboration diagram for single_function_filtert:

Public Member Functions
	single_function_filtert (const irep_idt &function_id)

bool	operator() (const symbolt &identifier, const goto_functionst::goto_functiont &goto_function) const override
	Filter out all functions except for one particular function given in the constructor.

Public Member Functions inherited from function_filter_baset
virtual	~function_filter_baset ()

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

Detailed Description

Definition at line 157 of file cover_filter.h.

Constructor & Destructor Documentation

single_function_filtert::single_function_filtert ( const irep_idt & function_id )

inlineexplicit

Definition at line 160 of file cover_filter.h.

bool single_function_filtert::operator()	(	const symbolt &	function,
		const goto_functionst::goto_functiont &	goto_function
	)		const

overridevirtual

Filter out all functions except for one particular function given in the constructor.

Parameters

function	the function under consideration
goto_function	a goto function

Returns: returns true if function is different from the function given in the constructor

Definition at line 69 of file cover_filter.cpp.

irep_idt single_function_filtert::function_id

private

Definition at line 170 of file cover_filter.h.

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