dialyzer_dataflow

Functions


pp(File) -> term()

get_warnings(Tree, Plt, Callgraph, Records, NoWarnUnused) -> term()

get_fun_types(Tree, Plt, Callgraph, Records) -> term()

get_top_level_signatures(Code, Records) -> term()

doit(Module) -> term()

doit(Module, Opts) -> term()

annotate_module(Code, Plt) -> term()

View Functions