defmodule Credence.Pattern.NoRepeatedEnumTraversal do
  @moduledoc """
  Performance rule: warns when the same variable is traversed multiple
  times using different `Enum` functions.

  Repeated traversal of the same collection with separate `Enum` calls
  (e.g. `Enum.max/1`, `Enum.min/1`, and `Enum.count/1` on the same
  list) allocates and iterates the data structure multiple times.

  Consider combining traversals into a single `Enum.reduce/3` or
  caching intermediate results.

  ## Bad

      def stats(list) do
        max = Enum.max(list)
        min = Enum.min(list)
        count = Enum.count(list)
        {max, min, count}
      end

      if Enum.member?(list, 10) and Enum.member?(list, 20) do
        Enum.count(list)
      end

  ## Good

      def stats(list) do
        Enum.reduce(list, fn el, {max, min, count} ->
          {max(max, el), min(min, el), count + 1}
        end)
      end

      set = MapSet.new(list)
      if MapSet.member?(set, 10) and MapSet.member?(set, 20) do
        MapSet.size(set)
      end
  """

  use Credence.Pattern.Rule
  alias Credence.Issue

  @enum_traversals [
    :count,
    :max,
    :min,
    :sum,
    :member?,
    :any?,
    :all?,
    :find,
    :find_value
  ]

  @impl true
  def fixable?, do: false

  @impl true
  def check(ast, _opts) do
    {_ast, state} =
      Macro.prewalk(ast, %{}, fn
        {{:., _, [{:__aliases__, _, [:Enum]}, func]}, meta, [arg | _rest]} = node, acc
        when func in @enum_traversals ->
          case var_name(arg) do
            nil ->
              {node, acc}

            var ->
              acc =
                Map.update(acc, var, [{func, meta}], fn existing ->
                  [{func, meta} | existing]
                end)

              {node, acc}
          end

        node, acc ->
          {node, acc}
      end)

    state
    |> Enum.filter(fn {_var, calls} -> length(calls) > 1 end)
    |> Enum.flat_map(fn {var, calls} ->
      Enum.map(calls, fn {func, meta} ->
        %Issue{
          rule: :no_repeated_enum_traversal,
          message:
            "Repeated traversal of `#{var}` using Enum.#{func}/#{arity(func)}. " <>
              "Consider combining traversals into a single Enum.reduce/3 or caching results.",
          meta: %{line: Keyword.get(meta, :line)}
        }
      end)
    end)
  end

  defp var_name({name, _, context}) when is_atom(name) and is_atom(context), do: name
  defp var_name(_), do: nil

  defp arity(func) do
    case func do
      f when f in [:member?, :find, :find_value] -> 2
      _ -> 1
    end
  end
end