cprover
|
Base class for filtering functions. More...
#include <cover_filter.h>
Public Member Functions | |
function_filter_baset (message_handlert &message_handler) | |
virtual | ~function_filter_baset () |
virtual bool | operator() (const irep_idt &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... | |
Additional Inherited Members |
Base class for filtering functions.
Definition at line 24 of file cover_filter.h.
|
inlineexplicit |
Definition at line 27 of file cover_filter.h.
|
inlinevirtual |
Definition at line 32 of file cover_filter.h.
|
pure virtual |
Returns true if the function passes the filter criteria.
Implemented in trivial_functions_filtert, include_pattern_filtert, and internal_functions_filtert.
|
inlinevirtual |
Can be called after final filter application to report on unexpected situations encountered.
Definition at line 43 of file cover_filter.h.