cprover
|
#include <cover_filter.h>
Public Member Functions | |
file_filtert (message_handlert &message_handler, const irep_idt &file_id) | |
bool | operator() (const symbolt &identifier, const goto_functionst::goto_functiont &goto_function) const override |
Filter out all functions except those defined in the file that is given in the constructor. 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 | |
irep_idt | file_id |
Additional Inherited Members |
Definition at line 159 of file cover_filter.h.
|
inlineexplicit |
Definition at line 162 of file cover_filter.h.
|
overridevirtual |
Filter out all functions except those defined in the file that is given in the constructor.
function | the function under consideration |
goto_function | a goto function |
function
is defined in the file given in the constructor Implements function_filter_baset.
Definition at line 54 of file cover_filter.cpp.
|
private |
Definition at line 174 of file cover_filter.h.