goal_filter_baset Class Reference

Base class for filtering goals. More...

#include <cover_filter.h>

Inheritance diagram for goal_filter_baset:

Public Member Functions
virtual	~goal_filter_baset ()
virtual bool	operator() (const source_locationt &) const =0
	Returns true if the goal 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 goals.

Definition at line 44 of file cover_filter.h.

Constructor & Destructor Documentation

~goal_filter_baset()

virtual goal_filter_baset::~goal_filter_baset ( )

inlinevirtual

Definition at line 47 of file cover_filter.h.

Member Function Documentation

operator()()

virtual bool goal_filter_baset::operator() ( const source_locationt &  ) const

pure virtual

Returns true if the goal passes the filter criteria.

Implemented in internal_goals_filtert.

report_anomalies()

virtual void goal_filter_baset::report_anomalies ( ) const

inlinevirtual

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

Definition at line 56 of file cover_filter.h.

---

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

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