dialyzer_dataflow
(
dialyzer)
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(), dict(), [label()], [string()]}
get_fun_types(Tree::c_module() (see module cerl), Plt::plt() (see module dialyzer_plt), Callgraph::callgraph() (see module dialyzer_callgraph), Records::dict()) -> {dict(), dict(), [label()], [string()]}
pp(File::filename() (see module file)) -> ok
get_top_level_signatures(Code::c_module() (see module cerl), Records::dict()) -> [{{atom(), arity()}, erl_type() (see module erl_types)}]
state__add_warning(Warn::dial_warning(), State::state()) -> state()
state__cleanup(State::state()) -> state()
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()