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
- new/0
- delete_module/2
- delete_list/2
- insert_contract_list/2
- lookup_contract/2
- delete_contract_list/2
- insert_list/2
- lookup/2
- lookup_module/2
- contains_module/2
- contains_mfa/2
- get_default_plt/0
- plt_and_info_from_file/1
- from_file/1
- included_files/1
- merge_plts/1
- to_file/1
- check_plt/1
- compute_md5_from_files/1
- to_edoc/1
- to_edoc/2
- pp_non_returning/0
- pp_mod/1