dialyzer_utils

Types

---

abstract_code() = [tuple()]

callback_dict() = dict:dict()

comp_options() = [compile:option()]

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

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

mod_or_fname() = atom() | 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() (see module dialyzer_codeserver)) -> codeserver() (see module dialyzer_codeserver)

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

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

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()