dialyzer_plt

DATA TYPES

check_error() = not_valid | no_such_file | read_error | {no_file_to_remove, string()}
md5_diff() = [{differ, atom()} | {removed, atom()}]
mod_deps() = dict()

Functions


new() -> #dialyzer_plt{}

delete_module(Dialyzer_plt::#dialyzer_plt{}, Mod::atom()) -> #dialyzer_plt{}

delete_list(Dialyzer_plt::#dialyzer_plt{}, List::[term()]) -> #dialyzer_plt{}

insert_contract_list(Dialyzer_plt::#dialyzer_plt{}, List::[{mfa(), #contract{}}]) -> #dialyzer_plt{}

lookup_contract(Dialyzer_plt::#dialyzer_plt{}, MFA::mfa()) -> none | {value, #contract{}}

delete_contract_list(Dialyzer_plt::#dialyzer_plt{}, List::[mfa()]) -> #dialyzer_plt{}

insert_list(Dialyzer_plt::#dialyzer_plt{}, List::[{mfa() | integer(), {term(), term()}}]) -> #dialyzer_plt{}

lookup(Dialyzer_plt::#dialyzer_plt{}, MFA::integer() | mfa()) -> none | {value, {term(), term()}}

lookup_module(Dialyzer_plt::#dialyzer_plt{}, M::atom()) -> none | {value, [{mfa(), term(), term()}]}

contains_module(Dialyzer_plt::#dialyzer_plt{}, M::atom()) -> bool()

contains_mfa(Dialyzer_plt::#dialyzer_plt{}, MFA::mfa()) -> bool()

get_default_plt() -> string()

plt_and_info_from_file(FileName::string()) -> {#dialyzer_plt{}, {term(), term()}}

from_file(FileName::string()) -> #dialyzer_plt{}

included_files(FileName::string()) -> {ok, [string()]} | {error, no_such_file | read_error}

merge_plts(Dialyzer_plt::[#dialyzer_plt{}]) -> #dialyzer_plt{}

to_file(FileName::string(), Dialyzer_plt::#dialyzer_plt{}, ModDeps::dict(), X4::{md5(), dict()}) -> ok

check_plt(FileName::string(), RemoveFiles::[string()], AddFiles::[string()]) -> ok | {error, check_error()} | {differ, md5(), md5_diff(), mod_deps()} | {old_version, md5()}

compute_md5_from_files(Files::[string()]) -> [{string(), binary()}]

to_edoc(Dialyzer_plt::#dialyzer_plt{}) -> string()

to_edoc(Dialyzer_plt::#dialyzer_plt{}, M::atom(), F::atom(), A::byte()) -> string()

pp_non_returning() -> ok

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

View Functions