dialyzer_codeserver

Functions

---

new() -> term()

delete(Dialyzer_codeserver) -> term()

insert(List, Tag, CS) -> term()

insert_exports(List, CS) -> term()

is_exported(MFA, Dialyzer_codeserver) -> term()

all_exports(Dialyzer_codeserver) -> term()

lookup(Id, Tag, CS) -> term()

next_core_label(Dialyzer_codeserver) -> term()

update_next_core_label(NCL, CS) -> term()

store_records(Module, Dict, CS) -> term()

lookup_records(Module, Dialyzer_codeserver) -> term()

store_contracts(Module, Dict, CS) -> term()

lookup_contracts(Module, Dialyzer_codeserver) -> term()

lookup_contract(X1, Dialyzer_codeserver) -> term()

View Functions

• new/0
• delete/1
• insert/3
• insert_exports/2
• is_exported/2
• all_exports/1
• lookup/3
• next_core_label/1
• update_next_core_label/2
• store_records/3
• lookup_records/2
• store_contracts/3
• lookup_contracts/2
• lookup_contract/2