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

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 98 of file cover_filter.h.

Member Function Documentation

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

inline

Adds a function filter.

Parameters

filter transfers ownership of filter to the filter collection

Definition at line 103 of file cover_filter.h.

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

inline

Applies the filters to the given source location.

Parameters

source_location a source location where a goal is instrumented

Definition at line 110 of file cover_filter.h.

void goal_filterst::report_anomalies ( ) const

inline

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

Definition at line 121 of file cover_filter.h.

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

private

Definition at line 128 of file cover_filter.h.

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

/home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-instrument/cover_filter.h