diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2023-09-26 19:59:37 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2023-09-26 19:59:37 (GMT) |
commit | a5cd93644fbb16dfc181f630b1c8d739fdc685fb (patch) | |
tree | 7adc13b35c4de5df9fac66e107d3456a662ec4ea /src/analysis/scan/options.h | |
parent | 2f740fc8aa705df046a6d32fc98e2787df0e47e1 (diff) |
Display tags on demand with ROST.
Diffstat (limited to 'src/analysis/scan/options.h')
-rw-r--r-- | src/analysis/scan/options.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/analysis/scan/options.h b/src/analysis/scan/options.h index fc1b7d3..059c57e 100644 --- a/src/analysis/scan/options.h +++ b/src/analysis/scan/options.h @@ -81,6 +81,12 @@ bool g_scan_options_get_print_stats(const GScanOptions *); /* Mémorise un besoin de statistiques en fin de compilation. */ void g_scan_options_set_print_stats(GScanOptions *, bool); +/* Indique un besoin d'affichage des étiquettes avec résultats. */ +bool g_scan_options_get_print_tags(const GScanOptions *); + +/* Mémorise un besoin d'affichage des étiquettes avec résultats. */ +void g_scan_options_set_print_tags(GScanOptions *, bool); + /* Inscrit une étiquette comme sélection de règles à afficher. */ void g_scan_options_select_tag(GScanOptions *, const char *); |