defmodule PropertyGenerator.Generators do
  @moduledoc """
  Functions for generating valid test data from type specifications.
  """

  use ExUnitProperties

  @doc """
  Creates input generators from type specifications.
  Returns a generator that produces lists of arguments.

  Optionally accepts a module to resolve user-defined type aliases.
  """
  def create_input_generator(input_types, module \\ nil) do
    generators = Enum.map(input_types, &type_to_generator(&1, module))

    case generators do
      [single_generator] ->
        StreamData.bind(single_generator, fn value ->
          StreamData.constant([value])
        end)

      multiple_generators ->
        StreamData.bind(StreamData.tuple(List.to_tuple(multiple_generators)), fn tuple ->
          StreamData.constant(Tuple.to_list(tuple))
        end)
    end
  end

  @doc """
  Converts a type specification to a StreamData generator.

  Optionally accepts a module to resolve user-defined type aliases.
  """
  def type_to_generator(type, module \\ nil)

  # User type resolution with module context
  def type_to_generator({:user_type, _, type_name, []}, module) when not is_nil(module) do
    case resolve_user_type(module, type_name) do
      nil ->
        IO.warn(
          "Cannot resolve user type :#{type_name} in module #{module}, using StreamData.term()"
        )

        StreamData.term()

      resolved_type ->
        # Recursively generate the resolved type with module context
        type_to_generator(resolved_type, module)
    end
  end

  # User type without module context - fallback
  def type_to_generator({:user_type, _, type_name, []}, _module) do
    IO.warn(
      "Cannot resolve user type :#{type_name} without module context, using StreamData.term()"
    )

    StreamData.term()
  end

  def type_to_generator({:type, _, :integer, []}, _module), do: StreamData.integer()
  def type_to_generator({:type, _, :float, []}, _module), do: StreamData.float()

  def type_to_generator({:type, _, :number, []}, _module),
    do: StreamData.one_of([StreamData.integer(), StreamData.float()])

  def type_to_generator({:type, _, :boolean, []}, _module), do: StreamData.boolean()
  def type_to_generator({:type, _, :binary, []}, _module), do: StreamData.binary()
  def type_to_generator({:type, _, :bitstring, []}, _module), do: StreamData.bitstring()
  def type_to_generator({:type, _, :atom, []}, _module), do: StreamData.atom(:alphanumeric)
  def type_to_generator({:type, _, :string, []}, _module), do: StreamData.string(:printable)
  def type_to_generator({:type, _, :any, []}, _module), do: StreamData.term()
  def type_to_generator({:type, _, :term, []}, _module), do: StreamData.term()
  def type_to_generator({:type, _, nil, []}, _module), do: StreamData.constant(nil)

  def type_to_generator({:type, _, :no_return, []}, _module),
    do: StreamData.constant(:__no_return__)

  def type_to_generator({:type, _, :iodata, []}, _module) do
    # iodata is a binary or a possibly nested list of binaries, bytes (0-255), and other iolists
    StreamData.one_of([
      StreamData.binary(),
      StreamData.list_of(
        StreamData.one_of([
          StreamData.binary(),
          StreamData.integer(0..255)
        ])
      )
    ])
  end

  def type_to_generator({:atom, _, atom_value}, _module), do: StreamData.constant(atom_value)
  def type_to_generator({:integer, _, int_value}, _module), do: StreamData.constant(int_value)

  def type_to_generator({:type, _, :keyword, []}, _module) do
    # Generate keyword list with any atom keys and term values
    StreamData.list_of(StreamData.tuple({StreamData.atom(:alphanumeric), StreamData.term()}))
  end

  def type_to_generator({:type, _, :keyword, [value_type]}, module) do
    # Generate keyword list with any atom keys and typed values
    value_gen = type_to_generator(value_type, module)

    StreamData.list_of(StreamData.tuple({StreamData.atom(:alphanumeric), value_gen}))
  end

  def type_to_generator({:type, _, :charlist, []}, _module) do
    StreamData.list_of(StreamData.integer(0..1_114_111))
  end

  def type_to_generator({:type, _, :non_neg_integer, []}, _module) do
    StreamData.integer(0..1000)
  end

  def type_to_generator({:type, _, :pos_integer, []}, _module) do
    StreamData.integer(1..1000)
  end

  def type_to_generator({:type, _, :neg_integer, []}, _module) do
    StreamData.integer(-1000..-1)
  end

  def type_to_generator({:type, _, :range, [min, max]}, _module) do
    min_val = extract_integer_value(min, 0)
    max_val = extract_integer_value(max, 100)
    StreamData.integer(min_val..max_val)
  end

  def type_to_generator({:type, _, :list, [element_type]}, module) do
    case element_type do
      {:type, _, :tuple, [{:atom, _, key}, value_type]} ->
        # Keyword list
        value_gen = type_to_generator(value_type, module)
        StreamData.map(value_gen, fn value -> [{key, value}] end)

      _ ->
        # Regular list
        StreamData.list_of(type_to_generator(element_type, module))
    end
  end

  def type_to_generator({:type, _, :list, []}, _module), do: StreamData.list_of(StreamData.term())

  def type_to_generator({:type, _, :tuple, element_types}, module) do
    element_generators = Enum.map(element_types, &type_to_generator(&1, module))
    StreamData.tuple(List.to_tuple(element_generators))
  end

  def type_to_generator({:type, _, :map, []}, _module),
    do: StreamData.map_of(StreamData.atom(:alphanumeric), StreamData.term())

  def type_to_generator({:type, _, :map, :any}, _module),
    do: StreamData.map_of(StreamData.atom(:alphanumeric), StreamData.term())

  def type_to_generator({:type, _, :map, field_types}, module) when is_list(field_types) do
    struct_field = find_struct_field(field_types)

    case struct_field do
      {:type, _, :map_field_exact, [{:atom, _, :__struct__}, {:atom, _, module_name}]} ->
        generate_struct(module_name, field_types, module)

      nil ->
        generate_map(field_types, module)
    end
  end

  def type_to_generator({:type, _, :fun, [{:type, _, :product, arg_types}, return_type]}, module) do
    # Generate a function that takes the specified args and returns the specified type
    return_gen = type_to_generator(return_type, module)
    arity = length(arg_types)

    # Generate functions that ignore their arguments and return valid return values
    StreamData.map(return_gen, fn return_value ->
      case arity do
        0 -> fn -> return_value end
        1 -> fn _ -> return_value end
        2 -> fn _, _ -> return_value end
        3 -> fn _, _, _ -> return_value end
        4 -> fn _, _, _, _ -> return_value end
        n -> fn args when is_list(args) and length(args) == n -> return_value end
      end
    end)
  end

  def type_to_generator({:type, _, :union, types}, module) do
    generators = Enum.map(types, &type_to_generator(&1, module))
    StreamData.one_of(generators)
  end

  def type_to_generator({:remote_type, _, [{:atom, _, String}, {:atom, _, :t}, []]}, _module) do
    StreamData.string(:printable)
  end

  def type_to_generator({:remote_type, _, [{:atom, _, module}, {:atom, _, :t}, []]}, _module) do
    # Handle remote type references like User.t()
    case Code.ensure_loaded(module) do
      {:module, ^module} ->
        case Code.Typespec.fetch_types(module) do
          {:ok, types} ->
            # Find the @type t definition
            type_def =
              Enum.find_value(types, fn
                {:type, {:t, type_ast, []}} -> type_ast
                _ -> nil
              end)

            case type_def do
              {:type, _, :map, field_types} ->
                # It's a struct type, generate it
                type_to_generator({:type, 0, :map, field_types})

              nil ->
                IO.warn("Could not find @type t for module #{module}, using StreamData.term()")
                StreamData.term()

              other_type ->
                # It's some other type, generate it
                type_to_generator(other_type, module)
            end

          _ ->
            IO.warn("Could not fetch types for module #{module}, using StreamData.term()")
            StreamData.term()
        end

      _ ->
        IO.warn("Could not load module #{module}, using StreamData.term()")
        StreamData.term()
    end
  end

  def type_to_generator(type, _module) when is_tuple(type) do
    IO.warn("Unknown type #{inspect(type)}, using StreamData.term()")
    StreamData.term()
  end

  @doc """
  Resolves a user type from a module's type definitions.
  Returns the resolved type or nil if not found.
  """
  def resolve_user_type(module, type_name) do
    case Code.Typespec.fetch_types(module) do
      {:ok, types} ->
        Enum.find_value(types, fn
          {:type, {^type_name, type_ast, []}} -> type_ast
          _ -> nil
        end)

      _ ->
        nil
    end
  end

  # Private helper functions

  defp extract_integer_value({:integer, _, val}, _default), do: val
  defp extract_integer_value(val, _default) when is_integer(val), do: val
  defp extract_integer_value(_val, default), do: default

  defp find_struct_field(field_types) do
    Enum.find(field_types, fn
      {:type, _, :map_field_exact, [{:atom, _, :__struct__}, {:atom, _, _module}]} -> true
      _ -> false
    end)
  end

  defp generate_struct(module_name, field_types, module) do
    other_fields =
      Enum.reject(field_types, fn
        {:type, _, :map_field_exact, [{:atom, _, :__struct__}, _]} -> true
        _ -> false
      end)

    field_values = Enum.map(other_fields, &generate_field_value(&1, module))

    case field_values do
      [] ->
        StreamData.constant(struct(module_name, %{}))

      _ ->
        StreamData.bind(StreamData.tuple(List.to_tuple(field_values)), fn field_tuple ->
          field_map = Map.new(Tuple.to_list(field_tuple))
          StreamData.constant(struct(module_name, field_map))
        end)
    end
  end

  defp generate_field_value({:type, _, field_type, [{:atom, _, field_name}, value_type]}, module)
       when field_type in [:map_field_exact, :map_field_assoc] do
    value_gen = type_to_generator(value_type, module)
    StreamData.map(value_gen, fn value -> {field_name, value} end)
  end

  defp generate_map(field_types, module) do
    field_generators =
      Enum.map(field_types, fn
        {:type, _, field_type, [key_type, value_type]}
        when field_type in [:map_field_exact, :map_field_assoc] ->
          key_gen = type_to_generator(key_type, module)
          value_gen = type_to_generator(value_type, module)
          StreamData.tuple({key_gen, value_gen})
      end)

    StreamData.map(
      StreamData.list_of(StreamData.one_of(field_generators), min_length: 1),
      fn pairs -> Map.new(pairs) end
    )
  end
end