dialyzer_succ_typings

DATA TYPES

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
dial_warning() = {dial_warn_tag(), file_line(), {atom(), [term()]}}
doc_plt() = undefined | plt() (see module dialyzer_plt)
file_line() = {filename() (see module file), non_neg_integer()}
parent() = none | pid()

Functions


analyze_callgraph(Callgraph::callgraph() (see module dialyzer_callgraph), Plt::plt() (see module dialyzer_plt), Codeserver::codeserver() (see module dialyzer_codeserver)) -> plt() (see module dialyzer_plt)

analyze_callgraph(Callgraph::callgraph() (see module dialyzer_callgraph), Plt::plt() (see module dialyzer_plt), Codeserver::codeserver() (see module dialyzer_codeserver), Parent::parent()) -> plt() (see module dialyzer_plt)

get_warnings(Callgraph::callgraph() (see module dialyzer_callgraph), Plt::plt() (see module dialyzer_plt), DocPlt::doc_plt(), Codeserver::codeserver() (see module dialyzer_codeserver), NoWarnUnused::set(), Parent::pid()) -> {[dial_warning()], plt() (see module dialyzer_plt), doc_plt()}

doit(Module::atom() | filename() (see module file)) -> ok

get_top_level_signatures(Code::c_module() (see module cerl), Records::dict(), Contracts::dict()) -> [{{atom(), arity()}, erl_type() (see module erl_types)}]