dialyzer_plt

Functions

check_plt(FileName, RemoveFiles, AddFiles) -> term()

compute_md5_from_files(Files) -> term()

contains_mfa(Plt, MFA) -> term()

contains_module(Plt, M) -> term()

delete_contract_list(Plt, List) -> term()

delete_list(Plt, List) -> term()

delete_module(Plt, Mod) -> term()

from_file(FileName) -> term()

get_default_plt() -> term()

get_exported_types(Plt) -> term()

get_specs(Plt) -> term()

get_specs(Plt, M, F, A) -> term()

get_types(Plt) -> term()

included_files(FileName) -> term()

insert_contract_list(Plt, List) -> term()

insert_exported_types(PLT, Set) -> term()

insert_list(Plt, List) -> term()

insert_types(PLT, Rec) -> term()

lookup(Plt, MFA) -> term()

lookup_contract(Plt, MFA) -> term()

lookup_module(Plt, M) -> term()

merge_plts(List) -> term()

merge_plts_or_report_conflicts(PltFiles, Plts) -> term()

new() -> term()

plt_and_info_from_file(FileName) -> term()

pp_mod(Mod) -> term()

pp_non_returning() -> term()

to_file(FileName, Plt, ModDeps, X4) -> term()