1  // Copyright (C) 2020-2023 Free Software Foundation, Inc.
       2  
       3  // This file is part of GCC.
       4  
       5  // GCC is free software; you can redistribute it and/or modify it under
       6  // the terms of the GNU General Public License as published by the Free
       7  // Software Foundation; either version 3, or (at your option) any later
       8  // version.
       9  
      10  // GCC is distributed in the hope that it will be useful, but WITHOUT ANY
      11  // WARRANTY; without even the implied warranty of MERCHANTABILITY or
      12  // FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
      13  // for more details.
      14  
      15  // You should have received a copy of the GNU General Public License
      16  // along with GCC; see the file COPYING3.  If not see
      17  // <http://www.gnu.org/licenses/>.
      18  
      19  #ifndef RUST_HIR_TYPE_CHECK_STRUCT_FIELD
      20  #define RUST_HIR_TYPE_CHECK_STRUCT_FIELD
      21  
      22  #include "rust-hir-type-check-base.h"
      23  #include "rust-hir-full.h"
      24  #include "rust-hir-type-check-type.h"
      25  #include "rust-tyty.h"
      26  
      27  namespace Rust {
      28  namespace Resolver {
      29  
      30  class TypeCheckStructExpr : public TypeCheckBase
      31  {
      32  public:
      33    static TyTy::BaseType *Resolve (HIR::StructExprStructFields *expr);
      34  
      35  protected:
      36    void resolve (HIR::StructExprStructFields &struct_expr);
      37  
      38    void visit (HIR::StructExprFieldIdentifierValue &field);
      39    void visit (HIR::StructExprFieldIndexValue &field);
      40    void visit (HIR::StructExprFieldIdentifier &field);
      41  
      42  private:
      43    TypeCheckStructExpr (HIR::Expr *e);
      44  
      45    // result
      46    TyTy::BaseType *resolved;
      47  
      48    // internal state:
      49    TyTy::ADTType *struct_path_resolved;
      50    TyTy::VariantDef *variant;
      51    TyTy::BaseType *resolved_field_value_expr;
      52    std::set<std::string> fields_assigned;
      53    std::map<size_t, HIR::StructExprField *> adtFieldIndexToField;
      54  };
      55  
      56  } // namespace Resolver
      57  } // namespace Rust
      58  
      59  #endif // RUST_HIR_TYPE_CHECK_STRUCT_FIELD