CBMC
Loading...
Searching...
No Matches
Public Member Functions | Private Attributes | List of all members
function_filterst Class Reference

A collection of function filters to be applied in conjunction. More...

#include <cover_filter.h>

+ Collaboration diagram for function_filterst:
[フレーム]
[legend]

Public Member Functions

void  add (std::unique_ptr< function_filter_baset > filter)
  Adds a function filter.
 
bool  operator() (const symbolt &identifier, const goto_functionst::goto_functiont &goto_function) const
  Applies the filters to the given function.
 
void  report_anomalies () const
  Can be called after final filter application to report on unexpected situations encountered.
 

Private Attributes

std::vector< std::unique_ptr< function_filter_baset > >  filters
 

Detailed Description

A collection of function filters to be applied in conjunction.

Definition at line 63 of file cover_filter.h.

Member Function Documentation

◆  add()

void function_filterst::add ( std::unique_ptr< function_filter_baset >  filter )
inline

Adds a function filter.

Parameters
filter transfers ownership of filter to the filter collection

Definition at line 68 of file cover_filter.h.

◆  operator()()

bool function_filterst::operator() ( const symbolt &  identifier,
const goto_functionst::goto_functiont &  goto_function 
) const
inline

Applies the filters to the given function.

Parameters
identifier function name
goto_function goto function

Definition at line 76 of file cover_filter.h.

◆  report_anomalies()

void function_filterst::report_anomalies ( ) const
inline

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

Definition at line 89 of file cover_filter.h.

Member Data Documentation

◆  filters

std::vector<std::unique_ptr<function_filter_baset> > function_filterst::filters
private

Definition at line 96 of file cover_filter.h.

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

AltStyle によって変換されたページ (->オリジナル) /