function_filter_baset Class Referenceabstract
Base class for filtering functions. More...
#include <cover_filter.h>
Inheritance diagram for function_filter_baset:Public Member Functions | |
| virtual | ~function_filter_baset () |
| virtual bool | operator() (const symbolt &identifier, const goto_functionst::goto_functiont &goto_function) const =0 |
| Returns true if the function passes the filter criteria. More... | |
| virtual void | report_anomalies () const |
| Can be called after final filter application to report on unexpected situations encountered. More... | |
Detailed Description
Base class for filtering functions.
Definition at line 23 of file cover_filter.h.
Constructor & Destructor Documentation
◆ ~function_filter_baset()
|
inlinevirtual |
Definition at line 26 of file cover_filter.h.
Member Function Documentation
◆ operator()()
|
pure virtual |
Returns true if the function passes the filter criteria.
Implemented in trivial_functions_filtert, include_pattern_filtert, single_function_filtert, file_filtert, and internal_functions_filtert.
◆ report_anomalies()
|
inlinevirtual |
Can be called after final filter application to report on unexpected situations encountered.
Definition at line 37 of file cover_filter.h.
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/goto-instrument/cover_filter.h
