CBMC
Loading...
Searching...
No Matches
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:
[フレーム]
[legend]

Public Member Functions

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

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
filter transfers 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_location a 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:

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