include_pattern_filtert Class Reference

Filters functions that match the provided pattern. More...

#include <cover_filter.h>

Inheritance diagram for include_pattern_filtert:

Collaboration diagram for include_pattern_filtert:

Public Member Functions
	include_pattern_filtert (const std::string &cover_include_pattern)
bool	operator() (const symbolt &identifier, const goto_functionst::goto_functiont &goto_function) const override
	Filter functions whose name matches the regex. More...
Public Member Functions inherited from function_filter_baset
virtual	~function_filter_baset ()
virtual void	report_anomalies () const
	Can be called after final filter application to report on unexpected situations encountered. More...

Private Attributes
std::regex	regex_matcher

Detailed Description

Filters functions that match the provided pattern.

Definition at line 172 of file cover_filter.h.

Constructor & Destructor Documentation

include_pattern_filtert()

include_pattern_filtert::include_pattern_filtert ( const std::string &  cover_include_pattern )

inlineexplicit

Definition at line 175 of file cover_filter.h.

Member Function Documentation

operator()()

bool include_pattern_filtert::operator() ( const symbolt &  function, const goto_functionst::goto_functiont &  goto_function  ) const

overridevirtual

Filter functions whose name matches the regex.

Parameters

function	the function under consideration
goto_function	a goto function

Returns

returns true if the function name matches

Implements function_filter_baset.

Definition at line 81 of file cover_filter.cpp.

Member Data Documentation

regex_matcher

std::regex include_pattern_filtert::regex_matcher

private

Definition at line 185 of file cover_filter.h.

---

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

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