Searched refs:results_filters_ (Results 1 – 2 of 2) sorted by relevance
281 const cli::result_types& results_filters_, in report_console_hooks() argument285 _results_filters(results_filters_), in report_console_hooks()288 PRE(!results_filters_.empty()); in report_console_hooks()
289 const cli::result_types& results_filters_) : in html_hooks() argument292 _results_filters(results_filters_), in html_hooks()295 PRE(!results_filters_.empty()); in html_hooks()