// Copyright (C) 2025 Free Software Foundation, Inc.

// This file is part of GCC.

// GCC is free software; you can redistribute it and/or modify it under
// the terms of the GNU General Public License as published by the Free
// Software Foundation; either version 3, or (at your option) any later
// version.

// GCC is distributed in the hope that it will be useful, but WITHOUT ANY
// WARRANTY; without even the implied warranty of MERCHANTABILITY or
// FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
// for more details.

// You should have received a copy of the GNU General Public License
// along with GCC; see the file COPYING3.  If not see
// <http://www.gnu.org/licenses/>.

#ifndef RUST_DERIVE_CMP_COMMON_H
#define RUST_DERIVE_CMP_COMMON_H

#include "rust-ast.h"
#include "rust-ast-builder.h"
#include "rust-item.h"
#include "rust-path.h"

namespace Rust {
namespace AST {

/**
 * A pair of two expressions from each instance being compared. E.g. this
 * could be `self.0` and `other.0`, or `self.field` and `other.field`
 */
struct SelfOther
{
  std::unique_ptr<Expr> self_expr;
  std::unique_ptr<Expr> other_expr;

  /* Create a <self.i> and an <other.i> expression */
  static SelfOther index (Builder builder, int idx);
  static std::vector<SelfOther> indexes (Builder builder,
					 const std::vector<TupleField> &fields);

  /* Create a <self.field> and an <other.field> expression */
  static SelfOther field (Builder builder, const std::string &field_name);
  static std::vector<SelfOther> fields (Builder builder,
					const std::vector<StructField> &fields);
};

/**
 * Builder for common match cases used when comparing two enum instances. This
 * builder takes care of creating the unique patterns for the `self` instance
 * and `other` instance, as well as the entire `MatchCase` required for building
 * a proper comparision expression for an implementation of a comparision trait
 * for an enum type. The functions take a lambda to use when creating the
 * expression of the generated `MatchCase`.
 */
class EnumMatchBuilder
{
public:
  /**
   * The type of functions to call when creating the resulting expression in the
   * generated `MatchCase`
   */
  using ExprFn
    = std::function<std::unique_ptr<Expr> (std::vector<SelfOther> &&)>;

  EnumMatchBuilder (const std::string &enum_path,
		    const std::string &variant_path, ExprFn fn,
		    Builder &builder)
    : enum_path (enum_path), variant_path (variant_path), fn (fn),
      builder (builder)
  {}

  /**
   * Generate a `MatchCase` for an enum tuple variant
   *
   * (&Enum::Tuple(self0, self1), &Enum::Tuple(other0, other1)) => <fn>
   */
  MatchCase tuple (EnumItem &variant);

  /**
   * Generate a `MatchCase` for an enum struct variant
   *
   * (&Enum::Struct { a: self_a }, &Enum::Struct { a: other_a }) => <fn>
   */
  MatchCase strukt (EnumItem &variant);

private:
  const std::string &enum_path;
  const std::string &variant_path;
  ExprFn fn;
  Builder &builder;
};

} // namespace AST
} // namespace Rust

#endif // ! RUST_DERIVE_CMP_COMMON_H