From be4fff49f0164e606d4b2f76f64d4d108895f236 Mon Sep 17 00:00:00 2001 From: Mageia SVN-Git Migration Date: Wed, 25 Apr 2007 15:16:21 +0000 Subject: Rename folder to match history. This is a Synthesized commit to combine perl-MDK-Common and perl_checker repository history. --- src/flags.mli | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 src/flags.mli (limited to 'src/flags.mli') diff --git a/src/flags.mli b/src/flags.mli new file mode 100644 index 0000000..2dc3b26 --- /dev/null +++ b/src/flags.mli @@ -0,0 +1,22 @@ +val verbose : bool ref +val quiet : bool ref +val generate_pot : bool ref +val expand_tabs : int option ref +val no_cache : bool ref +val check_unused_global_vars : bool ref +val check_white_space : bool ref +val check_suggest_simpler : bool ref +val check_void : bool ref +val check_context : bool ref +val check_strange : bool ref +val check_traps : bool ref +val check_complex_expressions : bool ref +val normalized_expressions : bool ref +val check_help_perl_checker : bool ref +val suggest_functional : bool ref +val check_prototypes : bool ref +val check_names : bool ref +val check_import_export : bool ref +val allow_MDK_Common : bool ref +val is_warning_type_set : Types.warning -> bool +val are_warning_types_set : Types.warning list -> bool -- cgit v1.2.1