dialyzer_codeserver

Functions

delete(Codeserver) -> term()

finalize_contracts(Dict, CS) -> term()

finalize_exported_types(Set, CS) -> term()

finalize_records(Dict, CS) -> term()

get_contracts(Codeserver) -> term()

get_exported_types(Codeserver) -> term()

get_exports(Codeserver) -> term()

get_next_core_label(Codeserver) -> term()

get_records(Codeserver) -> term()

get_temp_contracts(Codeserver) -> term()

get_temp_exported_types(Codeserver) -> term()

get_temp_records(Codeserver) -> term()

insert(Mod, ModCode, CS) -> term()

insert_exports(List, Codeserver) -> term()

insert_temp_exported_types(Set, CS) -> term()

is_exported(MFA, Codeserver) -> term()

lookup_mfa_code(MFA, CS) -> term()

lookup_mfa_contract(MFA, Codeserver) -> term()

lookup_mod_code(Mod, CS) -> term()

lookup_mod_contracts(Mod, Codeserver) -> term()

lookup_mod_records(Mod, Codeserver) -> term()

new() -> term()

set_next_core_label(NCL, CS) -> term()

set_temp_records(Dict, CS) -> term()

store_contracts(Mod, Dict, Codeserver) -> term()

store_records(Mod, Dict, Codeserver) -> term()

store_temp_contracts(Mod, Dict, Codeserver) -> term()

store_temp_records(Mod, Dict, Codeserver) -> term()