dialyzer_contracts

(dialyzer)

Functions

---

check_contract(Contract, SuccType) -> term()

check_contracts(Contracts, Callgraph, FunTypes) -> term()

contract_to_string(Contract) -> term()

contracts_without_fun(Contracts, AllFuns0, Callgraph) -> term()

get_contract_args(Contract) -> term()

get_contract_return(Contract) -> term()

get_contract_return(Contract, Args) -> term()

get_invalid_contract_warnings(Modules, CodeServer, Plt) -> term()

is_overloaded(Contract) -> term()

process_contract_remote_types(CodeServer) -> term()

store_tmp_contract(MFA, FileLine, TypeSpec, SpecDict, RecordsDict) -> term()

View Functions

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