dialyzer_analysis_callgraph

DATA TYPES

anal_type() = succ_typings | plt_build
dial_define() = {atom(), 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
start_from() = byte_code | src_code

Functions


start(Parent::pid(), LegalWarnings::[dial_warn_tag()], Analysis::#analysis{analysis_pid=undefined | pid(), type=anal_type(), defines=[dial_define()], doc_plt=undefined | plt() (see module dialyzer_plt), files=[filename() (see module file)], include_dirs=[filename() (see module file)], start_from=start_from(), plt=undefined | plt() (see module dialyzer_plt), use_contracts=boolean(), race_detection=boolean(), behaviours_chk=boolean(), callgraph_file=filename() (see module file)}) -> ok