diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2004-11-10 09:07:48 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2004-11-10 09:07:48 +0000 |
| commit | 8b557505590d0733b29c54b8f9c33d15c1619e6e (patch) | |
| tree | 7781a25b06076b396a8db83d5380f40c5bc01e7a /perl_checker.src/flags.mli | |
| parent | 262c6d17a23ee7047c25e60310b0ebbcc39cb40a (diff) | |
| download | perl-MDK-Common-8b557505590d0733b29c54b8f9c33d15c1619e6e.tar perl-MDK-Common-8b557505590d0733b29c54b8f9c33d15c1619e6e.tar.gz perl-MDK-Common-8b557505590d0733b29c54b8f9c33d15c1619e6e.tar.bz2 perl-MDK-Common-8b557505590d0733b29c54b8f9c33d15c1619e6e.tar.xz perl-MDK-Common-8b557505590d0733b29c54b8f9c33d15c1619e6e.zip | |
allow disabling warnings on command-line (and have various warnings level)
Diffstat (limited to 'perl_checker.src/flags.mli')
| -rw-r--r-- | perl_checker.src/flags.mli | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/perl_checker.src/flags.mli b/perl_checker.src/flags.mli index b3d8ffa..2dc3b26 100644 --- a/perl_checker.src/flags.mli +++ b/perl_checker.src/flags.mli @@ -2,5 +2,21 @@ val verbose : bool ref val quiet : bool ref val generate_pot : bool ref val expand_tabs : int option ref -val check_unused_global_vars : bool 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 |