CBMC
Public Member Functions | Private Attributes | List of all members
goal_filterst Class Reference

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

#include <cover_filter.h>

+ Collaboration diagram for goal_filterst:

Public Member Functions

void add (std::unique_ptr< goal_filter_baset > filter)
 Adds a function filter. More...
 
bool operator() (const source_locationt &source_location) const
 Applies the filters to the given source location. More...
 
void report_anomalies () const
 Can be called after final filter application to report on unexpected situations encountered. More...
 

Private Attributes

std::vector< std::unique_ptr< goal_filter_baset > > filters
 

Detailed Description

A collection of goal filters to be applied in conjunction.

Definition at line 100 of file cover_filter.h.

Member Function Documentation

◆ add()

void goal_filterst::add ( std::unique_ptr< goal_filter_baset >  filter)
inline

Adds a function filter.

Parameters
filtertransfers ownership of filter to the filter collection

Definition at line 105 of file cover_filter.h.

◆ operator()()

bool goal_filterst::operator() ( const source_locationt &  source_location) const
inline

Applies the filters to the given source location.

Parameters
source_locationa source location where a goal is instrumented

Definition at line 112 of file cover_filter.h.

◆ report_anomalies()

void goal_filterst::report_anomalies ( ) const
inline

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

Definition at line 123 of file cover_filter.h.

Member Data Documentation

◆ filters

std::vector<std::unique_ptr<goal_filter_baset> > goal_filterst::filters
private

Definition at line 130 of file cover_filter.h.

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