cprover
|
#include <cover_filter.h>
Public Member Functions | |
single_function_filtert (message_handlert &message_handler, const irep_idt &function_id) | |
bool | operator() (const symbolt &identifier, const goto_functionst::goto_functiont &goto_function) const override |
Filter out all functions except for one particular function 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 | function_id |
Additional Inherited Members |
Definition at line 177 of file cover_filter.h.
|
inlineexplicit |
Definition at line 180 of file cover_filter.h.
|
overridevirtual |
Filter out all functions except for one particular function given in the constructor.
function | the function under consideration |
goto_function | a goto function |
function
is different from the function given in the constructor Implements function_filter_baset.
Definition at line 68 of file cover_filter.cpp.
|
private |
Definition at line 192 of file cover_filter.h.