diff options
| author | Kostis Sagonas <[email protected]> | 2010-02-10 11:03:35 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2010-02-14 12:23:03 +0100 |
| commit | a9c8a2496d54668d2d46133ff0ef1787cd7b80d6 (patch) | |
| tree | 3bfcb5f41342f4c48bc2affcf90214182bee2495 /lib/dialyzer/src/dialyzer.hrl | |
| parent | cdd3a82020d7c6d0d9a3fe35469d66809685ddf5 (diff) | |
| download | otp-a9c8a2496d54668d2d46133ff0ef1787cd7b80d6.tar.gz otp-a9c8a2496d54668d2d46133ff0ef1787cd7b80d6.tar.bz2 otp-a9c8a2496d54668d2d46133ff0ef1787cd7b80d6.zip | |
dialyzer: New version for the R13B04 release
Diffstat (limited to 'lib/dialyzer/src/dialyzer.hrl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer.hrl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer.hrl b/lib/dialyzer/src/dialyzer.hrl index f0f9bd25d7..d50b8720f8 100644 --- a/lib/dialyzer/src/dialyzer.hrl +++ b/lib/dialyzer/src/dialyzer.hrl @@ -55,6 +55,7 @@ -define(WARN_CALLGRAPH, warn_callgraph). -define(WARN_UNMATCHED_RETURN, warn_umatched_return). -define(WARN_RACE_CONDITION, warn_race_condition). +-define(WARN_BEHAVIOUR,warn_behaviour). %% %% The following type has double role: @@ -68,7 +69,8 @@ | ?WARN_CONTRACT_TYPES | ?WARN_CONTRACT_SYNTAX | ?WARN_CONTRACT_NOT_EQUAL | ?WARN_CONTRACT_SUBTYPE | ?WARN_CONTRACT_SUPERTYPE | ?WARN_CALLGRAPH - | ?WARN_UNMATCHED_RETURN | ?WARN_RACE_CONDITION. + | ?WARN_UNMATCHED_RETURN | ?WARN_RACE_CONDITION + | ?WARN_BEHAVIOUR. %% %% This is the representation of each warning as they will be returned @@ -118,6 +120,7 @@ plt :: dialyzer_plt:plt(), use_contracts = true :: boolean(), race_detection = false :: boolean(), + behaviours_chk = false :: boolean(), callgraph_file = "" :: file:filename()}). -record(options, {files = [] :: [file:filename()], |