diff options
| author | Stavros Aronis <[email protected]> | 2013-02-14 17:37:25 +0100 |
|---|---|---|
| committer | Stavros Aronis <[email protected]> | 2013-02-15 17:13:08 +0100 |
| commit | 62a2a6b6b0b8a4d0ea5c3f8b209e340990a3e5c3 (patch) | |
| tree | 08ef14851f04abc8afd1d2299031df87ba9e53ea /lib | |
| parent | 4aa359570f2ba59d3efee52cae52053284daf586 (diff) | |
| download | otp-62a2a6b6b0b8a4d0ea5c3f8b209e340990a3e5c3.tar.gz otp-62a2a6b6b0b8a4d0ea5c3f8b209e340990a3e5c3.tar.bz2 otp-62a2a6b6b0b8a4d0ea5c3f8b209e340990a3e5c3.zip | |
Update Dialyzer's documentation
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/dialyzer/doc/src/dialyzer.xml | 9 |
1 files 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 @@ <item>Make Dialyzer a bit more quiet.</item> <tag><c><![CDATA[--verbose]]></c></tag> <item>Make Dialyzer a bit more verbose.</item> + <tag><c><![CDATA[--statistics]]></c></tag> + <item>Prints information about the progress of execution (analysis phases, + time spent in each and size of the relative input).</item> <tag><c><![CDATA[--build_plt]]></c></tag> <item>The analysis starts from an empty plt and creates a new one from the files specified with <c><![CDATA[-c]]></c> and @@ -228,6 +231,9 @@ match.</item> <tag><c><![CDATA[-Wno_opaque]]></c></tag> <item>Suppress warnings for violations of opaqueness of data types.</item> + <tag><c><![CDATA[-Wno_behaviours]]></c>***</tag> + <item>Suppress warnings about behaviour callbacks which drift from the + published recommended interfaces.</item> <tag><c><![CDATA[-Wunmatched_returns]]></c>***</tag> <item>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.</item> <tag><c><![CDATA[-Wrace_conditions]]></c>***</tag> <item>Include warnings for possible race conditions.</item> - <tag><c><![CDATA[-Wbehaviours]]></c>***</tag> - <item>Include warnings about behaviour callbacks which drift from the - published recommended interfaces.</item> <tag><c><![CDATA[-Wunderspecs]]></c>***</tag> <item>Warn about underspecified functions (the -spec is strictly more allowing than the success typing).</item> |