dialyzer_options

DATA 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
fopt() = basename | fullpath
format() = formatted | raw
ordset(T) = [T]
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()), 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()}