Inheritance diagram for file_filtert:

Collaboration diagram for file_filtert:

Public Member Functions
	file_filtert (const irep_idt &file_id)

bool	operator() (const symbolt &identifier, const goto_functionst::goto_functiont &goto_function) const override
	Filter out all functions except those defined in the file that is 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 142 of file cover_filter.h.

Constructor & Destructor Documentation

file_filtert::file_filtert ( const irep_idt & file_id )

inlineexplicit

Definition at line 145 of file cover_filter.h.

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

overridevirtual

Filter out all functions except those defined in the file that is given in the constructor.

Parameters

function	the function under consideration
goto_function	a goto function

Returns: returns true if function is defined in the file given in the constructor

Definition at line 55 of file cover_filter.cpp.

irep_idt file_filtert::file_id

private

Definition at line 154 of file cover_filter.h.

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