cprover
|
A collection of goal filters to be applied in conjunction. More...
#include <cover_filter.h>
Public Member Functions | |
void | add (std::unique_ptr< goal_filter_baset > filter) |
Adds a function filter. More... | |
bool | operator() (const source_locationt &source_location) const |
Applies the filters to the given source location. 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< goal_filter_baset > > | filters |
A collection of goal filters to be applied in conjunction.
Definition at line 111 of file cover_filter.h.
|
inline |
Adds a function filter.
filter | transfers ownership of filter to the filter collection |
Definition at line 116 of file cover_filter.h.
References filters.
Referenced by get_cover_config().
|
inline |
Applies the filters to the given source location.
source_location | a source location where a goal is instrumented |
Definition at line 123 of file cover_filter.h.
References filters.
|
inline |
Can be called after final filter application to report on unexpected situations encountered.
Definition at line 134 of file cover_filter.h.
References filters.
|
private |
Definition at line 141 of file cover_filter.h.
Referenced by add(), operator()(), and report_anomalies().