dialyzer_succ_typings

Functions


analyze_callgraph(Callgraph, Plt, Codeserver) -> term()

analyze_callgraph_only_dataflow(Callgraph, Plt, Codeserver) -> term()

analyze_callgraph_only_typesig(Callgraph, Plt, Codeserver) -> term()

get_warnings(Callgraph, Plt, DocPlt, Codeserver, NoWarnUnused, AnalysisType) -> term()

doit(Module) -> term()

get_top_level_signatures(Code, Records) -> term()

get_top_level_signatures(Code, Records, Contracts) -> term()

View Functions