dialyzer_utils

Types


abstract_code() = [tuple()]

callback_dict() = dict:dict()

comp_options() = [compile:option()]

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

get_core_from_abs_ret() = {ok, cerl:c_module()} | error

get_core_from_src_ret() = {ok, cerl:c_module()}
                                | {error, string()}

mod_or_fname() = module() | file:filename()

spec_dict() = dict:dict()

Functions


get_abstract_code_from_src(File::mod_or_fname()) -> {ok, abstract_code()} | {error, [string()]}

get_abstract_code_from_src(File::mod_or_fname(), Opts::comp_options()) -> {ok, abstract_code()} | {error, [string()]}

get_core_from_src(File::filename() (see module file)) -> get_core_from_src_ret()

get_core_from_src(File::filename() (see module file), Opts::comp_options()) -> get_core_from_src_ret()

get_abstract_code_from_beam(File::filename() (see module file)) -> error | {ok, abstract_code()}

get_compile_options_from_beam(File::filename() (see module file)) -> error | {ok, [option() (see module compile)]}

get_core_from_abstract_code(AbstrCode::abstract_code()) -> get_core_from_abs_ret()

get_core_from_abstract_code(AbstrCode::abstract_code(), Opts::comp_options()) -> get_core_from_abs_ret()

get_record_and_type_info(AbstractCode::abstract_code()) -> {ok, dict() (see module dict)} | {error, string()}

process_record_remote_types(CServer::codeserver()) -> codeserver()

merge_records(NewRecords::dict() (see module dict), OldRecords::dict() (see module dict)) -> dict() (see module dict)

get_spec_info(ModName::module(), AbstractCode::abstract_code(), RecordsDict::dict() (see module dict)) -> {ok, spec_dict(), callback_dict()} | {error, string()}

get_fun_meta_info(M::module(), Abs::abstract_code(), LegalWarnings::[dial_warn_tag()]) -> fun_meta_info() (see module dialyzer_codeserver)

is_suppressed_fun(MFA::mfa(), CodeServer::codeserver()) -> boolean()

is_suppressed_tag(MorMFA::mfa() | module(), Tag::dial_warn_tag(), Codeserver::codeserver()) -> boolean()

sets_filter(Mods::[module()], ExpTypes::set() (see module sets)) -> set() (see module sets)

src_compiler_opts() -> [option() (see module compile), ...]

format_sig(Type::erl_type() (see module erl_types)) -> string()

format_sig(Type::erl_type() (see module erl_types), RecDict::dict() (see module dict)) -> string()

pp_hook() -> (cerl() (see module cerl), term(), term()) -> term()

parallelism() -> integer()

family(L::[{K, V}]) -> [{K, [V]}]