Line data    Source code

       1              : // Copyright (C) 2020-2026 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_PATTERN
      20              : #define RUST_HIR_TYPE_CHECK_PATTERN
      21              : 
      22              : #include "rust-hir-type-check-base.h"
      23              : #include "rust-hir-visitor.h"
      24              : 
      25              : namespace Rust {
      26              : namespace Resolver {
      27              : 
      28        43746 : class TypeCheckPattern : public TypeCheckBase, public HIR::HIRPatternVisitor
      29              : {
      30              : public:
      31              :   static TyTy::BaseType *Resolve (HIR::Pattern &pattern,
      32              :                                   TyTy::BaseType *parent);
      33              : 
      34              :   void visit (HIR::PathInExpression &pattern) override;
      35              :   void visit (HIR::StructPattern &pattern) override;
      36              :   void visit (HIR::TupleStructPattern &pattern) override;
      37              :   void visit (HIR::WildcardPattern &pattern) override;
      38              :   void visit (HIR::TuplePattern &pattern) override;
      39              :   void visit (HIR::LiteralPattern &pattern) override;
      40              :   void visit (HIR::RangePattern &pattern) override;
      41              :   void visit (HIR::IdentifierPattern &pattern) override;
      42              :   void visit (HIR::QualifiedPathInExpression &pattern) override;
      43              :   void visit (HIR::ReferencePattern &pattern) override;
      44              :   void visit (HIR::SlicePattern &pattern) override;
      45              :   void visit (HIR::AltPattern &pattern) override;
      46              : 
      47              : private:
      48              :   TypeCheckPattern (TyTy::BaseType *parent);
      49              : 
      50              :   TyTy::BaseType *
      51              :   typecheck_range_pattern_bound (Rust::HIR::RangePatternBound &bound,
      52              :                                  Analysis::NodeMapping mappings,
      53              :                                  location_t locus);
      54              : 
      55              :   void emit_pattern_size_error (const HIR::Pattern &pattern,
      56              :                                 size_t expected_field_count,
      57              :                                 size_t got_field_count);
      58              : 
      59              :   TyTy::BaseType *parent;
      60              :   TyTy::BaseType *infered;
      61              : };
      62              : 
      63            3 : class ClosureParamInfer : private TypeCheckBase, private HIR::HIRPatternVisitor
      64              : {
      65              : public:
      66              :   static TyTy::BaseType *Resolve (HIR::Pattern &pattern);
      67              : 
      68              :   void visit (HIR::PathInExpression &pattern) override;
      69              :   void visit (HIR::StructPattern &pattern) override;
      70              :   void visit (HIR::TupleStructPattern &pattern) override;
      71              :   void visit (HIR::WildcardPattern &pattern) override;
      72              :   void visit (HIR::TuplePattern &pattern) override;
      73              :   void visit (HIR::LiteralPattern &pattern) override;
      74              :   void visit (HIR::RangePattern &pattern) override;
      75              :   void visit (HIR::IdentifierPattern &pattern) override;
      76              :   void visit (HIR::QualifiedPathInExpression &pattern) override;
      77              :   void visit (HIR::ReferencePattern &pattern) override;
      78              :   void visit (HIR::SlicePattern &pattern) override;
      79              :   void visit (HIR::AltPattern &pattern) override;
      80              : 
      81              : private:
      82              :   ClosureParamInfer ();
      83              : 
      84              :   TyTy::BaseType *infered;
      85              : };
      86              : 
      87              : } // namespace Resolver
      88              : } // namespace Rust
      89              : 
      90              : #endif // RUST_HIR_TYPE_CHECK_PATTERN