dialyzer_dataflow

Functions

get_warnings(Tree::core_module(), Dialyzer_plt::#dialyzer_plt{}, Dialyzer_callgraph::#dialyzer_callgraph{}, Records::dict(), NoWarnUnused::set()) -> {[dial_warning()], dict()}

get_fun_types(Tree::core_module(), Dialyzer_plt::#dialyzer_plt{}, Dialyzer_callgraph::#dialyzer_callgraph{}, Records::dict()) -> dict()

pp(File::string()) -> ok

get_top_level_signatures(Code::any(), Records::dict()) -> [{{atom(), byte()}, erl_type()}]

View Functions