blob: 187c1403d2b21a976862b2ab57d2f015b9c99019 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
open Common
open Types
let verbose = ref false
let quiet = ref false
let generate_pot = ref false
let expand_tabs = ref (Some 8)
let no_cache = ref false
let check_unused_global_vars = ref false
let check_white_space = ref true
let check_suggest_simpler = ref true
let check_void = ref true
let check_context = ref true
let check_strange = ref true
let check_traps = ref true
let check_complex_expressions = ref true
let normalized_expressions = ref true
let check_help_perl_checker = ref true
let suggest_functional = ref true
let check_prototypes = ref true
let check_names = ref true
let check_import_export = ref true
let allow_MDK_Common = ref true
let is_warning_type_set = function
| Warn_white_space -> !check_white_space
| Warn_suggest_simpler -> !check_suggest_simpler
| Warn_unused_global_vars -> !check_unused_global_vars
| Warn_void -> !check_void
| Warn_context -> !check_context
| Warn_strange -> !check_strange
| Warn_traps -> !check_traps
| Warn_complex_expressions -> !check_complex_expressions
| Warn_normalized_expressions -> !normalized_expressions
| Warn_suggest_functional -> !suggest_functional
| Warn_prototypes -> !check_prototypes
| Warn_names -> !check_names
| Warn_import_export -> !check_import_export
| Warn_MDK_Common -> !allow_MDK_Common
| Warn_help_perl_checker -> !check_help_perl_checker
let are_warning_types_set l = not !quiet && List.for_all is_warning_type_set l
|
