Packages

dialyxir

1.4.6
1.4.7 1.4.6 1.4.5 1.4.4 1.4.3 1.4.2 1.4.1 1.4.0 1.3.0 1.2.0 1.1.0 1.0.0 1.0.0-rc.7 1.0.0-rc.6 1.0.0-rc.5 1.0.0-rc.4 1.0.0-rc.3 1.0.0-rc.2 1.0.0-rc.1 1.0.0-rc.0 0.5.1 0.5.0 0.4.4 0.4.3 0.4.2 0.4.1 0.4.0 0.3.5 0.3.4 0.3.3 0.3.2 0.3.1 0.3.0 0.2.9 0.2.8

Mix tasks to simplify use of Dialyzer in Elixir projects.

HexDocs

Current section

Files

Jump to
Readme
35 Versions
1 Dependency
Dependants
Files
Activity
dialyxir lib dialyxir warnings contract_range.ex
Raw

lib/dialyxir/warnings/contract_range.ex 

defmodule Dialyxir.Warnings.ContractRange do

  @behaviour Dialyxir.Warning



  @impl Dialyxir.Warning

  @spec warning() :: :contract_range

  def warning(), do: :contract_range



  @impl Dialyxir.Warning

  @spec format_short([String.t()]) :: String.t()

  def format_short([_, _, function | _]) do

    "Contract cannot be correct because return type for #{function} is mismatched."

  end



  @impl Dialyxir.Warning

  @spec format_long([String.t()]) :: String.t()

  def format_long([contract, module, function, arg_strings, line, contract_return]) do

    pretty_contract = Erlex.pretty_print_contract(contract)

    pretty_module = Erlex.pretty_print(module)

    pretty_contract_return = Erlex.pretty_print_type(contract_return)

    pretty_args = Erlex.pretty_print_args(arg_strings)



    """

    Contract cannot be correct because return type on line number #{line} is mismatched.



    Function:

    #{pretty_module}.#{function}#{pretty_args}



    Type specification:

    #{pretty_contract}



    Success typing (line #{line}):

    #{pretty_contract_return}

    """

  end



  @impl Dialyxir.Warning

  @spec explain() :: String.t()

  def explain() do

    Dialyxir.Warning.default_explain()

  end

end