dialyzer_codeserver

Types


codeserver()

contracts() =
            dict:dict(mfa(), dialyzer_contracts:file_contract())

label() = integer() >= 0

mod_contracts() = dict:dict(module(), contracts())

mod_records() = dict:dict(module(), types())

Functions


new() -> codeserver()

delete(Codeserver::codeserver()) -> ok

insert(Mod::atom(), ModCode::c_module() (see module cerl), CS::codeserver()) -> codeserver()

get_temp_exported_types(Codeserver::codeserver()) -> set(mfa()) (see module sets)

insert_temp_exported_types(Set::set(mfa()) (see module sets), CS::codeserver()) -> codeserver()

insert_exports(List::[mfa()], Codeserver::codeserver()) -> codeserver()

is_exported(MFA::mfa(), Codeserver::codeserver()) -> boolean()

get_exported_types(Codeserver::codeserver()) -> set(mfa()) (see module sets)

get_exports(Codeserver::codeserver()) -> set(mfa()) (see module sets)

finalize_exported_types(Set::set(mfa()) (see module sets), CS::codeserver()) -> codeserver()

lookup_mod_code(Mod::atom(), CS::codeserver()) -> c_module() (see module cerl)

lookup_mfa_code(MFA::mfa(), CS::codeserver()) -> {c_var() (see module cerl), c_fun() (see module cerl)}

get_next_core_label(Codeserver::codeserver()) -> label()

set_next_core_label(NCL::label(), CS::codeserver()) -> codeserver()

lookup_mod_records(Mod::atom(), Codeserver::codeserver()) -> types()

get_records(Codeserver::codeserver()) -> mod_records()

store_temp_records(Mod::module(), Dict::types(), Codeserver::codeserver()) -> codeserver()

get_temp_records(Codeserver::codeserver()) -> mod_records()

set_temp_records(Dict::mod_records(), CS::codeserver()) -> codeserver()

finalize_records(Dict::mod_records(), CS::codeserver()) -> codeserver()

lookup_mod_contracts(Mod::atom(), Codeserver::codeserver()) -> contracts()

lookup_mfa_contract(MFA::mfa(), Codeserver::codeserver()) -> error | {ok, file_contract() (see module dialyzer_contracts)}

get_contracts(Codeserver::codeserver()) -> mod_contracts()

get_callbacks(Codeserver::codeserver()) -> list()

store_temp_contracts(Mod::module(), SpecDict::contracts(), CallbackDict::contracts(), Codeserver::codeserver()) -> codeserver()

get_temp_contracts(Codeserver::codeserver()) -> {mod_contracts(), mod_contracts()}

finalize_contracts(SpecDict::mod_contracts(), CallbackDict::mod_contracts(), CS::codeserver()) -> codeserver()