dialyzer_dataflow

(dialyzer)

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

• format_args/3
• get_fun_types/4
• get_top_level_signatures/2
• get_warnings/5
• pp/1
• state__add_warning/2
• state__cleanup/1
• state__get_callgraph/1
• state__get_races/1
• state__get_records/1
• state__put_callgraph/2
• state__put_races/2
• state__records_only/1