dialyzer_dataflow

Functions


format_args(ArgList, TypeList, State) -> term()

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

get_top_level_signatures(Code, Records) -> term()

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

pp(File) -> term()

state__add_warning(Warn, State) -> term()

state__cleanup(State) -> term()

state__get_callgraph(State) -> term()

state__get_races(State) -> term()

state__get_records(State) -> term()

state__put_callgraph(Callgraph, State) -> term()

state__put_races(Races, State) -> term()

state__records_only(State) -> term()

View Functions