dialyzer_plt

DATA TYPES

arity_patt() = '_' | arity()
check_error() = err_rsn() | {no_file_to_remove, filename() (see module file)}
err_rsn() = not_valid | no_such_file | read_error
file_md5() = {filename() (see module file), binary()}
md5_diff() = [{differ, atom()} | {removed, atom()}]
mfa_patt() = {module(), atom(), arity_patt()}
mfa_types() = {mfa(), erl_type() (see module erl_types), [erl_type() (see module erl_types)]}
mod_deps() = dict()
plt()
plt_info() = {[file_md5()], dict()}
ret_args_types() = {erl_type() (see module erl_types), [erl_type() (see module erl_types)]}

Functions


new() -> plt()

delete_module(Plt::plt(), Mod::atom()) -> plt()

delete_list(Plt::plt(), List::[mfa() | integer()]) -> plt()

insert_contract_list(Plt::plt(), List::plt_contracts() (see module dialyzer_contracts)) -> plt()

insert_callbacks(Plt::plt(), Codeserver::codeserver() (see module dialyzer_codeserver)) -> plt()

lookup_contract(Plt::plt(), MFA::mfa_patt()) -> none | {value, #contract{}}

lookup_callbacks(Plt::plt(), Mod::module()) -> [{mfa(), {{Filename::string(), Line::pos_integer()}, #contract{}}}]

insert_list(Plt::plt(), List::[{mfa() | integer(), ret_args_types()}]) -> plt()

lookup(Plt::plt(), MFA::integer() | mfa_patt()) -> none | {value, ret_args_types()}

insert_types(PLT::plt(), Rec::dict()) -> plt()

insert_exported_types(PLT::plt(), Set::set()) -> plt()

get_types(Plt::plt()) -> dict()

get_exported_types(Plt::plt()) -> set()

lookup_module(Plt::plt(), M::atom()) -> none | {value, [mfa_types()]}

all_modules(Plt::plt()) -> set()

contains_mfa(Plt::plt(), MFA::mfa()) -> boolean()

get_default_plt() -> filename() (see module file)

plt_and_info_from_file(FileName::filename() (see module file)) -> {plt(), plt_info()}

from_file(FileName::filename() (see module file)) -> plt()

included_files(FileName::filename() (see module file)) -> {ok, [filename() (see module file)]} | {error, err_rsn()}

merge_plts(List::[plt()]) -> plt()

merge_plts_or_report_conflicts(PltFiles::[filename() (see module file)], Plts::[plt()]) -> plt()

to_file(FileName::filename() (see module file), Plt::plt(), ModDeps::mod_deps(), X4::{[file_md5()], mod_deps()}) -> ok

check_plt(FileName::filename() (see module file), RemoveFiles::[filename() (see module file)], AddFiles::[filename() (see module file)]) -> ok | {error, check_error()} | {differ, [file_md5()], md5_diff(), mod_deps()} | {old_version, [file_md5()]}

compute_md5_from_files(Files::[filename() (see module file)]) -> [file_md5()]

get_specs(Plt::plt()) -> string()

get_specs(Plt::plt(), M::atom(), F::atom(), A::arity_patt()) -> none | string()

pp_non_returning() -> ok

pp_mod(Mod::atom()) -> ok

View Functions