dialyzer_contracts
Functions
get_contract_return(Contract::#contract{}) -> erl_type()
get_contract_return(Contract::#contract{}, Args::[erl_type()]) -> erl_type()
get_contract_args(Contract::#contract{}) -> [erl_type()]
is_overloaded(Contract::#contract{}) -> bool()
contract_to_string(Contract::#contract{}) -> string()
check_contracts(Contracts::orddict(), Dialyzer_callgraph::#dialyzer_callgraph{}, FunTypes::dict()) -> [{mfa(), #contract{}}]
check_contract(Contract::#contract{}, SuccType::erl_type()) -> ok | error | {error, term()}
contracts_without_fun(Contracts::dict(), AllFuns0::[term()], Dialyzer_callgraph::#dialyzer_callgraph{}) -> [dial_warning()]
get_invalid_contract_warnings(Modules::[atom()], Dialyzer_codeserver::#dialyzer_codeserver{}, Dialyzer_plt::#dialyzer_plt{}) -> [dial_warning()]