cprover
|
Filters functions that match the provided pattern. More...
#include <cover_filter.h>
Public Member Functions | |
include_pattern_filtert (message_handlert &message_handler, const std::string &cover_include_pattern) | |
bool | operator() (const irep_idt &identifier, const goto_functionst::goto_functiont &goto_function) const override |
Filter functions whose name match the regex. More... | |
![]() | |
function_filter_baset (message_handlert &message_handler) | |
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 | |
std::regex | regex_matcher |
Additional Inherited Members |
Filters functions that match the provided pattern.
Definition at line 159 of file cover_filter.h.
|
inlineexplicit |
Definition at line 162 of file cover_filter.h.
|
overridevirtual |
Filter functions whose name match the regex.
identifier | a function name |
goto_function | a goto function |
Implements function_filter_baset.
Definition at line 50 of file cover_filter.cpp.
|
private |
Definition at line 175 of file cover_filter.h.