dialyzer_succ_typings

Types


dataflow_init_data() = term()

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

doc_plt() = undefined | dialyzer_plt:plt()

fixpoint_init_data() = typesig_init_data()
                             | dataflow_init_data()

label() = integer() >= 0

m_or_mfa() = module() | mfa()

mfa_or_funlbl() = label() | mfa()

parent() = none | pid()

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

scc() = [mfa_or_funlbl()] | [module()]

solver() = v1 | v2

typesig_init_data() = term()

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

warnings_init_data() = term()

Functions


analyze_callgraph(Callgraph::callgraph() (see module dialyzer_callgraph), Plt::plt() (see module dialyzer_plt), Codeserver::codeserver() (see module dialyzer_codeserver)) -> plt() (see module dialyzer_plt)

analyze_callgraph(Callgraph::callgraph() (see module dialyzer_callgraph), Plt::plt() (see module dialyzer_plt), Codeserver::codeserver() (see module dialyzer_codeserver), TimingServer::timing_server() (see module dialyzer_timing), Solvers::[solver()], Parent::parent()) -> plt() (see module dialyzer_plt)

get_warnings(Callgraph::callgraph() (see module dialyzer_callgraph), Plt::plt() (see module dialyzer_plt), DocPlt::doc_plt(), Codeserver::codeserver() (see module dialyzer_codeserver), TimingServer::timing_server() (see module dialyzer_timing), Solvers::[solver()], Parent::pid()) -> {[raw_warning()], plt() (see module dialyzer_plt), doc_plt()}

collect_warnings(M::module(), X2::warnings_init_data()) -> [raw_warning()]

find_depends_on(SCC::scc() | module(), X2::fixpoint_init_data()) -> [scc()]

find_required_by(SCC::scc() | module(), X2::fixpoint_init_data()) -> [scc()]

lookup_names(Labels::[label()], X2::fixpoint_init_data()) -> [mfa_or_funlbl()]

refine_one_module(M::module(), X2::dataflow_init_data()) -> [label()]

find_succ_types_for_scc(SCC::scc(), X2::typesig_init_data()) -> [mfa_or_funlbl()]