CBMC
file_filtert Class Reference

#include <cover_filter.h>

+ 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. More...
 
- 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. More...
 

Private Attributes

irep_idt file_id
 

Detailed Description

Definition at line 142 of file cover_filter.h.

Constructor & Destructor Documentation

◆ file_filtert()

file_filtert::file_filtert ( const irep_idt file_id)
inlineexplicit

Definition at line 145 of file cover_filter.h.

Member Function Documentation

◆ operator()()

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
functionthe function under consideration
goto_functiona goto function
Returns
returns true if function is defined in the file given in the constructor

Implements function_filter_baset.

Definition at line 55 of file cover_filter.cpp.

Member Data Documentation

◆ file_id

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: