dialyzer_analysis_callgraph
DATA TYPES
compile_init_data() = #compile_init{}
-
compile_mid_data() = {module(), cerl() (see module cerl), [mfa()], callgraph() (see module dialyzer_callgraph), codeserver() (see module dialyzer_codeserver)}
-
compile_result() = {[{filename() (see module file), error_reason()}], [mfa()], [module()]}
-
opaque
error_reason() = string()
-
one_file_result() = {error, error_reason()} | {ok, [callgraph_edge() (see module dialyzer_callgraph)], [mfa_or_funlbl()], [mfa()], module()}
-
opaque
Functions
start(Parent::pid(), LegalWarnings::[dial_warn_tag()], Analysis::#analysis{}) -> ok
compile_init_result() -> compile_result()
add_to_result(File::filename() (see module file), NewData::one_file_result(), X3::compile_result(), InitData::compile_init_data()) -> compile_result()
start_compilation(File::filename() (see module file), Compile_init::compile_init_data()) -> {error, error_reason()} | {ok, integer(), compile_mid_data()}
continue_compilation(NextLabel::integer(), X2::compile_mid_data()) -> one_file_result()