Branch data Line data Source code
1 : : // Copyright (C) 2020-2025 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_VISITOR_H
20 : : #define RUST_HIR_VISITOR_H
21 : :
22 : : #include "rust-hir-full-decls.h"
23 : : #include "rust-ast.h"
24 : :
25 : : namespace Rust {
26 : : namespace HIR {
27 : :
28 : 28201 : class HIRFullVisitor
29 : : {
30 : : public:
31 : : virtual void visit (Lifetime &lifetime) = 0;
32 : : virtual void visit (LifetimeParam &lifetime_param) = 0;
33 : : virtual void visit (PathInExpression &path) = 0;
34 : : virtual void visit (TypePathSegment &segment) = 0;
35 : : virtual void visit (TypePathSegmentGeneric &segment) = 0;
36 : : virtual void visit (TypePathSegmentFunction &segment) = 0;
37 : : virtual void visit (TypePath &path) = 0;
38 : : virtual void visit (QualifiedPathInExpression &path) = 0;
39 : : virtual void visit (QualifiedPathInType &path) = 0;
40 : : virtual void visit (LiteralExpr &expr) = 0;
41 : : virtual void visit (BorrowExpr &expr) = 0;
42 : : virtual void visit (DereferenceExpr &expr) = 0;
43 : : virtual void visit (ErrorPropagationExpr &expr) = 0;
44 : : virtual void visit (NegationExpr &expr) = 0;
45 : : virtual void visit (ArithmeticOrLogicalExpr &expr) = 0;
46 : : virtual void visit (ComparisonExpr &expr) = 0;
47 : : virtual void visit (LazyBooleanExpr &expr) = 0;
48 : : virtual void visit (TypeCastExpr &expr) = 0;
49 : : virtual void visit (AssignmentExpr &expr) = 0;
50 : : virtual void visit (CompoundAssignmentExpr &expr) = 0;
51 : : virtual void visit (GroupedExpr &expr) = 0;
52 : : virtual void visit (ArrayElemsValues &elems) = 0;
53 : : virtual void visit (ArrayElemsCopied &elems) = 0;
54 : : virtual void visit (ArrayExpr &expr) = 0;
55 : : virtual void visit (ArrayIndexExpr &expr) = 0;
56 : : virtual void visit (TupleExpr &expr) = 0;
57 : : virtual void visit (TupleIndexExpr &expr) = 0;
58 : : virtual void visit (StructExprStruct &expr) = 0;
59 : : virtual void visit (StructExprFieldIdentifier &field) = 0;
60 : : virtual void visit (StructExprFieldIdentifierValue &field) = 0;
61 : : virtual void visit (StructExprFieldIndexValue &field) = 0;
62 : : virtual void visit (StructExprStructFields &expr) = 0;
63 : : virtual void visit (StructExprStructBase &expr) = 0;
64 : : virtual void visit (CallExpr &expr) = 0;
65 : : virtual void visit (MethodCallExpr &expr) = 0;
66 : : virtual void visit (FieldAccessExpr &expr) = 0;
67 : : virtual void visit (BlockExpr &expr) = 0;
68 : : virtual void visit (AnonConst &expr) = 0;
69 : : virtual void visit (ConstBlock &expr) = 0;
70 : : virtual void visit (ClosureExpr &expr) = 0;
71 : : virtual void visit (ContinueExpr &expr) = 0;
72 : : virtual void visit (BreakExpr &expr) = 0;
73 : : virtual void visit (RangeFromToExpr &expr) = 0;
74 : : virtual void visit (RangeFromExpr &expr) = 0;
75 : : virtual void visit (RangeToExpr &expr) = 0;
76 : : virtual void visit (RangeFullExpr &expr) = 0;
77 : : virtual void visit (RangeFromToInclExpr &expr) = 0;
78 : : virtual void visit (RangeToInclExpr &expr) = 0;
79 : : virtual void visit (ReturnExpr &expr) = 0;
80 : : virtual void visit (UnsafeBlockExpr &expr) = 0;
81 : : virtual void visit (LoopExpr &expr) = 0;
82 : : virtual void visit (WhileLoopExpr &expr) = 0;
83 : : virtual void visit (WhileLetLoopExpr &expr) = 0;
84 : : virtual void visit (IfExpr &expr) = 0;
85 : : virtual void visit (IfExprConseqElse &expr) = 0;
86 : : virtual void visit (MatchExpr &expr) = 0;
87 : : virtual void visit (AwaitExpr &expr) = 0;
88 : : virtual void visit (AsyncBlockExpr &expr) = 0;
89 : : virtual void visit (InlineAsm &expr) = 0;
90 : : virtual void visit (LlvmInlineAsm &expr) = 0;
91 : : virtual void visit (OffsetOf &expr) = 0;
92 : : virtual void visit (TypeParam ¶m) = 0;
93 : : virtual void visit (ConstGenericParam ¶m) = 0;
94 : : virtual void visit (LifetimeWhereClauseItem &item) = 0;
95 : : virtual void visit (TypeBoundWhereClauseItem &item) = 0;
96 : : virtual void visit (Module &module) = 0;
97 : : virtual void visit (ExternCrate &crate) = 0;
98 : : virtual void visit (UseTreeGlob &use_tree) = 0;
99 : : virtual void visit (UseTreeList &use_tree) = 0;
100 : : virtual void visit (UseTreeRebind &use_tree) = 0;
101 : : virtual void visit (UseDeclaration &use_decl) = 0;
102 : : virtual void visit (Function &function) = 0;
103 : : virtual void visit (TypeAlias &type_alias) = 0;
104 : : virtual void visit (StructStruct &struct_item) = 0;
105 : : virtual void visit (TupleStruct &tuple_struct) = 0;
106 : : virtual void visit (EnumItem &item) = 0;
107 : : virtual void visit (EnumItemTuple &item) = 0;
108 : : virtual void visit (EnumItemStruct &item) = 0;
109 : : virtual void visit (EnumItemDiscriminant &item) = 0;
110 : : virtual void visit (Enum &enum_item) = 0;
111 : : virtual void visit (Union &union_item) = 0;
112 : : virtual void visit (ConstantItem &const_item) = 0;
113 : : virtual void visit (StaticItem &static_item) = 0;
114 : : virtual void visit (TraitItemFunc &item) = 0;
115 : : virtual void visit (TraitItemConst &item) = 0;
116 : : virtual void visit (TraitItemType &item) = 0;
117 : : virtual void visit (Trait &trait) = 0;
118 : : virtual void visit (ImplBlock &impl) = 0;
119 : : virtual void visit (ExternalStaticItem &item) = 0;
120 : : virtual void visit (ExternalFunctionItem &item) = 0;
121 : : virtual void visit (ExternalTypeItem &item) = 0;
122 : : virtual void visit (ExternBlock &block) = 0;
123 : : virtual void visit (LiteralPattern &pattern) = 0;
124 : : virtual void visit (IdentifierPattern &pattern) = 0;
125 : : virtual void visit (WildcardPattern &pattern) = 0;
126 : : virtual void visit (RangePatternBoundLiteral &bound) = 0;
127 : : virtual void visit (RangePatternBoundPath &bound) = 0;
128 : : virtual void visit (RangePatternBoundQualPath &bound) = 0;
129 : : virtual void visit (RangePattern &pattern) = 0;
130 : : virtual void visit (ReferencePattern &pattern) = 0;
131 : : virtual void visit (StructPatternFieldTuplePat &field) = 0;
132 : : virtual void visit (StructPatternFieldIdentPat &field) = 0;
133 : : virtual void visit (StructPatternFieldIdent &field) = 0;
134 : : virtual void visit (StructPattern &pattern) = 0;
135 : : virtual void visit (TupleStructItemsNoRest &tuple_items) = 0;
136 : : virtual void visit (TupleStructItemsHasRest &tuple_items) = 0;
137 : : virtual void visit (TupleStructPattern &pattern) = 0;
138 : : virtual void visit (TuplePatternItemsNoRest &tuple_items) = 0;
139 : : virtual void visit (TuplePatternItemsHasRest &tuple_items) = 0;
140 : : virtual void visit (TuplePattern &pattern) = 0;
141 : : virtual void visit (SlicePatternItemsNoRest &items) = 0;
142 : : virtual void visit (SlicePatternItemsHasRest &items) = 0;
143 : : virtual void visit (SlicePattern &pattern) = 0;
144 : : virtual void visit (AltPattern &pattern) = 0;
145 : : virtual void visit (EmptyStmt &stmt) = 0;
146 : : virtual void visit (LetStmt &stmt) = 0;
147 : : virtual void visit (ExprStmt &stmt) = 0;
148 : : virtual void visit (TraitBound &bound) = 0;
149 : : virtual void visit (ImplTraitType &type) = 0;
150 : : virtual void visit (TraitObjectType &type) = 0;
151 : : virtual void visit (ParenthesisedType &type) = 0;
152 : : virtual void visit (TupleType &type) = 0;
153 : : virtual void visit (NeverType &type) = 0;
154 : : virtual void visit (RawPointerType &type) = 0;
155 : : virtual void visit (ReferenceType &type) = 0;
156 : : virtual void visit (ArrayType &type) = 0;
157 : : virtual void visit (SliceType &type) = 0;
158 : : virtual void visit (InferredType &type) = 0;
159 : : virtual void visit (BareFunctionType &type) = 0;
160 : : };
161 : :
162 : 3990 : class DefaultHIRVisitor : public HIRFullVisitor
163 : : {
164 : : public:
165 : : virtual void visit_where_clause (WhereClause &);
166 : : virtual void visit_where_clause (const WhereClause &);
167 : : virtual void visit_named_function_param (NamedFunctionParam ¶m);
168 : : virtual void visit_function_param (FunctionParam ¶m);
169 : : virtual void visit_self_param (SelfParam ¶m);
170 : : virtual void visit_match_arm (MatchArm &arm);
171 : : virtual void visit_match_case (MatchCase &);
172 : : virtual void visit_struct_field (StructField &field);
173 : : virtual void visit_generic_args (GenericArgs &args);
174 : : virtual void visit_qualified_path_type (QualifiedPathType &);
175 : : virtual void visit_path_expr_segment (PathExprSegment &segment);
176 : : virtual void visit_closure_param (ClosureParam ¶m);
177 : : virtual void visit_loop_label (LoopLabel &);
178 : :
179 : 29562 : virtual void visit_attribute (AST::Attribute &attr)
180 : : {
181 : 29562 : visit_attribute (static_cast<const AST::Attribute &> (attr));
182 : 29562 : }
183 : 29881 : virtual void visit_attribute (const AST::Attribute &attr) {}
184 : 88336 : template <typename T> void visit_outer_attrs (T &node)
185 : : {
186 : 118114 : for (auto &attr : node.get_outer_attrs ())
187 : 29778 : visit_attribute (attr);
188 : 88336 : }
189 : 29596 : template <typename T> void visit_inner_attrs (T &node)
190 : : {
191 : 29699 : for (auto &attr : node.get_inner_attrs ())
192 : 103 : visit_attribute (attr);
193 : 29596 : }
194 : :
195 : 0 : virtual void visit (WhereClauseItem &node) { walk (node); }
196 : :
197 : 5812 : virtual void visit (Lifetime &node) override { walk (node); }
198 : 163 : virtual void visit (LifetimeParam &node) override { walk (node); }
199 : 0 : virtual void visit (PathInExpression &node) override { walk (node); }
200 : 44748 : virtual void visit (TypePathSegment &node) override { walk (node); }
201 : 2268 : virtual void visit (TypePathSegmentGeneric &node) override { walk (node); }
202 : 27 : virtual void visit (TypePathSegmentFunction &node) override { walk (node); }
203 : 45096 : virtual void visit (TypePath &node) override { walk (node); }
204 : 72 : virtual void visit (QualifiedPathInExpression &node) override { walk (node); }
205 : 192 : virtual void visit (QualifiedPathInType &node) override { walk (node); }
206 : 0 : virtual void visit (LiteralExpr &node) override { walk (node); }
207 : 1202 : virtual void visit (BorrowExpr &node) override { walk (node); }
208 : 0 : virtual void visit (DereferenceExpr &node) override { walk (node); }
209 : 0 : virtual void visit (ErrorPropagationExpr &node) override { walk (node); }
210 : 323 : virtual void visit (NegationExpr &node) override { walk (node); }
211 : 2144 : virtual void visit (ArithmeticOrLogicalExpr &node) override { walk (node); }
212 : 2557 : virtual void visit (ComparisonExpr &node) override { walk (node); }
213 : 335 : virtual void visit (LazyBooleanExpr &node) override { walk (node); }
214 : 1953 : virtual void visit (TypeCastExpr &node) override { walk (node); }
215 : 0 : virtual void visit (AssignmentExpr &node) override { walk (node); }
216 : 645 : virtual void visit (CompoundAssignmentExpr &node) override { walk (node); }
217 : 174 : virtual void visit (GroupedExpr &node) override { walk (node); }
218 : 37 : virtual void visit (ArrayElemsValues &node) override { walk (node); }
219 : 37 : virtual void visit (ArrayElemsCopied &node) override { walk (node); }
220 : 74 : virtual void visit (ArrayExpr &node) override { walk (node); }
221 : 0 : virtual void visit (ArrayIndexExpr &node) override { walk (node); }
222 : 0 : virtual void visit (TupleExpr &node) override { walk (node); }
223 : 0 : virtual void visit (TupleIndexExpr &node) override { walk (node); }
224 : 10 : virtual void visit (StructExprStruct &node) override { walk (node); }
225 : 86 : virtual void visit (StructExprFieldIdentifier &node) override { walk (node); }
226 : 284 : virtual void visit (StructExprFieldIdentifierValue &node) override
227 : : {
228 : 284 : walk (node);
229 : 284 : }
230 : 0 : virtual void visit (StructExprFieldIndexValue &node) override { walk (node); }
231 : 188 : virtual void visit (StructExprStructFields &node) override { walk (node); }
232 : 0 : virtual void visit (StructExprStructBase &node) override { walk (node); }
233 : 7629 : virtual void visit (CallExpr &node) override { walk (node); }
234 : 1330 : virtual void visit (MethodCallExpr &node) override { walk (node); }
235 : 0 : virtual void visit (FieldAccessExpr &node) override { walk (node); }
236 : 7 : virtual void visit (ClosureExpr &node) override { walk (node); }
237 : 20299 : virtual void visit (BlockExpr &node) override { walk (node); }
238 : 477 : virtual void visit (AnonConst &node) override { walk (node); }
239 : 7 : virtual void visit (ConstBlock &node) override { walk (node); }
240 : 1 : virtual void visit (ContinueExpr &node) override { walk (node); }
241 : 43 : virtual void visit (BreakExpr &node) override { walk (node); }
242 : 0 : virtual void visit (RangeFromToExpr &node) override { walk (node); }
243 : 0 : virtual void visit (RangeFromExpr &node) override { walk (node); }
244 : 0 : virtual void visit (RangeToExpr &node) override { walk (node); }
245 : 0 : virtual void visit (RangeFullExpr &node) override { walk (node); }
246 : 0 : virtual void visit (RangeFromToInclExpr &node) override { walk (node); }
247 : 0 : virtual void visit (RangeToInclExpr &node) override { walk (node); }
248 : 482 : virtual void visit (ReturnExpr &node) override { walk (node); }
249 : 3080 : virtual void visit (UnsafeBlockExpr &node) override { walk (node); }
250 : 70 : virtual void visit (LoopExpr &node) override { walk (node); }
251 : 65 : virtual void visit (WhileLoopExpr &node) override { walk (node); }
252 : 0 : virtual void visit (WhileLetLoopExpr &node) override { walk (node); }
253 : 1587 : virtual void visit (IfExpr &node) override { walk (node); }
254 : 1142 : virtual void visit (IfExprConseqElse &node) override { walk (node); }
255 : 977 : virtual void visit (MatchExpr &node) override { walk (node); }
256 : 0 : virtual void visit (AwaitExpr &node) override { walk (node); }
257 : 0 : virtual void visit (AsyncBlockExpr &node) override { walk (node); }
258 : 24 : virtual void visit (InlineAsm &node) override { walk (node); }
259 : 2 : virtual void visit (LlvmInlineAsm &node) override { walk (node); }
260 : 0 : virtual void visit (OffsetOf &node) override { walk (node); }
261 : 7697 : virtual void visit (TypeParam &node) override { walk (node); }
262 : 0 : virtual void visit (ConstGenericParam &node) override { walk (node); }
263 : 0 : virtual void visit (LifetimeWhereClauseItem &node) override { walk (node); }
264 : 139 : virtual void visit (TypeBoundWhereClauseItem &node) override { walk (node); }
265 : 1149 : virtual void visit (Module &node) override { walk (node); }
266 : 0 : virtual void visit (ExternCrate &node) override { walk (node); }
267 : 0 : virtual void visit (UseTreeGlob &node) override { walk (node); }
268 : 0 : virtual void visit (UseTreeList &node) override { walk (node); }
269 : 0 : virtual void visit (UseTreeRebind &node) override { walk (node); }
270 : 0 : virtual void visit (UseDeclaration &node) override { walk (node); }
271 : 12548 : virtual void visit (Function &node) override { walk (node); }
272 : 1198 : virtual void visit (TypeAlias &node) override { walk (node); }
273 : 1398 : virtual void visit (StructStruct &node) override { walk (node); }
274 : 919 : virtual void visit (TupleStruct &node) override { walk (node); }
275 : 1131 : virtual void visit (EnumItem &node) override { walk (node); }
276 : 386 : virtual void visit (EnumItemTuple &node) override { walk (node); }
277 : 76 : virtual void visit (EnumItemStruct &node) override { walk (node); }
278 : 268 : virtual void visit (EnumItemDiscriminant &node) override { walk (node); }
279 : 477 : virtual void visit (Enum &node) override { walk (node); }
280 : 96 : virtual void visit (Union &node) override { walk (node); }
281 : 496 : virtual void visit (ConstantItem &node) override { walk (node); }
282 : 46 : virtual void visit (StaticItem &node) override { walk (node); }
283 : 2458 : virtual void visit (TraitItemFunc &node) override { walk (node); }
284 : 30 : virtual void visit (TraitItemConst &node) override { walk (node); }
285 : 700 : virtual void visit (TraitItemType &node) override { walk (node); }
286 : 3475 : virtual void visit (Trait &node) override { walk (node); }
287 : 5303 : virtual void visit (ImplBlock &node) override { walk (node); }
288 : 0 : virtual void visit (ExternalStaticItem &node) override { walk (node); }
289 : 2156 : virtual void visit (ExternalFunctionItem &node) override { walk (node); }
290 : 0 : virtual void visit (ExternalTypeItem &node) override { walk (node); }
291 : 1422 : virtual void visit (ExternBlock &node) override { walk (node); }
292 : 392 : virtual void visit (LiteralPattern &node) override { walk (node); }
293 : 8289 : virtual void visit (IdentifierPattern &node) override { walk (node); }
294 : 729 : virtual void visit (WildcardPattern &node) override { walk (node); }
295 : 53 : virtual void visit (RangePatternBoundLiteral &node) override { walk (node); }
296 : 21 : virtual void visit (RangePatternBoundPath &node) override { walk (node); }
297 : 0 : virtual void visit (RangePatternBoundQualPath &node) override { walk (node); }
298 : 37 : virtual void visit (RangePattern &node) override { walk (node); }
299 : 173 : virtual void visit (ReferencePattern &node) override { walk (node); }
300 : 0 : virtual void visit (StructPatternFieldTuplePat &node) override
301 : : {
302 : 0 : walk (node);
303 : 0 : }
304 : 114 : virtual void visit (StructPatternFieldIdentPat &node) override
305 : : {
306 : 114 : walk (node);
307 : 114 : }
308 : 89 : virtual void visit (StructPatternFieldIdent &node) override { walk (node); }
309 : 121 : virtual void visit (StructPattern &node) override { walk (node); }
310 : 878 : virtual void visit (TupleStructItemsNoRest &node) override { walk (node); }
311 : 36 : virtual void visit (TupleStructItemsHasRest &node) override { walk (node); }
312 : 914 : virtual void visit (TupleStructPattern &node) override { walk (node); }
313 : 98 : virtual void visit (TuplePatternItemsNoRest &node) override { walk (node); }
314 : 22 : virtual void visit (TuplePatternItemsHasRest &node) override { walk (node); }
315 : 120 : virtual void visit (TuplePattern &node) override { walk (node); }
316 : 31 : virtual void visit (SlicePatternItemsNoRest &node) override { walk (node); }
317 : 44 : virtual void visit (SlicePatternItemsHasRest &node) override { walk (node); }
318 : 75 : virtual void visit (SlicePattern &node) override { walk (node); }
319 : 145 : virtual void visit (AltPattern &node) override { walk (node); }
320 : 44 : virtual void visit (EmptyStmt &node) override { walk (node); }
321 : 0 : virtual void visit (LetStmt &node) override { walk (node); }
322 : 8845 : virtual void visit (ExprStmt &node) override { walk (node); }
323 : 1636 : virtual void visit (TraitBound &node) override { walk (node); }
324 : 28 : virtual void visit (ImplTraitType &node) override { walk (node); }
325 : 91 : virtual void visit (TraitObjectType &node) override { walk (node); }
326 : 1 : virtual void visit (ParenthesisedType &node) override { walk (node); }
327 : 305 : virtual void visit (TupleType &node) override { walk (node); }
328 : 43 : virtual void visit (NeverType &node) override { walk (node); }
329 : 3913 : virtual void visit (RawPointerType &node) override { walk (node); }
330 : 3961 : virtual void visit (ReferenceType &node) override { walk (node); }
331 : 470 : virtual void visit (ArrayType &node) override { walk (node); }
332 : 819 : virtual void visit (SliceType &node) override { walk (node); }
333 : 14 : virtual void visit (InferredType &node) override { walk (node); }
334 : 33 : virtual void visit (BareFunctionType &node) override { walk (node); }
335 : :
336 : : protected:
337 : : virtual void walk (WhereClauseItem &) final;
338 : :
339 : : virtual void walk (Lifetime &) final;
340 : : virtual void walk (LifetimeParam &) final;
341 : : virtual void walk (PathInExpression &) final;
342 : : virtual void walk (TypePathSegment &) final;
343 : : virtual void walk (TypePathSegmentGeneric &) final;
344 : : virtual void walk (TypePathSegmentFunction &) final;
345 : : virtual void walk (TypePath &) final;
346 : : virtual void walk (QualifiedPathInExpression &) final;
347 : : virtual void walk (QualifiedPathInType &) final;
348 : :
349 : : virtual void walk (LiteralExpr &) final;
350 : : virtual void walk (BorrowExpr &) final;
351 : : virtual void walk (DereferenceExpr &) final;
352 : : virtual void walk (ErrorPropagationExpr &) final;
353 : : virtual void walk (NegationExpr &) final;
354 : : virtual void walk (ArithmeticOrLogicalExpr &) final;
355 : : virtual void walk (ComparisonExpr &) final;
356 : : virtual void walk (LazyBooleanExpr &) final;
357 : : virtual void walk (TypeCastExpr &) final;
358 : : virtual void walk (AssignmentExpr &) final;
359 : : virtual void walk (CompoundAssignmentExpr &) final;
360 : : virtual void walk (GroupedExpr &) final;
361 : :
362 : : virtual void walk (ArrayElemsValues &) final;
363 : : virtual void walk (ArrayElemsCopied &) final;
364 : : virtual void walk (ArrayExpr &) final;
365 : : virtual void walk (ArrayIndexExpr &) final;
366 : : virtual void walk (TupleExpr &) final;
367 : : virtual void walk (TupleIndexExpr &) final;
368 : : virtual void walk (StructExprStruct &) final;
369 : : virtual void walk (StructExprFieldIdentifier &) final;
370 : : virtual void walk (StructExprFieldIdentifierValue &) final;
371 : : virtual void walk (StructExprFieldIndexValue &) final;
372 : : virtual void walk (StructExprStructFields &) final;
373 : : virtual void walk (StructExprStructBase &) final;
374 : : virtual void walk (CallExpr &) final;
375 : : virtual void walk (MethodCallExpr &) final;
376 : : virtual void walk (FieldAccessExpr &) final;
377 : : virtual void walk (ClosureExpr &) final;
378 : : virtual void walk (BlockExpr &) final;
379 : : virtual void walk (AnonConst &) final;
380 : : virtual void walk (ConstBlock &) final;
381 : : virtual void walk (ContinueExpr &) final;
382 : : virtual void walk (BreakExpr &) final;
383 : : virtual void walk (RangeFromToExpr &) final;
384 : : virtual void walk (RangeFromExpr &) final;
385 : : virtual void walk (RangeToExpr &) final;
386 : : virtual void walk (RangeFullExpr &) final;
387 : : virtual void walk (RangeFromToInclExpr &) final;
388 : : virtual void walk (RangeToInclExpr &) final;
389 : : virtual void walk (ReturnExpr &) final;
390 : : virtual void walk (UnsafeBlockExpr &) final;
391 : : virtual void walk (LoopExpr &) final;
392 : : virtual void walk (WhileLoopExpr &) final;
393 : : virtual void walk (WhileLetLoopExpr &) final;
394 : : virtual void walk (IfExpr &) final;
395 : : virtual void walk (IfExprConseqElse &) final;
396 : : virtual void walk (MatchExpr &) final;
397 : : virtual void walk (AwaitExpr &) final;
398 : : virtual void walk (AsyncBlockExpr &) final;
399 : : virtual void walk (InlineAsm &) final;
400 : : virtual void walk (LlvmInlineAsm &) final;
401 : : virtual void walk (OffsetOf &) final;
402 : : virtual void walk (TypeParam &) final;
403 : : virtual void walk (ConstGenericParam &) final;
404 : : virtual void walk (LifetimeWhereClauseItem &) final;
405 : : virtual void walk (TypeBoundWhereClauseItem &) final;
406 : : virtual void walk (Module &) final;
407 : : virtual void walk (ExternCrate &) final;
408 : : virtual void walk (UseTreeGlob &) final;
409 : : virtual void walk (UseTreeList &) final;
410 : : virtual void walk (UseTreeRebind &) final;
411 : : virtual void walk (UseDeclaration &) final;
412 : : virtual void walk (Function &) final;
413 : : virtual void walk (TypeAlias &) final;
414 : : virtual void walk (StructStruct &) final;
415 : : virtual void walk (TupleStruct &) final;
416 : : virtual void walk (EnumItem &) final;
417 : : virtual void walk (EnumItemTuple &) final;
418 : : virtual void walk (EnumItemStruct &) final;
419 : : virtual void walk (EnumItemDiscriminant &) final;
420 : : virtual void walk (Enum &) final;
421 : : virtual void walk (Union &) final;
422 : : virtual void walk (ConstantItem &) final;
423 : : virtual void walk (StaticItem &) final;
424 : : virtual void walk (TraitItemFunc &) final;
425 : : virtual void walk (TraitItemConst &) final;
426 : : virtual void walk (TraitItemType &) final;
427 : : virtual void walk (Trait &) final;
428 : : virtual void walk (ImplBlock &) final;
429 : : virtual void walk (ExternalStaticItem &) final;
430 : : virtual void walk (ExternalFunctionItem &) final;
431 : : virtual void walk (ExternalTypeItem &) final;
432 : : virtual void walk (ExternBlock &) final;
433 : : virtual void walk (LiteralPattern &) final;
434 : : virtual void walk (IdentifierPattern &) final;
435 : : virtual void walk (WildcardPattern &) final;
436 : : virtual void walk (RangePatternBoundLiteral &) final;
437 : : virtual void walk (RangePatternBoundPath &) final;
438 : : virtual void walk (RangePatternBoundQualPath &) final;
439 : : virtual void walk (RangePattern &) final;
440 : : virtual void walk (ReferencePattern &) final;
441 : : virtual void walk (StructPatternFieldTuplePat &) final;
442 : : virtual void walk (StructPatternFieldIdentPat &) final;
443 : : virtual void walk (StructPatternFieldIdent &) final;
444 : : virtual void walk (StructPattern &) final;
445 : : virtual void walk (TupleStructItemsNoRest &) final;
446 : : virtual void walk (TupleStructItemsHasRest &) final;
447 : : virtual void walk (TupleStructPattern &) final;
448 : : virtual void walk (TuplePatternItemsNoRest &) final;
449 : : virtual void walk (TuplePatternItemsHasRest &) final;
450 : : virtual void walk (TuplePattern &) final;
451 : : virtual void walk (SlicePatternItemsNoRest &) final;
452 : : virtual void walk (SlicePatternItemsHasRest &) final;
453 : : virtual void walk (SlicePattern &) final;
454 : : virtual void walk (AltPattern &) final;
455 : : virtual void walk (EmptyStmt &) final;
456 : : virtual void walk (LetStmt &) final;
457 : : virtual void walk (ExprStmt &) final;
458 : : virtual void walk (TraitBound &) final;
459 : : virtual void walk (ImplTraitType &) final;
460 : : virtual void walk (TraitObjectType &) final;
461 : : virtual void walk (ParenthesisedType &) final;
462 : : virtual void walk (TupleType &) final;
463 : : virtual void walk (NeverType &) final;
464 : : virtual void walk (RawPointerType &) final;
465 : : virtual void walk (ReferenceType &) final;
466 : : virtual void walk (ArrayType &) final;
467 : : virtual void walk (SliceType &) final;
468 : : virtual void walk (InferredType &) final;
469 : : virtual void walk (BareFunctionType &) final;
470 : : };
471 : :
472 : 11970 : class HIRFullVisitorBase : public HIRFullVisitor
473 : : {
474 : : public:
475 : 3990 : virtual ~HIRFullVisitorBase () {}
476 : :
477 : 0 : virtual void visit (Lifetime &) override {}
478 : 0 : virtual void visit (LifetimeParam &) override {}
479 : 0 : virtual void visit (PathInExpression &) override {}
480 : 0 : virtual void visit (TypePathSegment &) override {}
481 : 0 : virtual void visit (TypePathSegmentGeneric &) override {}
482 : 0 : virtual void visit (TypePathSegmentFunction &) override {}
483 : 0 : virtual void visit (TypePath &) override {}
484 : 78 : virtual void visit (QualifiedPathInExpression &) override {}
485 : 0 : virtual void visit (QualifiedPathInType &) override {}
486 : :
487 : 19225 : virtual void visit (LiteralExpr &) override {}
488 : 0 : virtual void visit (BorrowExpr &) override {}
489 : 0 : virtual void visit (DereferenceExpr &) override {}
490 : 0 : virtual void visit (ErrorPropagationExpr &) override {}
491 : 0 : virtual void visit (NegationExpr &) override {}
492 : 0 : virtual void visit (ArithmeticOrLogicalExpr &) override {}
493 : 0 : virtual void visit (ComparisonExpr &) override {}
494 : 0 : virtual void visit (LazyBooleanExpr &) override {}
495 : 0 : virtual void visit (TypeCastExpr &) override {}
496 : 0 : virtual void visit (AssignmentExpr &) override {}
497 : 0 : virtual void visit (CompoundAssignmentExpr &) override {}
498 : 0 : virtual void visit (GroupedExpr &) override {}
499 : :
500 : 0 : virtual void visit (ArrayElemsValues &) override {}
501 : 88 : virtual void visit (ArrayElemsCopied &) override {}
502 : 0 : virtual void visit (ArrayExpr &) override {}
503 : 0 : virtual void visit (ArrayIndexExpr &) override {}
504 : 0 : virtual void visit (TupleExpr &) override {}
505 : 0 : virtual void visit (TupleIndexExpr &) override {}
506 : 0 : virtual void visit (StructExprStruct &) override {}
507 : :
508 : 112 : virtual void visit (StructExprFieldIdentifier &) override {}
509 : 0 : virtual void visit (StructExprFieldIdentifierValue &) override {}
510 : :
511 : 42 : virtual void visit (StructExprFieldIndexValue &) override {}
512 : 0 : virtual void visit (StructExprStructFields &) override {}
513 : 0 : virtual void visit (StructExprStructBase &) override {}
514 : :
515 : 0 : virtual void visit (CallExpr &) override {}
516 : 0 : virtual void visit (MethodCallExpr &) override {}
517 : 0 : virtual void visit (FieldAccessExpr &) override {}
518 : 0 : virtual void visit (ClosureExpr &) override {}
519 : 0 : virtual void visit (BlockExpr &) override {}
520 : 0 : virtual void visit (AnonConst &) override {}
521 : 7 : virtual void visit (ConstBlock &) override {}
522 : 8 : virtual void visit (ContinueExpr &) override {}
523 : 0 : virtual void visit (BreakExpr &) override {}
524 : 59 : virtual void visit (RangeFromToExpr &) override {}
525 : 0 : virtual void visit (RangeFromExpr &) override {}
526 : 0 : virtual void visit (RangeToExpr &) override {}
527 : 0 : virtual void visit (RangeFullExpr &) override {}
528 : 0 : virtual void visit (RangeFromToInclExpr &) override {}
529 : 0 : virtual void visit (RangeToInclExpr &) override {}
530 : 0 : virtual void visit (ReturnExpr &) override {}
531 : 0 : virtual void visit (UnsafeBlockExpr &) override {}
532 : 0 : virtual void visit (LoopExpr &) override {}
533 : 0 : virtual void visit (WhileLoopExpr &) override {}
534 : 0 : virtual void visit (WhileLetLoopExpr &) override {}
535 : 0 : virtual void visit (IfExpr &) override {}
536 : 0 : virtual void visit (IfExprConseqElse &) override {}
537 : :
538 : 0 : virtual void visit (MatchExpr &) override {}
539 : 0 : virtual void visit (AwaitExpr &) override {}
540 : 0 : virtual void visit (AsyncBlockExpr &) override {}
541 : 26 : virtual void visit (InlineAsm &) override {}
542 : 4 : virtual void visit (LlvmInlineAsm &) override {}
543 : 14 : virtual void visit (OffsetOf &) override {}
544 : :
545 : 0 : virtual void visit (TypeParam &) override {}
546 : 0 : virtual void visit (ConstGenericParam &) override {}
547 : :
548 : 0 : virtual void visit (LifetimeWhereClauseItem &) override {}
549 : 0 : virtual void visit (TypeBoundWhereClauseItem &) override {}
550 : 647 : virtual void visit (Module &) override {}
551 : 0 : virtual void visit (ExternCrate &) override {}
552 : :
553 : 0 : virtual void visit (UseTreeGlob &) override {}
554 : 0 : virtual void visit (UseTreeList &) override {}
555 : 0 : virtual void visit (UseTreeRebind &) override {}
556 : 0 : virtual void visit (UseDeclaration &) override {}
557 : 0 : virtual void visit (Function &) override {}
558 : 1231 : virtual void visit (TypeAlias &) override {}
559 : 3829 : virtual void visit (StructStruct &) override {}
560 : 2796 : virtual void visit (TupleStruct &) override {}
561 : 0 : virtual void visit (EnumItem &) override {}
562 : 0 : virtual void visit (EnumItemTuple &) override {}
563 : 0 : virtual void visit (EnumItemStruct &) override {}
564 : 0 : virtual void visit (EnumItemDiscriminant &) override {}
565 : 1438 : virtual void visit (Enum &) override {}
566 : 305 : virtual void visit (Union &) override {}
567 : 1671 : virtual void visit (ConstantItem &) override {}
568 : 138 : virtual void visit (StaticItem &) override {}
569 : 0 : virtual void visit (TraitItemFunc &) override {}
570 : 0 : virtual void visit (TraitItemConst &) override {}
571 : 0 : virtual void visit (TraitItemType &) override {}
572 : 7083 : virtual void visit (Trait &) override {}
573 : 3689 : virtual void visit (ImplBlock &) override {}
574 : :
575 : 0 : virtual void visit (ExternalStaticItem &) override {}
576 : 0 : virtual void visit (ExternalFunctionItem &) override {}
577 : 0 : virtual void visit (ExternalTypeItem &) override {}
578 : 2918 : virtual void visit (ExternBlock &) override {}
579 : :
580 : 0 : virtual void visit (LiteralPattern &) override {}
581 : 0 : virtual void visit (IdentifierPattern &) override {}
582 : 0 : virtual void visit (WildcardPattern &) override {}
583 : :
584 : 0 : virtual void visit (RangePatternBoundLiteral &) override {}
585 : 0 : virtual void visit (RangePatternBoundPath &) override {}
586 : 0 : virtual void visit (RangePatternBoundQualPath &) override {}
587 : 0 : virtual void visit (RangePattern &) override {}
588 : 0 : virtual void visit (ReferencePattern &) override {}
589 : :
590 : 0 : virtual void visit (StructPatternFieldTuplePat &) override {}
591 : 0 : virtual void visit (StructPatternFieldIdentPat &) override {}
592 : 0 : virtual void visit (StructPatternFieldIdent &) override {}
593 : 0 : virtual void visit (StructPattern &) override {}
594 : :
595 : 0 : virtual void visit (TupleStructItemsNoRest &) override {}
596 : 0 : virtual void visit (TupleStructItemsHasRest &) override {}
597 : 0 : virtual void visit (TupleStructPattern &) override {}
598 : :
599 : 0 : virtual void visit (TuplePatternItemsNoRest &) override {}
600 : 0 : virtual void visit (TuplePatternItemsHasRest &) override {}
601 : 0 : virtual void visit (TuplePattern &) override {}
602 : :
603 : 0 : virtual void visit (SlicePatternItemsNoRest &) override {}
604 : 0 : virtual void visit (SlicePatternItemsHasRest &) override {}
605 : 0 : virtual void visit (SlicePattern &) override {}
606 : 0 : virtual void visit (AltPattern &) override {}
607 : :
608 : 44 : virtual void visit (EmptyStmt &) override {}
609 : 0 : virtual void visit (LetStmt &) override {}
610 : 0 : virtual void visit (ExprStmt &) override {}
611 : :
612 : 0 : virtual void visit (TraitBound &) override {}
613 : 0 : virtual void visit (ImplTraitType &) override {}
614 : 0 : virtual void visit (TraitObjectType &) override {}
615 : 0 : virtual void visit (ParenthesisedType &) override {}
616 : 0 : virtual void visit (TupleType &) override {}
617 : 0 : virtual void visit (NeverType &) override {}
618 : 0 : virtual void visit (RawPointerType &) override {}
619 : 0 : virtual void visit (ReferenceType &) override {}
620 : 0 : virtual void visit (ArrayType &) override {}
621 : 0 : virtual void visit (SliceType &) override {}
622 : 0 : virtual void visit (InferredType &) override {}
623 : 0 : virtual void visit (BareFunctionType &) override {}
624 : : };
625 : :
626 : 4411 : class HIRExternalItemVisitor
627 : : {
628 : : public:
629 : : virtual void visit (ExternalStaticItem &item) = 0;
630 : : virtual void visit (ExternalFunctionItem &item) = 0;
631 : : virtual void visit (ExternalTypeItem &item) = 0;
632 : : };
633 : :
634 : 3554 : class HIRTraitItemVisitor
635 : : {
636 : : public:
637 : : virtual void visit (TraitItemFunc &item) = 0;
638 : : virtual void visit (TraitItemConst &item) = 0;
639 : : virtual void visit (TraitItemType &item) = 0;
640 : : };
641 : :
642 : 73979 : class HIRVisItemVisitor
643 : : {
644 : : public:
645 : : virtual void visit (Module &module) = 0;
646 : : virtual void visit (ExternCrate &crate) = 0;
647 : : virtual void visit (UseDeclaration &use_decl) = 0;
648 : : virtual void visit (Function &function) = 0;
649 : : virtual void visit (TypeAlias &type_alias) = 0;
650 : : virtual void visit (StructStruct &struct_item) = 0;
651 : : virtual void visit (TupleStruct &tuple_struct) = 0;
652 : : virtual void visit (Enum &enum_item) = 0;
653 : : virtual void visit (Union &union_item) = 0;
654 : : virtual void visit (ConstantItem &const_item) = 0;
655 : : virtual void visit (StaticItem &static_item) = 0;
656 : : virtual void visit (Trait &trait) = 0;
657 : : virtual void visit (ImplBlock &impl) = 0;
658 : : virtual void visit (ExternBlock &block) = 0;
659 : : };
660 : :
661 : 16809 : class HIRImplVisitor
662 : : {
663 : : public:
664 : : virtual void visit (Function &function) = 0;
665 : : virtual void visit (ConstantItem &const_item) = 0;
666 : : virtual void visit (TypeAlias &type_alias) = 0;
667 : : };
668 : :
669 : 59911 : class HIRTypeVisitor
670 : : {
671 : : public:
672 : : virtual void visit (TypePathSegmentFunction &segment) = 0;
673 : : virtual void visit (TypePath &path) = 0;
674 : : virtual void visit (QualifiedPathInType &path) = 0;
675 : : virtual void visit (TraitBound &bound) = 0;
676 : : virtual void visit (ImplTraitType &type) = 0;
677 : : virtual void visit (TraitObjectType &type) = 0;
678 : : virtual void visit (ParenthesisedType &type) = 0;
679 : : virtual void visit (TupleType &type) = 0;
680 : : virtual void visit (NeverType &type) = 0;
681 : : virtual void visit (RawPointerType &type) = 0;
682 : : virtual void visit (ReferenceType &type) = 0;
683 : : virtual void visit (ArrayType &type) = 0;
684 : : virtual void visit (SliceType &type) = 0;
685 : : virtual void visit (InferredType &type) = 0;
686 : : virtual void visit (BareFunctionType &type) = 0;
687 : : };
688 : :
689 : 82134 : class HIRStmtVisitor
690 : : {
691 : : public:
692 : : virtual void visit (EnumItemTuple &) = 0;
693 : : virtual void visit (EnumItemStruct &) = 0;
694 : : virtual void visit (EnumItem &item) = 0;
695 : : virtual void visit (TupleStruct &tuple_struct) = 0;
696 : : virtual void visit (EnumItemDiscriminant &) = 0;
697 : : virtual void visit (TypePathSegmentFunction &segment) = 0;
698 : : virtual void visit (TypePath &path) = 0;
699 : : virtual void visit (QualifiedPathInType &path) = 0;
700 : : virtual void visit (Module &module) = 0;
701 : : virtual void visit (ExternCrate &crate) = 0;
702 : : virtual void visit (UseDeclaration &use_decl) = 0;
703 : : virtual void visit (Function &function) = 0;
704 : : virtual void visit (TypeAlias &type_alias) = 0;
705 : : virtual void visit (StructStruct &struct_item) = 0;
706 : : virtual void visit (Enum &enum_item) = 0;
707 : : virtual void visit (Union &union_item) = 0;
708 : : virtual void visit (ConstantItem &const_item) = 0;
709 : : virtual void visit (StaticItem &static_item) = 0;
710 : : virtual void visit (Trait &trait) = 0;
711 : : virtual void visit (ImplBlock &impl) = 0;
712 : : virtual void visit (ExternBlock &block) = 0;
713 : : virtual void visit (EmptyStmt &stmt) = 0;
714 : : virtual void visit (LetStmt &stmt) = 0;
715 : : virtual void visit (ExprStmt &stmt) = 0;
716 : : };
717 : :
718 : 147224 : class HIRExpressionVisitor
719 : : {
720 : : public:
721 : : // These are StructExprField
722 : : // Added because of CompileStructExprField
723 : : virtual void visit (StructExprFieldIdentifier &field) = 0;
724 : : virtual void visit (StructExprFieldIdentifierValue &field) = 0;
725 : : virtual void visit (StructExprFieldIndexValue &field) = 0;
726 : :
727 : : virtual void visit (HIR::QualifiedPathInExpression &expr) = 0;
728 : : virtual void visit (HIR::PathInExpression &expr) = 0;
729 : : virtual void visit (ClosureExpr &) = 0;
730 : : virtual void visit (StructExprStructFields &) = 0;
731 : : virtual void visit (StructExprStruct &) = 0;
732 : : virtual void visit (LiteralExpr &expr) = 0;
733 : : virtual void visit (BorrowExpr &expr) = 0;
734 : : virtual void visit (DereferenceExpr &expr) = 0;
735 : : virtual void visit (ErrorPropagationExpr &expr) = 0;
736 : : virtual void visit (NegationExpr &expr) = 0;
737 : : virtual void visit (ArithmeticOrLogicalExpr &expr) = 0;
738 : : virtual void visit (ComparisonExpr &expr) = 0;
739 : : virtual void visit (LazyBooleanExpr &expr) = 0;
740 : : virtual void visit (TypeCastExpr &expr) = 0;
741 : : virtual void visit (AssignmentExpr &expr) = 0;
742 : : virtual void visit (CompoundAssignmentExpr &expr) = 0;
743 : : virtual void visit (GroupedExpr &expr) = 0;
744 : : virtual void visit (ArrayExpr &expr) = 0;
745 : : virtual void visit (ArrayIndexExpr &expr) = 0;
746 : : virtual void visit (TupleExpr &expr) = 0;
747 : : virtual void visit (TupleIndexExpr &expr) = 0;
748 : : virtual void visit (CallExpr &expr) = 0;
749 : : virtual void visit (MethodCallExpr &expr) = 0;
750 : : virtual void visit (FieldAccessExpr &expr) = 0;
751 : : virtual void visit (BlockExpr &expr) = 0;
752 : : virtual void visit (AnonConst &expr) = 0;
753 : : virtual void visit (ConstBlock &expr) = 0;
754 : : virtual void visit (ContinueExpr &expr) = 0;
755 : : virtual void visit (BreakExpr &expr) = 0;
756 : : virtual void visit (RangeFromToExpr &expr) = 0;
757 : : virtual void visit (RangeFromExpr &expr) = 0;
758 : : virtual void visit (RangeToExpr &expr) = 0;
759 : : virtual void visit (RangeFullExpr &expr) = 0;
760 : : virtual void visit (RangeFromToInclExpr &expr) = 0;
761 : : virtual void visit (RangeToInclExpr &expr) = 0;
762 : : virtual void visit (ReturnExpr &expr) = 0;
763 : : virtual void visit (UnsafeBlockExpr &expr) = 0;
764 : : virtual void visit (LoopExpr &expr) = 0;
765 : : virtual void visit (WhileLoopExpr &expr) = 0;
766 : : virtual void visit (WhileLetLoopExpr &expr) = 0;
767 : : virtual void visit (IfExpr &expr) = 0;
768 : : virtual void visit (IfExprConseqElse &expr) = 0;
769 : : virtual void visit (InlineAsm &expr) = 0;
770 : : virtual void visit (OffsetOf &expr) = 0;
771 : : virtual void visit (LlvmInlineAsm &expr) = 0;
772 : : virtual void visit (MatchExpr &expr) = 0;
773 : : virtual void visit (AwaitExpr &expr) = 0;
774 : : virtual void visit (AsyncBlockExpr &expr) = 0;
775 : : };
776 : :
777 : 84450 : class HIRPatternVisitor
778 : : {
779 : : public:
780 : : virtual void visit (IdentifierPattern &) = 0;
781 : : virtual void visit (LiteralPattern &) = 0;
782 : : virtual void visit (PathInExpression &) = 0;
783 : : virtual void visit (QualifiedPathInExpression &) = 0;
784 : : virtual void visit (RangePattern &) = 0;
785 : : virtual void visit (ReferencePattern &) = 0;
786 : : virtual void visit (SlicePattern &) = 0;
787 : : virtual void visit (AltPattern &) = 0;
788 : : virtual void visit (StructPattern &) = 0;
789 : : virtual void visit (TuplePattern &) = 0;
790 : : virtual void visit (TupleStructPattern &) = 0;
791 : : virtual void visit (WildcardPattern &) = 0;
792 : : };
793 : :
794 : : } // namespace HIR
795 : : } // namespace Rust
796 : :
797 : : #endif
|
