From 62a2a6b6b0b8a4d0ea5c3f8b209e340990a3e5c3 Mon Sep 17 00:00:00 2001 From: Stavros Aronis Date: Thu, 14 Feb 2013 17:37:25 +0100 Subject: Update Dialyzer's documentation --- lib/dialyzer/doc/src/dialyzer.xml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index 5e0c9b51e3..0ac96e8ac9 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -158,6 +158,9 @@ Make Dialyzer a bit more quiet. Make Dialyzer a bit more verbose. + + Prints information about the progress of execution (analysis phases, + time spent in each and size of the relative input). The analysis starts from an empty plt and creates a new one from the files specified with and @@ -228,6 +231,9 @@ match. Suppress warnings for violations of opaqueness of data types. + *** + Suppress warnings about behaviour callbacks which drift from the + published recommended interfaces. *** Include warnings for function calls which ignore a structured return value or do not match against one of many possible return @@ -237,9 +243,6 @@ exception. *** Include warnings for possible race conditions. - *** - Include warnings about behaviour callbacks which drift from the - published recommended interfaces. *** Warn about underspecified functions (the -spec is strictly more allowing than the success typing). -- cgit v1.2.3