dialyzer_codeserver
Functions
new() -> #dialyzer_codeserver{}
delete(Dialyzer_codeserver::#dialyzer_codeserver{}) -> ok
insert(List::[term()], Dialyzer_codeserver::#dialyzer_codeserver{}) -> #dialyzer_codeserver{}
insert_exports(List::[mfa()], Dialyzer_codeserver::#dialyzer_codeserver{}) -> #dialyzer_codeserver{}
is_exported(MFA::mfa(), Dialyzer_codeserver::#dialyzer_codeserver{}) -> bool()
all_exports(Dialyzer_codeserver::#dialyzer_codeserver{}) -> set()
lookup(Id::term(), Dialyzer_codeserver::#dialyzer_codeserver{}) -> any()
next_core_label(Dialyzer_codeserver::#dialyzer_codeserver{}) -> non_neg_integer()
update_next_core_label(NCL::non_neg_integer(), Dialyzer_codeserver::#dialyzer_codeserver{}) -> #dialyzer_codeserver{}
store_records(Module::atom(), Dict::dict(), Dialyzer_codeserver::#dialyzer_codeserver{}) -> #dialyzer_codeserver{}
lookup_records(Module::atom(), Dialyzer_codeserver::#dialyzer_codeserver{}) -> dict()
store_contracts(Module::atom(), Dict::dict(), Dialyzer_codeserver::#dialyzer_codeserver{}) -> #dialyzer_codeserver{}
lookup_contracts(Mod::atom(), Dialyzer_codeserver::#dialyzer_codeserver{}) -> dict()
lookup_contract(MFA::mfa(), Dialyzer_codeserver::#dialyzer_codeserver{}) -> error | {ok, term()}