diff options
| author | Tuncer Ayaz <[email protected]> | 2011-04-11 20:16:32 +0200 |
|---|---|---|
| committer | Tuncer Ayaz <[email protected]> | 2011-04-11 21:49:07 +0200 |
| commit | 8b852b4e67095d6a35fe662d5648facd887ae52b (patch) | |
| tree | a787c06ea674574142d9302a1485e2a4c7d92859 /lib/dialyzer/doc/manual.txt | |
| parent | 69f8ad2820735ee41eca387871024966d5c60c23 (diff) | |
| download | otp-8b852b4e67095d6a35fe662d5648facd887ae52b.tar.gz otp-8b852b4e67095d6a35fe662d5648facd887ae52b.tar.bz2 otp-8b852b4e67095d6a35fe662d5648facd887ae52b.zip | |
dialyzer/doc: synchronize manual.txt and dialyzer.xml
Diffstat (limited to 'lib/dialyzer/doc/manual.txt')
| -rw-r--r-- | lib/dialyzer/doc/manual.txt | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/lib/dialyzer/doc/manual.txt b/lib/dialyzer/doc/manual.txt index 07897293a2..d519ac960b 100644 --- a/lib/dialyzer/doc/manual.txt +++ b/lib/dialyzer/doc/manual.txt @@ -325,18 +325,25 @@ Option :: {files, [Filename :: string()]} | {analysis_type, 'succ_typings' | 'plt_add' | 'plt_build' | 'plt_check' | 'plt_remove'} | {warnings, [WarnOpts]} + | {get_warnings, bool()} WarnOpts :: no_return | no_unused | no_improper_lists | no_fun_app | no_match + | no_opaque | no_fail_call - | unmatched_returns | error_handling + | race_conditions + | behaviours + | unmatched_returns + | overspecs + | underspecs + | specdiffs dialyzer:format_warning({tag(), id(), msg()}) -> string() - + Returns a string representation of the warnings as returned by dialyzer:run/1. dialyzer:plt_info(string()) -> {'ok', [{atom(), any()}]} | {'error', atom()} |