dialyzer_coordinator

Types

---

collector() = pid()

compile_init_data() =
            dialyzer_analysis_callgraph:compile_init_data()

compile_jobs() = [file:filename()]

compile_result() = dialyzer_analysis_callgraph:compile_result()

coordinator() = {collector(), regulator(), scc_to_pid()}

dataflow_init_data() =
            dialyzer_succ_typings:dataflow_init_data()

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

dial_warning() =
            {dial_warn_tag(), file_line(), {atom(), [term()]}}

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

init_data() = compile_init_data()
                    | typesig_init_data()
                    | dataflow_init_data()
                    | warnings_init_data()

job() = scc() | module() | file:filename()

job_result() = dialyzer_analysis_callgraph:one_file_result()
                     | typesig_result()
                     | dataflow_result()
                     | warnings_result()

label() = integer() >= 0

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() = ets:tid() | unused

timing() = dialyzer_timing:timing_server()

typesig_init_data() = dialyzer_succ_typings:typesig_init_data()

typesig_result() = [mfa_or_funlbl()]

warnings_init_data() =
            dialyzer_succ_typings:warnings_init_data()

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