prefix_filtert Class Reference
Provides filtering of strings vai inclusion/exclusion lists of prefixes. More...
#include <prefix_filter.h>
Collaboration diagram for prefix_filtert:Public Member Functions | |
| prefix_filtert (std::vector< std::string > included_prefixes, std::vector< std::string > excluded_prefixes) | |
| bool | operator() (const std::string &value) const |
Return true iff value matches a prefix in included_prefixes, but doesn't match a prefix in excluded_prefixes. More... | |
Protected Attributes | |
| std::vector< std::string > | included_prefixes |
| std::vector< std::string > | excluded_prefixes |
Detailed Description
Provides filtering of strings vai inclusion/exclusion lists of prefixes.
Definition at line 19 of file prefix_filter.h.
Constructor & Destructor Documentation
◆ prefix_filtert()
| prefix_filtert::prefix_filtert | ( | std::vector< std::string > | included_prefixes, |
| std::vector< std::string > | excluded_prefixes | ||
| ) |
Definition at line 18 of file prefix_filter.cpp.
Member Function Documentation
◆ operator()()
| bool prefix_filtert::operator() | ( | const std::string & | value | ) | const |
Return true iff value matches a prefix in included_prefixes, but doesn't match a prefix in excluded_prefixes.
An empty vector of included_prefixes is treated as 'match all'. An empty vector of excluded_prefixes is treated as 'match nothing'.
Definition at line 26 of file prefix_filter.cpp.
Member Data Documentation
◆ excluded_prefixes
|
protected |
Definition at line 34 of file prefix_filter.h.
◆ included_prefixes
|
protected |
Definition at line 33 of file prefix_filter.h.
The documentation for this class was generated from the following files:
- /home/runner/work/cbmc/cbmc/src/util/prefix_filter.h
- /home/runner/work/cbmc/cbmc/src/util/prefix_filter.cpp
