dialyzer_succ_typings
DATA TYPES
doc_plt() = undefined | #dialyzer_plt{}
-
Functions
analyze_callgraph(Dialyzer_callgraph::#dialyzer_callgraph{}, Dialyzer_plt::#dialyzer_plt{}, Dialyzer_codeserver::#dialyzer_codeserver{}) -> #dialyzer_plt{}
analyze_callgraph(Dialyzer_callgraph::#dialyzer_callgraph{}, Dialyzer_plt::#dialyzer_plt{}, Dialyzer_codeserver::#dialyzer_codeserver{}, Parent::none | pid()) -> #dialyzer_plt{}
get_warnings(Dialyzer_callgraph::#dialyzer_callgraph{}, Dialyzer_plt::#dialyzer_plt{}, DocPlt::doc_plt(), Dialyzer_codeserver::#dialyzer_codeserver{}, NoWarnUnused::set(), Parent::pid()) -> {[dial_warning()], #dialyzer_plt{}, doc_plt()}
doit(Module::atom() | string()) -> ok
get_top_level_signatures(Code::core_records(), Records::dict(), Contracts::dict()) -> ordset({{atom(), byte()}, erl_type()})