dialyzer_dataflow

DATA TYPES

state()

Functions

---

get_warnings(Tree::c_module() (see module cerl), Plt::plt() (see module dialyzer_plt), Callgraph::callgraph() (see module dialyzer_callgraph), Records::dict(), NoWarnUnused::set()) -> {[dial_warning()], dict()}

get_fun_types(Tree::c_module() (see module cerl), Plt::plt() (see module dialyzer_plt), Callgraph::callgraph() (see module dialyzer_callgraph), Records::dict()) -> dict()

state__add_warning(Warn::dial_warning(), State::state()) -> state()

state__cleanup(State::state()) -> state()

state__duplicate(State::state()) -> state()

dispose_state(State::state()) -> ok

state__get_callgraph(State::state()) -> callgraph() (see module dialyzer_callgraph)

state__get_races(State::state()) -> races() (see module dialyzer_races)

state__get_records(State::state()) -> dict()

state__put_callgraph(Callgraph::callgraph() (see module dialyzer_callgraph), State::state()) -> state()

state__put_races(Races::races() (see module dialyzer_races), State::state()) -> state()

state__records_only(State::state()) -> state()

format_args(ArgList::[cerl() (see module cerl)], TypeList::[erl_type() (see module erl_types)], State::state()) -> nonempty_string()

View Functions

• get_warnings/1
• get_fun_types/1
• state__add_warning/1
• state__cleanup/1
• state__duplicate/1
• dispose_state/1
• state__get_callgraph/1
• state__get_races/1
• state__get_records/1
• state__put_callgraph/1
• state__put_races/1
• state__records_only/1
• format_args/1