allow disabling warnings on command-line (and have various warnings level)

1 files changed, 36 insertions, 1 deletions

diff --git a/perl_checker.src/flags.ml b/perl_checker.src/flags.ml
index fdedc95..187c140 100644
--- a/perl_checker.src/flags.ml
+++ b/perl_checker.src/flags.ml
@@ -1,8 +1,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 check_unused_global_vars = ref false
 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