cprover
|
A collection of function filters to be applied in conjunction. More...
#include <cover_filter.h>
Public Member Functions | |
void | add (std::unique_ptr< function_filter_baset > filter) |
Adds a function filter. More... | |
bool | operator() (const irep_idt &identifier, const goto_functionst::goto_functiont &goto_function) const |
Applies the filters to the given function. More... | |
void | report_anomalies () const |
Can be called after final filter application to report on unexpected situations encountered. More... | |
Private Attributes | |
std::vector< std::unique_ptr< function_filter_baset > > | filters |
A collection of function filters to be applied in conjunction.
Definition at line 74 of file cover_filter.h.
|
inline |
Adds a function filter.
filter | transfers ownership of filter to the filter collection |
Definition at line 79 of file cover_filter.h.
References filters.
|
inline |
Applies the filters to the given function.
identifier | function name |
goto_function | goto function |
Definition at line 87 of file cover_filter.h.
References filters.
|
inline |
Can be called after final filter application to report on unexpected situations encountered.
Definition at line 100 of file cover_filter.h.
References filters.
|
private |
Definition at line 107 of file cover_filter.h.
Referenced by add(), operator()(), and report_anomalies().