dialyzer_succ_typings
DATA TYPES
dataflow_init_data() = term()
-
doc_plt() = undefined | plt() (see module dialyzer_plt)
-
fixpoint_init_data() = typesig_init_data() | dataflow_init_data()
-
parent() = none | pid()
-
scc() = [mfa_or_funlbl()] | [module()]
-
typesig_init_data() = term()
-
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), NoWarnUnused::set(), TimingServer::timing_server() (see module dialyzer_timing), Solvers::[solver()], Parent::pid()) -> {[dial_warning()], plt() (see module dialyzer_plt), doc_plt()}
collect_warnings(M::module(), X2::warnings_init_data()) -> [dial_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()]