diff options
| author | Hans Bolinder <[email protected]> | 2015-01-15 11:50:54 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2015-01-15 11:50:54 +0100 |
| commit | 249ea23892ee75f157b435b9edd1d8123d2474da (patch) | |
| tree | 9d9c4be0aadfcff6f137380259b93d87b5da17e5 /lib/dialyzer/src/dialyzer.hrl | |
| parent | 78a6bc3476fdf324a2140c04a42d003a0e9137ea (diff) | |
| parent | 25ab719cfaf42d196287fec2171bf3eefb845b62 (diff) | |
| download | otp-249ea23892ee75f157b435b9edd1d8123d2474da.tar.gz otp-249ea23892ee75f157b435b9edd1d8123d2474da.tar.bz2 otp-249ea23892ee75f157b435b9edd1d8123d2474da.zip | |
Merge branch 'hb/dialyzer/suppress_warning/OTP-10280'
* hb/dialyzer/suppress_warning/OTP-10280:
dialyzer: Introduce module local suppression of warnings
Diffstat (limited to 'lib/dialyzer/src/dialyzer.hrl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer.hrl | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer.hrl b/lib/dialyzer/src/dialyzer.hrl index 9a25f86512..90addc35a8 100644 --- a/lib/dialyzer/src/dialyzer.hrl +++ b/lib/dialyzer/src/dialyzer.hrl @@ -84,6 +84,15 @@ -type dial_warning() :: {dial_warn_tag(), file_line(), {atom(), [term()]}}. %% +%% This is the representation of each warning before suppressions have +%% been applied +%% +-type m_or_mfa() :: module() % warnings not associated with any function + | mfa(). +-type warning_info() :: {file:filename(), non_neg_integer(), m_or_mfa()}. +-type raw_warning() :: {dial_warn_tag(), warning_info(), {atom(), [term()]}}. + +%% %% This is the representation of dialyzer's internal errors %% -type dial_error() :: any(). %% XXX: underspecified @@ -103,6 +112,7 @@ -type fopt() :: 'basename' | 'fullpath'. -type format() :: 'formatted' | 'raw'. -type label() :: non_neg_integer(). +-type dial_warn_tags():: ordsets:ordset(dial_warn_tag()). -type rep_mode() :: 'quiet' | 'normal' | 'verbose'. -type start_from() :: 'byte_code' | 'src_code'. -type mfa_or_funlbl() :: label() | mfa(). @@ -138,7 +148,7 @@ init_plts = [] :: [file:filename()], include_dirs = [] :: [file:filename()], output_plt = none :: 'none' | file:filename(), - legal_warnings = ordsets:new() :: ordsets:ordset(dial_warn_tag()), + legal_warnings = ordsets:new() :: dial_warn_tags(), report_mode = normal :: rep_mode(), erlang_mode = false :: boolean(), use_contracts = true :: boolean(), |