dialyzer_dataflow

DATA TYPES

dial_warn_tag() = warn_return_no_exit | warn_return_only_exit | warn_not_called | warn_non_proper_list | warn_matching | warn_opaque | warn_fun_app | warn_failing_call | warn_bin_construction | warn_contract_types | warn_contract_syntax | warn_contract_not_equal | warn_contract_subtype | warn_contract_supertype | warn_callgraph | warn_umatched_return | warn_race_condition | warn_behaviour | warn_contract_range | warn_undefined_callbacks
dial_warning() = {dial_warn_tag(), file_line(), {atom(), [term()]}}
file_line() = {filename() (see module file), non_neg_integer()}
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