dialyzer_utils

DATA TYPES

abstract_code() = [tuple()]

XXX: import from somewhere
callback_dict() = dict() (see module dict)
comp_options() = [option() (see module compile)]
get_core_from_abs_ret() = {ok, c_module() (see module cerl)} | error
get_core_from_src_ret() = {ok, c_module() (see module cerl)} | {error, string()}
mod_or_fname() = atom() | filename() (see module file)
spec_dict() = dict() (see module 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_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()

View Functions