1
1
%% -*- erlang-indent-level: 2 -*-
2
2
%%-----------------------------------------------------------------------
5
%% Copyright Ericsson AB 2006-2009. All Rights Reserved.
5
%% Copyright Ericsson AB 2006-2010. All Rights Reserved.
7
7
%% The contents of this file are subject to the Erlang Public License,
8
8
%% Version 1.1, (the "License"); you may not use this file except in
9
9
%% compliance with the License. You should have received a copy of the
10
10
%% Erlang Public License along with this software. If not, it can be
11
11
%% retrieved online at http://www.erlang.org/.
13
13
%% Software distributed under the License is distributed on an "AS IS"
14
14
%% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
15
15
%% the License for the specific language governing rights and limitations
16
16
%% under the License.
68
68
cl(["--no_check_plt"|T]) ->
69
69
put(dialyzer_options_check_plt, false),
72
cl(["--no_native"|T]);
73
cl(["--no_native"|T]) ->
74
put(dialyzer_options_native, false),
71
76
cl(["--plt_info"|T]) ->
72
77
put(dialyzer_options_analysis_type, plt_info),
191
196
{plt_info, cl_options()};
193
198
case get(dialyzer_options_mode) of
194
{gui,_} = GUI -> {GUI, common_options()};
199
{gui, _} = GUI -> {GUI, common_options()};
196
201
case get(dialyzer_options_analysis_type) =:= plt_check of
197
202
true -> {check_init, cl_options()};
311
316
S = "Usage: dialyzer [--help] [--version] [--shell] [--quiet] [--verbose]
312
317
[-pa dir]* [--plt plt] [-Ddefine]* [-I include_dir]*
313
318
[--output_plt file] [-Wwarn]* [--src] [--gui | --wx]
314
[-c applications] [-r applications] [-o outfile]
319
[files_or_dirs] [-r dirs] [--apps applications] [-o outfile]
315
320
[--build_plt] [--add_to_plt] [--remove_from_plt]
316
[--check_plt] [--no_check_plt] [--plt_info] [--get_warnings]
318
-c applications (or --command-line applications)
319
Use Dialyzer from the command line (no GUI) to detect defects in the
320
specified applications (directories or .erl or .beam files)
322
Same as -c only that directories are searched recursively for
323
subdirectories containing .erl or .beam files (depending on the
321
[--check_plt] [--no_check_plt] [--plt_info] [--get_warnings]
324
files_or_dirs (for backwards compatibility also as: -c files_or_dirs)
325
Use Dialyzer from the command line to detect defects in the
326
specified files or directories containing .erl or .beam files,
327
depending on the type of the analysis
329
Same as the previous but the specified directories are searched
330
recursively for subdirectories containing .erl or .beam files in
331
them, depending on the type of analysis
333
Option typically used when building or modifying a PLT as in:
334
dialyzer --build_plt --apps erts kernel stdlib mnesia ...
335
to conveniently refer to library applications corresponding to the
336
Erlang/OTP installation. However, the option is general and can also
337
be used during analysis in order to refer to Erlang/OTP applications.
338
In addition, file or directory names can also be included, as in:
339
dialyzer --apps inets ssl ./ebin ../other_lib/ebin/my_module.beam
325
340
-o outfile (or --output outfile)
326
341
When using Dialyzer from the command line, send the analysis
327
342
results to the specified \"outfile\" rather than to stdout
389
404
by the file name extension. Supported extensions are: raw, dot, and ps.
390
405
If something else is used as file name extension, default format '.raw'
408
Bypass the native code compilation of some key files that dialyzer
409
heuristically performs when dialyzing many files; this avoids the
410
compilation time but it may result in (much) longer analysis time.
393
412
Use the gs-based GUI.
432
451
Include warnings for functions that only return by means of an exception.
433
452
-Wrace_conditions ***
434
453
Include warnings for possible race conditions.
455
Include warnings about behaviour callbacks which drift from the published
456
recommended interfaces.
436
458
Warn about underspecified functions
437
459
(those whose -spec is strictly more allowing than the success typing).