dialyzer_codeserver

Types


codeserver()

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

dial_warn_tag() = warn_return_no_exit
                        | warn_return_only_exit
                        | warn_not_called
                        | warn_non_proper_list
                        | warn_matching
                        | warn_opaque
                        | warn_fun_app
                        | warn_failing_call
                        | warn_bin_construction
                        | warn_contract_types
                        | warn_contract_syntax
                        | warn_contract_not_equal
                        | warn_contract_subtype
                        | warn_contract_supertype
                        | warn_callgraph
                        | warn_umatched_return
                        | warn_race_condition
                        | warn_behaviour
                        | warn_contract_range
                        | warn_undefined_callbacks
                        | warn_unknown

fun_meta_info() =
            [{mfa(), meta_info()} | {module(), [dial_warn_tag()]}]

label() = integer() >= 0

meta_info() =
            [{{nowarn_function | dial_warn_tag()}, mod | func}]

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()

insert_fun_meta_info(List::fun_meta_info(), 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)}

lookup_meta_info(MorMFA::module() | mfa(), Codeserver::codeserver()) -> meta_info()

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()