dialyzer_coordinator

DATA TYPES

collector() = pid()
compile_init_data() = compile_init_data() (see module dialyzer_analysis_callgraph)
compile_jobs() = [filename() (see module file)]
compile_result() = compile_result() (see module dialyzer_analysis_callgraph)
coordinator() = {collector(), regulator(), scc_to_pid()}

opaque

dataflow_init_data() = dataflow_init_data() (see module dialyzer_succ_typings)
dataflow_result() = [mfa_or_funlbl()]
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()}
init_data() = compile_init_data() | typesig_init_data() | dataflow_init_data() | warnings_init_data()
job() = scc() | module() | filename() (see module file)
job_result() = one_file_result() (see module dialyzer_analysis_callgraph) | typesig_result() | dataflow_result() | warnings_result()
label() = non_neg_integer()
mfa_or_funlbl() = label() | mfa()
mode() = typesig | dataflow | compile | warnings
regulator() = pid()
result() = compile_result() | typesig_result() | dataflow_result() | warnings_result()
scc() = [mfa_or_funlbl()]
scc_to_pid() = tid() (see module ets) | unused
timing() = timing_server() (see module dialyzer_timing)
typesig_init_data() = typesig_init_data() (see module dialyzer_succ_typings)
typesig_result() = [mfa_or_funlbl()]
warnings_init_data() = warnings_init_data() (see module dialyzer_succ_typings)
warnings_result() = [dial_warning()]

Functions


parallel_job(Mode::compile, Jobs::compile_jobs(), InitData::compile_init_data(), Timing::timing()) -> {compile_result(), integer()}

sccs_to_pids(SCCs::[scc() | module()], X2::coordinator()) -> {[worker() (see module dialyzer_worker)], [scc() | module()]}

job_done(Job::job(), Result::job_result(), X3::coordinator()) -> ok

get_next_label(EstimatedSize::integer(), X2::coordinator()) -> integer()

wait_activation() -> ok

request_activation(X1::coordinator()) -> ok

View Functions