CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
Public Member Functions | List of all members
function_filter_baset Class Referenceabstract

Base class for filtering functions. More...

#include <cover_filter.h>

+ Inheritance diagram for function_filter_baset:

Public Member Functions

virtual ~function_filter_baset ()
 
virtual bool operator() (const symbolt &identifier, const goto_functionst::goto_functiont &goto_function) const =0
 Returns true if the function passes the filter criteria.
 
virtual void report_anomalies () const
 Can be called after final filter application to report on unexpected situations encountered.
 

Detailed Description

Base class for filtering functions.

Definition at line 23 of file cover_filter.h.

Constructor & Destructor Documentation

◆ ~function_filter_baset()

virtual function_filter_baset::~function_filter_baset ( )
inlinevirtual

Definition at line 26 of file cover_filter.h.

Member Function Documentation

◆ operator()()

virtual bool function_filter_baset::operator() ( const symbolt &  identifier,
const goto_functionst::goto_functiont &  goto_function 
) const
pure virtual

Returns true if the function passes the filter criteria.

Implemented in internal_functions_filtert, file_filtert, single_function_filtert, include_pattern_filtert, and trivial_functions_filtert.

◆ report_anomalies()

virtual void function_filter_baset::report_anomalies ( ) const
inlinevirtual

Can be called after final filter application to report on unexpected situations encountered.

Definition at line 37 of file cover_filter.h.

The documentation for this class was generated from the following file: