]>
Commit | Line | Data |
---|---|---|
83ffe9cd | 1 | // Copyright (C) 2020-2023 Free Software Foundation, Inc. |
45edfc2b PH |
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-full.h" | |
24 | ||
25 | namespace Rust { | |
26 | namespace Resolver { | |
27 | ||
2ad0cde0 | 28 | class TypeCheckPattern : public TypeCheckBase, public HIR::HIRPatternVisitor |
45edfc2b | 29 | { |
45edfc2b | 30 | public: |
2ad0cde0 PH |
31 | static TyTy::BaseType *Resolve (HIR::Pattern *pattern, |
32 | TyTy::BaseType *parent); | |
45edfc2b PH |
33 | |
34 | void visit (HIR::PathInExpression &pattern) override; | |
45edfc2b | 35 | void visit (HIR::StructPattern &pattern) override; |
45edfc2b | 36 | void visit (HIR::TupleStructPattern &pattern) override; |
6d089263 | 37 | void visit (HIR::WildcardPattern &pattern) override; |
dd9e4c1e | 38 | void visit (HIR::TuplePattern &pattern) override; |
dd9e4c1e | 39 | void visit (HIR::LiteralPattern &pattern) override; |
f9757a89 | 40 | void visit (HIR::RangePattern &pattern) override; |
7ca73626 | 41 | void visit (HIR::IdentifierPattern &pattern) override; |
2ad0cde0 PH |
42 | void visit (HIR::QualifiedPathInExpression &pattern) override; |
43 | void visit (HIR::ReferencePattern &pattern) override; | |
44 | void visit (HIR::SlicePattern &pattern) override; | |
94cbaa29 | 45 | void visit (HIR::AltPattern &pattern) override; |
7ca73626 | 46 | |
45edfc2b | 47 | private: |
2ad0cde0 | 48 | TypeCheckPattern (TyTy::BaseType *parent); |
45edfc2b | 49 | |
f9757a89 DF |
50 | static TyTy::BaseType * |
51 | typecheck_range_pattern_bound (HIR::RangePatternBound *bound, | |
52 | Analysis::NodeMapping mappings, | |
53 | Location locus); | |
54 | ||
914b9388 NA |
55 | void emit_pattern_size_error (const HIR::Pattern &pattern, |
56 | size_t expected_field_count, | |
57 | size_t got_field_count); | |
58 | ||
6d089263 | 59 | TyTy::BaseType *parent; |
dd9e4c1e | 60 | TyTy::BaseType *infered; |
45edfc2b PH |
61 | }; |
62 | ||
63 | } // namespace Resolver | |
64 | } // namespace Rust | |
65 | ||
66 | #endif // RUST_HIR_TYPE_CHECK_PATTERN |