dialyzer_contracts

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