dialyzer_contracts

DATA TYPES

file_contract() = {file_line(), #contract{}}

plt_contracts() = [{mfa(), #contract{}}]

actually, an orddict()

Functions

---

get_contract_return(Contract::#contract{}) -> erl_type() (see module erl_types)

get_contract_return(Contract::#contract{}, Args::[erl_type() (see module erl_types)]) -> erl_type() (see module erl_types)

get_contract_args(Contract::#contract{}) -> [erl_type() (see module erl_types)]

is_overloaded(Contract::#contract{}) -> boolean()

contract_to_string(Contract::#contract{}) -> string()

process_contract_remote_types(CodeServer::codeserver() (see module dialyzer_codeserver)) -> codeserver() (see module dialyzer_codeserver)

check_contracts(Contracts::[{mfa(), file_contract()}], Callgraph::callgraph() (see module dialyzer_callgraph), FunTypes::dict()) -> plt_contracts()

check_contract(Contract::#contract{}, SuccType::erl_type() (see module erl_types)) -> ok | {error, term()}

contracts_without_fun(Contracts::dict(), AllFuns0::[term()], Callgraph::callgraph() (see module dialyzer_callgraph)) -> [dial_warning()]

store_tmp_contract(MFA::mfa(), FileLine::file_line(), TypeSpec::[term()], SpecDict::dict(), RecordsDict::dict()) -> dict()

get_invalid_contract_warnings(Modules::[module()], CodeServer::codeserver() (see module dialyzer_codeserver), Plt::plt() (see module dialyzer_plt)) -> [dial_warning()]

View Functions

• get_contract_return/1
• get_contract_return/2
• get_contract_args/1
• is_overloaded/1
• contract_to_string/1
• process_contract_remote_types/1
• check_contracts/1
• check_contract/2
• contracts_without_fun/1
• store_tmp_contract/1
• get_invalid_contract_warnings/1