dialyzer_cl

Types


anal_type() = succ_typings | plt_build

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

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

dial_ret() = 0 | 1 | 2

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

dial_warn_tags() = ordsets:ordset(dial_warn_tag())

dial_warning() =
            {dial_warn_tag(), file_line(), {atom(), [term()]}}

file_line() = {file:filename(), integer() >= 0}

fopt() = basename | fullpath

format() = formatted | raw

rep_mode() = quiet | normal | verbose

solver() = v1 | v2

start_from() = byte_code | src_code

Functions


start(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=dial_warn_tags(), 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()]}) -> {dial_ret(), [dial_warning()]}