#include <cover_filter.h>
Definition at line 142 of file cover_filter.h.
◆ file_filtert()
file_filtert::file_filtert |
( |
const irep_idt & |
file_id | ) |
|
|
inlineexplicit |
◆ operator()()
Filter out all functions except those defined in the file that is given in the constructor.
- Parameters
-
function | the function under consideration |
goto_function | a goto function |
- Returns
- returns true if
function
is defined in the file given in the constructor
Implements function_filter_baset.
Definition at line 55 of file cover_filter.cpp.
◆ file_id
The documentation for this class was generated from the following files: