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

contract_from_form(Forms::[term()], RecDict::dict()) -> #contract{}

get_invalid_contract_warnings(Modules::[atom()], Dialyzer_codeserver::#dialyzer_codeserver{}, Dialyzer_plt::#dialyzer_plt{}) -> [dial_warning()]

View Functions