dialyzer_options

Types

---

anal_type() = succ_typings | plt_build

anal_type1() = anal_type() | plt_add | plt_check | plt_remove

dial_define() = {atom(), term()}

dial_option() = {atom(), term()}

dial_options() = [dial_option()]

dial_warn_tag() = warn_return_no_exit
                        | warn_return_only_exit
                        | warn_not_called
                        | warn_non_proper_list
                        | warn_matching
                        | warn_opaque
                        | warn_fun_app
                        | warn_failing_call
                        | warn_bin_construction
                        | warn_contract_types
                        | warn_contract_syntax
                        | warn_contract_not_equal
                        | warn_contract_subtype
                        | warn_contract_supertype
                        | warn_callgraph
                        | warn_umatched_return
                        | warn_race_condition
                        | warn_behaviour
                        | warn_contract_range
                        | warn_undefined_callbacks
                        | warn_unknown

fopt() = basename | fullpath

format() = formatted | raw

rep_mode() = quiet | normal | verbose

solver() = v1 | v2

start_from() = byte_code | src_code

Functions

---

build(Opts::dial_options()) -> #options{files=[filename() (see module file)], files_rec=[filename() (see module file)], analysis_type=anal_type1(), timing=boolean() | debug, defines=[dial_define()], from=start_from(), get_warnings=boolean() | maybe, init_plts=[filename() (see module file)], include_dirs=[filename() (see module file)], output_plt=none | filename() (see module file), legal_warnings=ordset(dial_warn_tag()) (see module ordsets), report_mode=rep_mode(), erlang_mode=boolean(), use_contracts=boolean(), output_file=none | filename() (see module file), output_format=format(), filename_opt=fopt(), callgraph_file=filename() (see module file), check_plt=boolean(), solvers=[solver()]} | {error, string()}