dialyzer_dataflow

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
                        | warn_unknown

fun_types() = dict:dict(label(), type())

label() = integer() >= 0

m_or_mfa() = module() | mfa()

mfa_or_funlbl() = label() | mfa()

raw_warning() =
            {dial_warn_tag(), warning_info(), {atom(), [term()]}}

state()

warning_info() =
            {file:filename(), integer() >= 0, m_or_mfa()}

Functions


get_warnings(Tree::c_module() (see module cerl), Plt::plt() (see module dialyzer_plt), Callgraph::callgraph() (see module dialyzer_callgraph), Codeserver::codeserver() (see module dialyzer_codeserver), Records::types()) -> {[raw_warning()], fun_types()}

get_fun_types(Tree::c_module() (see module cerl), Plt::plt() (see module dialyzer_plt), Callgraph::callgraph() (see module dialyzer_callgraph), Codeserver::codeserver() (see module dialyzer_codeserver), Records::types()) -> fun_types()

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

state__find_function(FunLbl::mfa_or_funlbl(), State::state()) -> mfa_or_funlbl()

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()) -> types()

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(ArgList0::[cerl() (see module cerl)], TypeList::[type()], State::state()) -> nonempty_string()