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 : : #include "rust-ast-visitor.h"
20 : : #include "rust-ast-full-decls.h"
21 : : #include "rust-ast.h"
22 : : #include "rust-builtin-ast-nodes.h"
23 : : #include "rust-path.h"
24 : : #include "rust-token.h"
25 : : #include "rust-expr.h"
26 : : #include "rust-macro.h"
27 : : #include "rust-pattern.h"
28 : : #include "rust-stmt.h"
29 : : #include "rust-type.h"
30 : :
31 : : namespace Rust {
32 : : namespace AST {
33 : :
34 : : void
35 : 57833 : DefaultASTVisitor::visit (AST::Crate &crate)
36 : : {
37 : 57833 : visit_inner_attrs (crate);
38 : 314461 : for (auto &item : crate.items)
39 : 256629 : visit (item);
40 : 57832 : }
41 : :
42 : : void
43 : 3844406 : DefaultASTVisitor::visit (AST::Token &tok)
44 : 3844406 : {}
45 : :
46 : : void
47 : 568513 : DefaultASTVisitor::visit (AST::DelimTokenTree &delim_tok_tree)
48 : : {
49 : 5332240 : for (auto &token : delim_tok_tree.get_token_trees ())
50 : 4763727 : visit (token);
51 : 568513 : }
52 : :
53 : : void
54 : 3635 : DefaultASTVisitor::visit (AST::AttrInputMetaItemContainer &input)
55 : : {
56 : 8063 : for (auto &item : input.get_items ())
57 : 4428 : visit (item);
58 : 3635 : }
59 : :
60 : : void
61 : 22887484 : DefaultASTVisitor::visit (AST::IdentifierExpr &ident_expr)
62 : : {
63 : 22887484 : visit_outer_attrs (ident_expr);
64 : 22887484 : }
65 : :
66 : : void
67 : 2451055 : DefaultASTVisitor::visit (AST::Lifetime &lifetime)
68 : 2451055 : {}
69 : :
70 : : void
71 : 131517 : DefaultASTVisitor::visit (AST::LifetimeParam &lifetime_param)
72 : : {
73 : 131517 : visit_outer_attrs (lifetime_param);
74 : 131517 : visit (lifetime_param.get_lifetime ());
75 : 133794 : for (auto &lifetime_bound : lifetime_param.get_lifetime_bounds ())
76 : 2277 : visit (lifetime_bound);
77 : 131517 : }
78 : :
79 : : void
80 : 9794 : DefaultASTVisitor::visit (AST::ConstGenericParam &const_param)
81 : : {
82 : 9794 : visit_outer_attrs (const_param);
83 : 9794 : if (const_param.has_type ())
84 : 9794 : visit (const_param.get_type ());
85 : 9794 : if (const_param.has_default_value ())
86 : 215 : visit (const_param.get_default_value_unchecked ());
87 : 9794 : }
88 : :
89 : : void
90 : 5383977 : DefaultASTVisitor::visit (AST::PathInExpression &path)
91 : : {
92 : 5383977 : visit_outer_attrs (path);
93 : :
94 : 5383977 : if (!path.is_lang_item ())
95 : 11482635 : for (auto &segment : path.get_segments ())
96 : 6118194 : visit (segment);
97 : 5383977 : }
98 : :
99 : : void
100 : 12131198 : DefaultASTVisitor::visit (AST::TypePathSegment &segment)
101 : 12131198 : {}
102 : :
103 : : void
104 : 19625 : DefaultASTVisitor::visit (GenericArgsBinding &binding)
105 : : {
106 : 19625 : visit (binding.get_type ());
107 : 19625 : }
108 : :
109 : : void
110 : 1039680 : DefaultASTVisitor::visit (AST::TypePathSegmentGeneric &segment)
111 : : {
112 : 1039680 : if (segment.has_generic_args ())
113 : 1039670 : visit (segment.get_generic_args ());
114 : 1039680 : }
115 : :
116 : : void
117 : 79277 : DefaultASTVisitor::visit (AST::TypePathFunction &tpf)
118 : : {
119 : 193173 : for (auto &input : tpf.get_params ())
120 : 113896 : visit (input);
121 : 79277 : if (tpf.has_return_type ())
122 : 76633 : visit (tpf.get_return_type ());
123 : 79277 : }
124 : :
125 : : void
126 : 12568214 : DefaultASTVisitor::visit (AST::PathIdentSegment &segment)
127 : 12568214 : {}
128 : :
129 : : void
130 : 79277 : DefaultASTVisitor::visit (AST::TypePathSegmentFunction &segment)
131 : : {
132 : 79277 : visit (segment.get_type_path_function ());
133 : 79277 : visit (segment.get_ident_segment ());
134 : 79277 : }
135 : :
136 : : void
137 : 1079609 : DefaultASTVisitor::visit (AST::GenericArgs &args)
138 : : {
139 : 1186560 : for (auto &lifetime : args.get_lifetime_args ())
140 : 106951 : visit (lifetime);
141 : :
142 : 2140336 : for (auto &generic : args.get_generic_args ())
143 : 1060727 : visit (generic);
144 : :
145 : 1099162 : for (auto &binding : args.get_binding_args ())
146 : 19553 : visit (binding);
147 : 1079609 : }
148 : :
149 : : void
150 : 11459785 : DefaultASTVisitor::visit (AST::PathExprSegment &segment)
151 : : {
152 : 11459785 : visit (segment.get_ident_segment ());
153 : 11459785 : if (segment.has_generic_args ())
154 : 43611 : visit (segment.get_generic_args ());
155 : 11459785 : }
156 : : void
157 : 11203965 : DefaultASTVisitor::visit (AST::TypePath &path)
158 : : {
159 : 23197357 : for (auto &segment : path.get_segments ())
160 : 11993392 : visit (segment);
161 : 11203965 : }
162 : :
163 : : void
164 : 20209 : DefaultASTVisitor::visit (AST::QualifiedPathInExpression &path)
165 : : {
166 : 20209 : visit_outer_attrs (path);
167 : 20209 : visit (path.get_qualified_path_type ());
168 : :
169 : 40418 : for (auto &segment : path.get_segments ())
170 : 20209 : visit (segment);
171 : 20209 : }
172 : :
173 : : void
174 : 448437 : DefaultASTVisitor::visit (AST::QualifiedPathType &path)
175 : : {
176 : 448437 : visit (path.get_type ());
177 : 448437 : if (path.has_as_clause ())
178 : 432947 : visit (path.get_as_type_path ());
179 : 448437 : }
180 : :
181 : : void
182 : 428228 : DefaultASTVisitor::visit (AST::QualifiedPathInType &path)
183 : : {
184 : 428228 : visit (path.get_qualified_path_type ());
185 : 428228 : visit (path.get_associated_segment ());
186 : :
187 : 428228 : for (auto &segment : path.get_segments ())
188 : 0 : visit (segment);
189 : 428228 : }
190 : :
191 : : void
192 : 13446615 : DefaultASTVisitor::visit (AST::LiteralExpr &expr)
193 : : {
194 : 13446615 : visit_outer_attrs (expr);
195 : 13446615 : }
196 : :
197 : : void
198 : 0 : DefaultASTVisitor::visit (AST::AttrInputLiteral &attr_input)
199 : : {
200 : 0 : visit (attr_input.get_literal ());
201 : 0 : }
202 : :
203 : : void
204 : 0 : DefaultASTVisitor::visit (AST::AttrInputMacro &attr_input)
205 : : {
206 : 0 : visit (attr_input.get_macro ());
207 : 0 : }
208 : :
209 : : void
210 : 0 : DefaultASTVisitor::visit (AST::MetaItemLitExpr &meta_item)
211 : : {
212 : 0 : visit (meta_item.get_literal ());
213 : 0 : }
214 : :
215 : : void
216 : 185505 : DefaultASTVisitor::visit (AST::SimplePathSegment &segment)
217 : 185505 : {}
218 : :
219 : : void
220 : 136381 : DefaultASTVisitor::visit (AST::SimplePath &path)
221 : : {
222 : 318105 : for (auto &segment : path.get_segments ())
223 : 181724 : visit (segment);
224 : 136381 : }
225 : :
226 : : void
227 : 0 : DefaultASTVisitor::visit (AST::MetaItemPathExpr &meta_item)
228 : : {
229 : 0 : visit (meta_item.get_path ());
230 : 0 : visit (meta_item.get_expr ());
231 : 0 : }
232 : :
233 : : void
234 : 1090059 : DefaultASTVisitor::visit (AST::BorrowExpr &expr)
235 : : {
236 : 1090059 : visit_outer_attrs (expr);
237 : 1090059 : visit (expr.get_borrowed_expr ());
238 : 1090059 : }
239 : :
240 : : void
241 : 406110 : DefaultASTVisitor::visit (AST::DereferenceExpr &expr)
242 : : {
243 : 406110 : visit_outer_attrs (expr);
244 : 406110 : visit (expr.get_dereferenced_expr ());
245 : 406110 : }
246 : :
247 : : void
248 : 77044 : DefaultASTVisitor::visit (AST::ErrorPropagationExpr &expr)
249 : : {
250 : 77044 : visit_outer_attrs (expr);
251 : 77044 : visit (expr.get_propagating_expr ());
252 : 77044 : }
253 : :
254 : : void
255 : 151237 : DefaultASTVisitor::visit (AST::NegationExpr &expr)
256 : : {
257 : 151237 : visit_outer_attrs (expr);
258 : 151237 : visit (expr.get_negated_expr ());
259 : 151237 : }
260 : :
261 : : void
262 : 5049442 : DefaultASTVisitor::visit (AST::ArithmeticOrLogicalExpr &expr)
263 : : {
264 : 5049442 : visit_outer_attrs (expr);
265 : 5049442 : visit (expr.get_left_expr ());
266 : 5049442 : visit (expr.get_right_expr ());
267 : 5049442 : }
268 : :
269 : : void
270 : 458815 : DefaultASTVisitor::visit (AST::ComparisonExpr &expr)
271 : : {
272 : 458815 : visit_outer_attrs (expr);
273 : 458815 : visit (expr.get_left_expr ());
274 : 458815 : visit (expr.get_right_expr ());
275 : 458815 : }
276 : :
277 : : void
278 : 115824 : DefaultASTVisitor::visit (AST::LazyBooleanExpr &expr)
279 : : {
280 : 115824 : visit_outer_attrs (expr);
281 : 115824 : visit (expr.get_left_expr ());
282 : 115824 : visit (expr.get_right_expr ());
283 : 115824 : }
284 : :
285 : : void
286 : 811221 : DefaultASTVisitor::visit (AST::TypeCastExpr &expr)
287 : : {
288 : 811221 : visit_outer_attrs (expr);
289 : 811221 : visit (expr.get_casted_expr ());
290 : 811221 : visit (expr.get_type_to_cast_to ());
291 : 811221 : }
292 : :
293 : : void
294 : 347663 : DefaultASTVisitor::visit (AST::AssignmentExpr &expr)
295 : : {
296 : 347663 : visit_outer_attrs (expr);
297 : 347663 : visit (expr.get_left_expr ());
298 : 347663 : visit (expr.get_right_expr ());
299 : 347663 : }
300 : :
301 : : void
302 : 205183 : DefaultASTVisitor::visit (AST::CompoundAssignmentExpr &expr)
303 : : {
304 : 205183 : visit_outer_attrs (expr);
305 : 205183 : visit (expr.get_left_expr ());
306 : 205183 : visit (expr.get_right_expr ());
307 : 205183 : }
308 : :
309 : : void
310 : 922350 : DefaultASTVisitor::visit (AST::GroupedExpr &expr)
311 : : {
312 : 922350 : visit_outer_attrs (expr);
313 : 922350 : visit_inner_attrs (expr);
314 : 922350 : visit (expr.get_expr_in_parens ());
315 : 922350 : }
316 : :
317 : : void
318 : 862480 : DefaultASTVisitor::visit (AST::ArrayElemsValues &elems)
319 : : {
320 : 9067092 : for (auto &value : elems.get_values ())
321 : 8204612 : visit (value);
322 : 862480 : }
323 : :
324 : : void
325 : 9363 : DefaultASTVisitor::visit (AST::ArrayElemsCopied &elems)
326 : : {
327 : 9363 : visit (elems.get_elem_to_copy ());
328 : 9363 : visit (elems.get_num_copies ());
329 : 9363 : }
330 : :
331 : : void
332 : 2077366 : DefaultASTVisitor::visit (AST::ArrayExpr &expr)
333 : : {
334 : 2077366 : visit_outer_attrs (expr);
335 : 2077366 : visit_inner_attrs (expr);
336 : 2077366 : visit (expr.get_array_elems ());
337 : 2077366 : }
338 : :
339 : : void
340 : 147512 : DefaultASTVisitor::visit (AST::ArrayIndexExpr &expr)
341 : : {
342 : 147512 : visit_outer_attrs (expr);
343 : 147512 : visit (expr.get_array_expr ());
344 : 147512 : visit (expr.get_index_expr ());
345 : 147512 : }
346 : :
347 : : void
348 : 296590 : DefaultASTVisitor::visit (AST::TupleExpr &expr)
349 : : {
350 : 296590 : visit_outer_attrs (expr);
351 : 296590 : visit_inner_attrs (expr);
352 : 849105 : for (auto &elem : expr.get_tuple_elems ())
353 : 552515 : visit (elem);
354 : 296590 : }
355 : :
356 : : void
357 : 667984 : DefaultASTVisitor::visit (AST::TupleIndexExpr &expr)
358 : : {
359 : 667984 : visit_outer_attrs (expr);
360 : 667984 : visit (expr.get_tuple_expr ());
361 : 667984 : }
362 : :
363 : : void
364 : 2334 : DefaultASTVisitor::visit (AST::StructExprStruct &expr)
365 : : {
366 : 2334 : visit_outer_attrs (expr);
367 : 2334 : visit_inner_attrs (expr);
368 : 2334 : visit (expr.get_struct_name ());
369 : 2334 : }
370 : :
371 : : void
372 : 28016 : DefaultASTVisitor::visit (AST::StructExprFieldIdentifier &field)
373 : 28016 : {}
374 : :
375 : : void
376 : 149324 : DefaultASTVisitor::visit (AST::StructExprFieldIdentifierValue &field)
377 : : {
378 : 149324 : visit (field.get_value ());
379 : 149324 : }
380 : :
381 : : void
382 : 572 : DefaultASTVisitor::visit (AST::StructExprFieldIndexValue &field)
383 : : {
384 : 572 : visit (field.get_value ());
385 : 572 : }
386 : :
387 : : void
388 : 1313 : DefaultASTVisitor::visit (AST::StructBase &base)
389 : : {
390 : 1313 : visit (base.get_base_struct ());
391 : 1313 : }
392 : :
393 : : void
394 : 93224 : DefaultASTVisitor::visit (AST::StructExprStructFields &expr)
395 : : {
396 : 93224 : visit_outer_attrs (expr);
397 : 93224 : visit_inner_attrs (expr);
398 : 93224 : visit (expr.get_struct_name ());
399 : 93224 : if (expr.has_struct_base ())
400 : 1250 : visit (expr.get_struct_base ());
401 : 269068 : for (auto &field : expr.get_fields ())
402 : 175844 : visit (field);
403 : 93224 : }
404 : :
405 : : void
406 : 0 : DefaultASTVisitor::visit (AST::StructExprStructBase &expr)
407 : : {
408 : 0 : visit_outer_attrs (expr);
409 : 0 : visit_inner_attrs (expr);
410 : 0 : visit (expr.get_struct_name ());
411 : 0 : visit (expr.get_struct_base ());
412 : 0 : }
413 : :
414 : : void
415 : 8469070 : DefaultASTVisitor::visit (AST::CallExpr &expr)
416 : : {
417 : 8469070 : visit_outer_attrs (expr);
418 : 8469070 : visit (expr.get_function_expr ());
419 : 29427055 : for (auto ¶m : expr.get_params ())
420 : 20957985 : visit (param);
421 : 8469070 : }
422 : :
423 : : void
424 : 5321382 : DefaultASTVisitor::visit (AST::MethodCallExpr &expr)
425 : : {
426 : 5321382 : visit_outer_attrs (expr);
427 : 5321382 : visit (expr.get_receiver_expr ());
428 : 5321382 : visit (expr.get_method_name ());
429 : 6136094 : for (auto ¶m : expr.get_params ())
430 : 814712 : visit (param);
431 : 5321382 : }
432 : :
433 : : void
434 : 904175 : DefaultASTVisitor::visit (AST::FieldAccessExpr &expr)
435 : : {
436 : 904175 : visit_outer_attrs (expr);
437 : 904175 : visit (expr.get_receiver_expr ());
438 : 904175 : }
439 : :
440 : : void
441 : 45873 : DefaultASTVisitor::visit (AST::ClosureExprInner &expr)
442 : : {
443 : 45873 : visit_outer_attrs (expr);
444 : 99352 : for (auto ¶m : expr.get_params ())
445 : 53479 : visit (param);
446 : 45873 : visit (expr.get_definition_expr ());
447 : 45873 : }
448 : :
449 : : void
450 : 2744457 : DefaultASTVisitor::visit (AST::BlockExpr &expr)
451 : : {
452 : 2744457 : visit_outer_attrs (expr);
453 : 2744457 : visit_inner_attrs (expr);
454 : :
455 : 2744457 : if (expr.has_label ())
456 : 0 : visit (expr.get_label ());
457 : :
458 : 4367615 : for (auto &stmt : expr.get_statements ())
459 : 1623159 : visit (stmt);
460 : :
461 : 2744456 : if (expr.has_tail_expr ())
462 : 2322347 : visit (expr.get_tail_expr ());
463 : 2744456 : }
464 : :
465 : : void
466 : 173 : DefaultASTVisitor::visit (AST::ConstBlock &expr)
467 : : {
468 : 173 : visit (expr.get_const_expr ());
469 : 173 : }
470 : :
471 : : void
472 : 54683 : DefaultASTVisitor::visit (AST::AnonConst &expr)
473 : : {
474 : 54683 : if (!expr.is_deferred ())
475 : 54526 : visit (expr.get_inner_expr ());
476 : 54683 : }
477 : :
478 : : void
479 : 282 : DefaultASTVisitor::visit (AST::ClosureExprInnerTyped &expr)
480 : : {
481 : 282 : visit_outer_attrs (expr);
482 : 613 : for (auto ¶m : expr.get_params ())
483 : 331 : visit (param);
484 : 282 : visit (expr.get_return_type ());
485 : 282 : visit (expr.get_definition_expr ());
486 : 282 : }
487 : :
488 : : void
489 : 79328 : DefaultASTVisitor::visit (AST::ClosureParam ¶m)
490 : : {
491 : 79328 : visit_outer_attrs (param);
492 : 79328 : visit (param.get_pattern ());
493 : 79328 : if (param.has_type_given ())
494 : 4391 : visit (param.get_type ());
495 : 79328 : }
496 : :
497 : : void
498 : 1140 : DefaultASTVisitor::visit (AST::ContinueExpr &expr)
499 : : {
500 : 1140 : visit_outer_attrs (expr);
501 : 1140 : if (expr.has_label ())
502 : 453 : visit (expr.get_label_unchecked ());
503 : 1140 : }
504 : :
505 : : void
506 : 12483 : DefaultASTVisitor::visit (AST::BreakExpr &expr)
507 : : {
508 : 12483 : visit_outer_attrs (expr);
509 : 12483 : if (expr.has_label ())
510 : 283 : visit (expr.get_label_unchecked ());
511 : :
512 : 12483 : if (expr.has_break_expr ())
513 : 446 : visit (expr.get_break_expr ());
514 : 12482 : }
515 : :
516 : : void
517 : 48779 : DefaultASTVisitor::visit (AST::RangeFromToExpr &expr)
518 : : {
519 : 48779 : visit (expr.get_from_expr ());
520 : 48779 : visit (expr.get_to_expr ());
521 : 48779 : }
522 : :
523 : : void
524 : 19855 : DefaultASTVisitor::visit (AST::RangeFromExpr &expr)
525 : : {
526 : 19855 : visit (expr.get_from_expr ());
527 : 19855 : }
528 : :
529 : : void
530 : 29920 : DefaultASTVisitor::visit (AST::RangeToExpr &expr)
531 : : {
532 : 29920 : visit (expr.get_to_expr ());
533 : 29920 : }
534 : :
535 : : void
536 : 8831 : DefaultASTVisitor::visit (AST::RangeFullExpr &expr)
537 : 8831 : {}
538 : :
539 : : void
540 : 955 : DefaultASTVisitor::visit (AST::RangeFromToInclExpr &expr)
541 : : {
542 : 955 : visit (expr.get_from_expr ());
543 : 955 : visit (expr.get_to_expr ());
544 : 955 : }
545 : :
546 : : void
547 : 0 : DefaultASTVisitor::visit (AST::RangeToInclExpr &expr)
548 : : {
549 : 0 : visit (expr.get_to_expr ());
550 : 0 : }
551 : :
552 : : void
553 : 124059 : DefaultASTVisitor::visit (AST::ReturnExpr &expr)
554 : : {
555 : 124059 : visit_outer_attrs (expr);
556 : 124059 : if (expr.has_returned_expr ())
557 : 120418 : visit (expr.get_returned_expr ());
558 : 124059 : }
559 : :
560 : : void
561 : 6028 : DefaultASTVisitor::visit (AST::TryExpr &expr)
562 : : {
563 : 6028 : visit_outer_attrs (expr);
564 : 6028 : visit (expr.get_block_expr ());
565 : 6028 : }
566 : :
567 : : void
568 : 13 : DefaultASTVisitor::visit (AST::BoxExpr &expr)
569 : : {
570 : 13 : visit_outer_attrs (expr);
571 : 13 : visit (expr.get_boxed_expr ());
572 : 13 : }
573 : :
574 : : void
575 : 231592 : DefaultASTVisitor::visit (AST::UnsafeBlockExpr &expr)
576 : : {
577 : 231592 : visit_outer_attrs (expr);
578 : 231592 : visit (expr.get_block_expr ());
579 : 231592 : }
580 : :
581 : : void
582 : 841 : DefaultASTVisitor::visit (AST::LoopLabel &label)
583 : : {
584 : 841 : visit (label.get_lifetime ());
585 : 841 : }
586 : :
587 : : void
588 : 7123 : DefaultASTVisitor::visit (AST::LoopExpr &expr)
589 : : {
590 : 7123 : visit_outer_attrs (expr);
591 : 7123 : if (expr.has_loop_label ())
592 : 646 : visit (expr.get_loop_label ());
593 : 7123 : visit (expr.get_loop_block ());
594 : 7123 : }
595 : :
596 : : void
597 : 22309 : DefaultASTVisitor::visit (AST::WhileLoopExpr &expr)
598 : : {
599 : 22309 : visit_outer_attrs (expr);
600 : 22309 : if (expr.has_loop_label ())
601 : 24 : visit (expr.get_loop_label ());
602 : 22309 : visit (expr.get_predicate_expr ());
603 : 22309 : visit (expr.get_loop_block ());
604 : 22309 : }
605 : :
606 : : void
607 : 4552 : DefaultASTVisitor::visit (AST::WhileLetLoopExpr &expr)
608 : : {
609 : 4552 : visit_outer_attrs (expr);
610 : 9104 : for (auto &pattern : expr.get_patterns ())
611 : 4552 : visit (pattern);
612 : :
613 : 4552 : if (expr.has_loop_label ())
614 : 0 : visit (expr.get_loop_label ());
615 : :
616 : 4552 : visit (expr.get_scrutinee_expr ());
617 : 4552 : visit (expr.get_loop_block ());
618 : 4552 : }
619 : :
620 : : void
621 : 22941 : DefaultASTVisitor::visit (AST::ForLoopExpr &expr)
622 : : {
623 : 22941 : visit_outer_attrs (expr);
624 : 22941 : visit (expr.get_pattern ());
625 : 22941 : visit (expr.get_iterator_expr ());
626 : 22941 : if (expr.has_loop_label ())
627 : 0 : visit (expr.get_loop_label ());
628 : 22941 : visit (expr.get_loop_block ());
629 : 22941 : }
630 : :
631 : : void
632 : 340670 : DefaultASTVisitor::visit (AST::IfExpr &expr)
633 : : {
634 : 340670 : visit_outer_attrs (expr);
635 : 340670 : visit (expr.get_condition_expr ());
636 : 340670 : visit (expr.get_if_block ());
637 : 340670 : }
638 : :
639 : : void
640 : 184231 : DefaultASTVisitor::visit (AST::IfExprConseqElse &expr)
641 : : {
642 : 184231 : visit (reinterpret_cast<AST::IfExpr &> (expr));
643 : 184231 : visit (expr.get_else_block ());
644 : 184231 : }
645 : :
646 : : void
647 : 11027 : DefaultASTVisitor::visit (AST::IfLetExpr &expr)
648 : : {
649 : 11027 : visit_outer_attrs (expr);
650 : 22054 : for (auto &pattern : expr.get_patterns ())
651 : 11027 : visit (pattern);
652 : 11027 : visit (expr.get_value_expr ());
653 : 11027 : visit (expr.get_if_block ());
654 : 11027 : }
655 : :
656 : : void
657 : 2676 : DefaultASTVisitor::visit (AST::IfLetExprConseqElse &expr)
658 : : {
659 : 2676 : visit (reinterpret_cast<AST::IfLetExpr &> (expr));
660 : 2676 : visit (expr.get_else_block ());
661 : 2676 : }
662 : :
663 : : void
664 : 6116842 : DefaultASTVisitor::visit (AST::MatchArm &arm)
665 : : {
666 : 6116842 : visit_outer_attrs (arm);
667 : 12233684 : for (auto &pattern : arm.get_patterns ())
668 : 6116842 : visit (pattern);
669 : 6116842 : if (arm.has_match_arm_guard ())
670 : 4907 : visit (arm.get_guard_expr ());
671 : 6116842 : }
672 : :
673 : : void
674 : 6119305 : DefaultASTVisitor::visit (AST::MatchCase &arm)
675 : : {
676 : 6119305 : visit (arm.get_arm ());
677 : 6119305 : visit (arm.get_expr ());
678 : 6119305 : }
679 : :
680 : : void
681 : 616710 : DefaultASTVisitor::visit (AST::MatchExpr &expr)
682 : : {
683 : 616710 : visit_outer_attrs (expr);
684 : 616710 : visit_inner_attrs (expr);
685 : 616710 : visit (expr.get_scrutinee_expr ());
686 : 6736015 : for (auto &arm : expr.get_match_cases ())
687 : 6119305 : visit (arm);
688 : 616710 : }
689 : :
690 : : void
691 : 0 : DefaultASTVisitor::visit (AST::AwaitExpr &expr)
692 : : {
693 : 0 : visit_outer_attrs (expr);
694 : 0 : visit (expr.get_awaited_expr ());
695 : 0 : }
696 : :
697 : : void
698 : 0 : DefaultASTVisitor::visit (AST::AsyncBlockExpr &expr)
699 : : {
700 : 0 : visit_outer_attrs (expr);
701 : 0 : visit (expr.get_block_expr ());
702 : 0 : }
703 : :
704 : : void
705 : 289 : DefaultASTVisitor::visit (AST::InlineAsm &expr)
706 : : {
707 : 289 : visit_outer_attrs (expr);
708 : 289 : using RegisterType = AST::InlineAsmOperand::RegisterType;
709 : 604 : for (auto &operand : expr.get_operands ())
710 : : {
711 : 315 : switch (operand.get_register_type ())
712 : : {
713 : 110 : case RegisterType::In:
714 : 110 : {
715 : 110 : visit (operand.get_in ().expr);
716 : 110 : break;
717 : : }
718 : 183 : case RegisterType::Out:
719 : 183 : {
720 : 183 : visit (operand.get_out ().expr);
721 : 183 : break;
722 : : }
723 : 0 : case RegisterType::InOut:
724 : 0 : {
725 : 0 : visit (operand.get_in_out ().expr);
726 : 0 : break;
727 : : }
728 : 22 : case RegisterType::SplitInOut:
729 : 22 : {
730 : 22 : auto split = operand.get_split_in_out ();
731 : 22 : visit (split.in_expr);
732 : 22 : visit (split.out_expr);
733 : 22 : break;
734 : 22 : }
735 : 0 : case RegisterType::Const:
736 : 0 : {
737 : 0 : visit (operand.get_const ().anon_const.get_inner_expr ());
738 : 0 : break;
739 : : }
740 : 0 : case RegisterType::Sym:
741 : 0 : {
742 : 0 : visit (operand.get_sym ().expr);
743 : 0 : break;
744 : : }
745 : 0 : case RegisterType::Label:
746 : 0 : {
747 : 0 : visit (operand.get_label ().expr);
748 : 0 : break;
749 : : }
750 : : }
751 : 289 : }
752 : 289 : }
753 : :
754 : : void
755 : 1770 : DefaultASTVisitor::visit (AST::LlvmInlineAsm &expr)
756 : : {
757 : 4150 : for (auto &output : expr.get_outputs ())
758 : 2380 : visit (output.expr);
759 : :
760 : 3680 : for (auto &input : expr.get_inputs ())
761 : 1910 : visit (input.expr);
762 : 1770 : }
763 : :
764 : : void
765 : 1210188 : DefaultASTVisitor::visit (AST::TypeParam ¶m)
766 : : {
767 : 1210188 : visit_outer_attrs (param);
768 : 1481489 : for (auto &bound : param.get_type_param_bounds ())
769 : 271301 : visit (bound);
770 : 1210188 : if (param.has_type ())
771 : 8515 : visit (param.get_type ());
772 : 1210188 : }
773 : :
774 : : void
775 : 166 : DefaultASTVisitor::visit (AST::LifetimeWhereClauseItem &item)
776 : : {
777 : 166 : visit (item.get_lifetime ());
778 : 332 : for (auto &bound : item.get_lifetime_bounds ())
779 : 166 : visit (bound);
780 : 166 : }
781 : :
782 : : void
783 : 142291 : DefaultASTVisitor::visit (AST::TypeBoundWhereClauseItem &item)
784 : : {
785 : 142534 : for (auto &lifetime : item.get_for_lifetimes ())
786 : 243 : visit (lifetime);
787 : 142291 : visit (item.get_type ());
788 : 291018 : for (auto ¶m : item.get_type_param_bounds ())
789 : 148727 : visit (param);
790 : 142291 : }
791 : :
792 : : void
793 : 3788170 : DefaultASTVisitor::visit (AST::Visibility &vis)
794 : : {
795 : 3788170 : if (vis.has_path ())
796 : 41580 : visit (vis.get_path ());
797 : 3788170 : }
798 : :
799 : : void
800 : 1978334 : DefaultASTVisitor::visit (AST::FunctionQualifiers &qualifiers)
801 : 1978334 : {}
802 : :
803 : : void
804 : 103663 : DefaultASTVisitor::visit (AST::WhereClause &where)
805 : : {
806 : 246205 : for (auto &item : where.get_items ())
807 : 142542 : visit (item);
808 : 103663 : }
809 : : void
810 : 1982457 : DefaultASTVisitor::visit (AST::FunctionParam ¶m)
811 : : {
812 : 1982457 : visit_outer_attrs (param);
813 : 1982457 : if (param.has_name ())
814 : 1982457 : visit (param.get_pattern ());
815 : :
816 : 1982457 : visit (param.get_type ());
817 : 1982457 : }
818 : :
819 : : void
820 : 1242582 : DefaultASTVisitor::visit (AST::SelfParam ¶m)
821 : : {
822 : 1242582 : visit_outer_attrs (param);
823 : :
824 : 1242582 : if (param.has_lifetime ())
825 : 578492 : visit (param.get_lifetime ());
826 : :
827 : 1242582 : if (param.has_type ())
828 : 1955 : visit (param.get_type ());
829 : 1242582 : }
830 : :
831 : : void
832 : 33175 : DefaultASTVisitor::visit (AST::Module &module)
833 : : {
834 : 33175 : visit_outer_attrs (module);
835 : 33175 : visit (module.get_visibility ());
836 : 33175 : visit_inner_attrs (module);
837 : 894858 : for (auto &item : module.get_items ())
838 : 861683 : visit (item);
839 : 33175 : }
840 : :
841 : : void
842 : 105 : DefaultASTVisitor::visit (AST::ExternCrate &crate)
843 : : {
844 : 105 : visit_outer_attrs (crate);
845 : 105 : visit (crate.get_visibility ());
846 : 105 : }
847 : :
848 : : void
849 : 2522 : DefaultASTVisitor::visit (AST::UseTreeGlob &use_tree)
850 : : {
851 : 2522 : visit (use_tree.get_path ());
852 : 2522 : }
853 : :
854 : : void
855 : 9066 : DefaultASTVisitor::visit (AST::UseTreeList &use_tree)
856 : : {
857 : 9066 : visit (use_tree.get_path ());
858 : 9066 : }
859 : :
860 : : void
861 : 19708 : DefaultASTVisitor::visit (AST::UseTreeRebind &use_tree)
862 : : {
863 : 19708 : visit (use_tree.get_path ());
864 : 19708 : }
865 : :
866 : : void
867 : 31371 : DefaultASTVisitor::visit (AST::UseDeclaration &use_decl)
868 : : {
869 : 31371 : visit (use_decl.get_visibility ());
870 : 31371 : visit (use_decl.get_tree ());
871 : 31371 : }
872 : :
873 : : void
874 : 1835462 : DefaultASTVisitor::visit_function_params (AST::Function &function)
875 : : {
876 : 5050420 : for (auto ¶m : function.get_function_params ())
877 : 3214958 : visit (param);
878 : 1835462 : }
879 : :
880 : : void
881 : 1853635 : DefaultASTVisitor::visit (AST::Function &function)
882 : : {
883 : 1853635 : visit_outer_attrs (function);
884 : 1853635 : visit (function.get_visibility ());
885 : 1853635 : visit (function.get_qualifiers ());
886 : 2077003 : for (auto &generic : function.get_generic_params ())
887 : 223368 : visit (generic);
888 : :
889 : 1853635 : visit_function_params (function);
890 : :
891 : 1853635 : if (function.has_return_type ())
892 : 1577386 : visit (function.get_return_type ());
893 : 1853635 : if (function.has_where_clause ())
894 : 62209 : visit (function.get_where_clause ());
895 : 1853635 : if (function.has_body ())
896 : 1687888 : visit (*function.get_definition ());
897 : 1853634 : }
898 : :
899 : : void
900 : 379421 : DefaultASTVisitor::visit (AST::TypeAlias &type_alias)
901 : : {
902 : 379421 : visit_outer_attrs (type_alias);
903 : 379421 : visit (type_alias.get_visibility ());
904 : 379653 : for (auto &generic : type_alias.get_generic_params ())
905 : 232 : visit (generic);
906 : 379421 : if (type_alias.has_where_clause ())
907 : 0 : visit (type_alias.get_where_clause ());
908 : 379421 : visit (type_alias.get_type_aliased ());
909 : 379421 : }
910 : :
911 : : void
912 : 76956 : DefaultASTVisitor::visit (AST::StructField &field)
913 : : {
914 : 76956 : visit_outer_attrs (field);
915 : 76956 : visit (field.get_visibility ());
916 : 76956 : visit (field.get_field_type ());
917 : 76956 : }
918 : :
919 : : void
920 : 170663 : DefaultASTVisitor::visit (AST::StructStruct &struct_item)
921 : : {
922 : 170663 : visit_outer_attrs (struct_item);
923 : 170663 : visit (struct_item.get_visibility ());
924 : 211295 : for (auto &generic : struct_item.get_generic_params ())
925 : 40632 : visit (generic);
926 : 170663 : if (struct_item.has_where_clause ())
927 : 1234 : visit (struct_item.get_where_clause ());
928 : 241724 : for (auto &field : struct_item.get_fields ())
929 : 71061 : visit (field);
930 : 170663 : }
931 : :
932 : : void
933 : 78270 : DefaultASTVisitor::visit (AST::TupleField &field)
934 : : {
935 : 78270 : visit_outer_attrs (field);
936 : 78270 : visit (field.get_visibility ());
937 : 78270 : visit (field.get_field_type ());
938 : 78270 : }
939 : :
940 : : void
941 : 23277 : DefaultASTVisitor::visit (AST::TupleStruct &tuple_struct)
942 : : {
943 : 23277 : visit_outer_attrs (tuple_struct);
944 : 23277 : visit (tuple_struct.get_visibility ());
945 : 32313 : for (auto &generic : tuple_struct.get_generic_params ())
946 : 9036 : visit (generic);
947 : 23277 : if (tuple_struct.has_where_clause ())
948 : 110 : visit (tuple_struct.get_where_clause ());
949 : 94000 : for (auto &field : tuple_struct.get_fields ())
950 : 70723 : visit (field);
951 : 23277 : }
952 : :
953 : : void
954 : 21813 : DefaultASTVisitor::visit (AST::EnumItem &item)
955 : : {
956 : 21813 : visit_outer_attrs (item);
957 : 21813 : visit (item.get_visibility ());
958 : 21813 : }
959 : :
960 : : void
961 : 6864 : DefaultASTVisitor::visit (AST::EnumItemTuple &item)
962 : : {
963 : 6864 : DefaultASTVisitor::visit (static_cast<EnumItem &> (item));
964 : 14411 : for (auto &field : item.get_tuple_fields ())
965 : 7547 : visit (field);
966 : 6864 : }
967 : :
968 : : void
969 : 953 : DefaultASTVisitor::visit (AST::EnumItemStruct &item)
970 : : {
971 : 953 : DefaultASTVisitor::visit (static_cast<EnumItem &> (item));
972 : 2529 : for (auto &field : item.get_struct_fields ())
973 : 1576 : visit (field);
974 : 953 : }
975 : :
976 : : void
977 : 4828 : DefaultASTVisitor::visit (AST::EnumItemDiscriminant &item)
978 : : {
979 : 4828 : DefaultASTVisitor::visit (static_cast<EnumItem &> (item));
980 : 4828 : visit (item.get_expr ());
981 : 4828 : }
982 : :
983 : : void
984 : 10430 : DefaultASTVisitor::visit (AST::Enum &enum_item)
985 : : {
986 : 10430 : visit_outer_attrs (enum_item);
987 : 10430 : visit (enum_item.get_visibility ());
988 : 15525 : for (auto &generic : enum_item.get_generic_params ())
989 : 5095 : visit (generic);
990 : 10430 : if (enum_item.has_where_clause ())
991 : 0 : visit (enum_item.get_where_clause ());
992 : 36844 : for (auto &item : enum_item.get_variants ())
993 : 26414 : visit (item);
994 : 10430 : }
995 : :
996 : : void
997 : 1517 : DefaultASTVisitor::visit (AST::Union &union_item)
998 : : {
999 : 1517 : visit_outer_attrs (union_item);
1000 : 1517 : visit (union_item.get_visibility ());
1001 : 2658 : for (auto &generic : union_item.get_generic_params ())
1002 : 1141 : visit (generic);
1003 : 1517 : if (union_item.has_where_clause ())
1004 : 0 : visit (union_item.get_where_clause ());
1005 : 5836 : for (auto &variant : union_item.get_variants ())
1006 : 4319 : visit (variant);
1007 : 1517 : }
1008 : :
1009 : : void
1010 : 91622 : DefaultASTVisitor::visit (AST::ConstantItem &const_item)
1011 : : {
1012 : 91622 : visit_outer_attrs (const_item);
1013 : 91622 : visit (const_item.get_visibility ());
1014 : 91622 : visit (const_item.get_type ());
1015 : 91622 : if (const_item.has_expr ())
1016 : 88401 : visit (const_item.get_expr ());
1017 : 91622 : }
1018 : :
1019 : : void
1020 : 4513 : DefaultASTVisitor::visit (AST::StaticItem &static_item)
1021 : : {
1022 : 4513 : visit_outer_attrs (static_item);
1023 : 4513 : visit (static_item.get_visibility ());
1024 : 4513 : visit (static_item.get_type ());
1025 : 4513 : visit (static_item.get_expr ());
1026 : 4513 : }
1027 : :
1028 : : void
1029 : 17211 : DefaultASTVisitor::visit (AST::TraitItemType &item)
1030 : : {
1031 : 17211 : visit_outer_attrs (item);
1032 : 20957 : for (auto &bound : item.get_type_param_bounds ())
1033 : 3746 : visit (bound);
1034 : 17211 : }
1035 : :
1036 : : void
1037 : 30010 : DefaultASTVisitor::visit (AST::Trait &trait)
1038 : : {
1039 : 30010 : visit_outer_attrs (trait);
1040 : 30010 : visit (trait.get_visibility ());
1041 : :
1042 : 30010 : visit_inner_attrs (trait);
1043 : :
1044 : 30010 : visit (trait.get_implicit_self ());
1045 : :
1046 : 36658 : for (auto &generic : trait.get_generic_params ())
1047 : 6648 : visit (generic);
1048 : :
1049 : 30010 : if (trait.has_where_clause ())
1050 : 49 : visit (trait.get_where_clause ());
1051 : :
1052 : 38248 : for (auto &bound : trait.get_type_param_bounds ())
1053 : 8238 : visit (bound);
1054 : :
1055 : 72105 : for (auto &item : trait.get_trait_items ())
1056 : 42095 : visit (item);
1057 : 30010 : }
1058 : :
1059 : : void
1060 : 37571 : DefaultASTVisitor::visit (AST::InherentImpl &impl)
1061 : : {
1062 : 37571 : visit_outer_attrs (impl);
1063 : 37571 : visit (impl.get_visibility ());
1064 : :
1065 : 50168 : for (auto &generic : impl.get_generic_params ())
1066 : 12597 : visit (generic);
1067 : 37571 : if (impl.has_where_clause ())
1068 : 124 : visit (impl.get_where_clause ());
1069 : 37571 : visit (impl.get_type ());
1070 : 37571 : visit_inner_attrs (impl);
1071 : 200661 : for (auto &item : impl.get_impl_items ())
1072 : 163090 : visit (item);
1073 : 37571 : }
1074 : :
1075 : : void
1076 : 421512 : DefaultASTVisitor::visit (AST::TraitImpl &impl)
1077 : : {
1078 : 421512 : visit_outer_attrs (impl);
1079 : 421512 : visit (impl.get_visibility ());
1080 : :
1081 : 927180 : for (auto &generic : impl.get_generic_params ())
1082 : 505668 : visit (generic);
1083 : 421512 : if (impl.has_where_clause ())
1084 : 14308 : visit (impl.get_where_clause ());
1085 : 421512 : visit (impl.get_type ());
1086 : 421512 : visit (impl.get_trait_path ());
1087 : 421512 : visit_inner_attrs (impl);
1088 : 916327 : for (auto &item : impl.get_impl_items ())
1089 : 494815 : visit (item);
1090 : 421512 : }
1091 : :
1092 : : void
1093 : 83 : DefaultASTVisitor::visit (AST::ExternalTypeItem &item)
1094 : : {
1095 : 83 : visit_outer_attrs (item);
1096 : 83 : visit (item.get_visibility ());
1097 : 83 : }
1098 : :
1099 : : void
1100 : 12 : DefaultASTVisitor::visit (AST::ExternalStaticItem &item)
1101 : : {
1102 : 12 : visit_outer_attrs (item);
1103 : 12 : visit (item.get_visibility ());
1104 : 12 : visit (item.get_type ());
1105 : 12 : }
1106 : :
1107 : : void
1108 : 19930 : DefaultASTVisitor::visit (AST::ExternBlock &block)
1109 : : {
1110 : 19930 : visit_outer_attrs (block);
1111 : 19930 : visit (block.get_visibility ());
1112 : 19930 : visit_inner_attrs (block);
1113 : 132432 : for (auto &item : block.get_extern_items ())
1114 : 112502 : visit (item);
1115 : 19930 : }
1116 : :
1117 : : void
1118 : 76139 : DefaultASTVisitor::visit (AST::MacroMatchFragment &match)
1119 : 76139 : {}
1120 : :
1121 : : void
1122 : 10717 : DefaultASTVisitor::visit (AST::MacroMatchRepetition &match)
1123 : : {
1124 : 26188 : for (auto &m : match.get_matches ())
1125 : 15471 : visit (m);
1126 : 10717 : }
1127 : :
1128 : : void
1129 : 39817 : DefaultASTVisitor::visit (AST::MacroMatcher &matcher)
1130 : : {
1131 : 161286 : for (auto &m : matcher.get_matches ())
1132 : 121469 : visit (m);
1133 : 39817 : }
1134 : :
1135 : : void
1136 : 37848 : DefaultASTVisitor::visit (AST::MacroTranscriber &transcriber)
1137 : : {
1138 : 37848 : visit (transcriber.get_token_tree ());
1139 : 37848 : }
1140 : :
1141 : : void
1142 : 37848 : DefaultASTVisitor::visit (AST::MacroRule &rule)
1143 : : {
1144 : 37848 : visit (rule.get_matcher ());
1145 : 37848 : visit (rule.get_transcriber ());
1146 : 37848 : }
1147 : : void
1148 : 34286 : DefaultASTVisitor::visit (AST::MacroRulesDefinition &rules_def)
1149 : : {
1150 : 34286 : visit_outer_attrs (rules_def);
1151 : 72134 : for (auto &rule : rules_def.get_macro_rules ())
1152 : 37848 : visit (rule);
1153 : 34286 : }
1154 : :
1155 : : void
1156 : 63460 : DefaultASTVisitor::visit (AST::MacroInvocData &data)
1157 : : {
1158 : 63460 : visit (data.get_path ());
1159 : 63460 : visit (data.get_delim_tok_tree ());
1160 : 63460 : }
1161 : : void
1162 : 63460 : DefaultASTVisitor::visit (AST::MacroInvocation ¯o_invoc)
1163 : : {
1164 : 63460 : visit_outer_attrs (macro_invoc);
1165 : 63460 : visit (macro_invoc.get_invoc_data ());
1166 : 63460 : }
1167 : :
1168 : : void
1169 : 0 : DefaultASTVisitor::visit (AST::MetaItemPath &meta_item)
1170 : : {
1171 : 0 : visit (meta_item.get_path ());
1172 : 0 : }
1173 : :
1174 : : void
1175 : 45 : DefaultASTVisitor::visit (AST::MetaItemSeq &meta_item)
1176 : : {
1177 : 45 : visit (meta_item.get_path ());
1178 : 103 : for (auto &inner : meta_item.get_seq ())
1179 : 58 : visit (inner);
1180 : 45 : }
1181 : :
1182 : : void
1183 : 0 : DefaultASTVisitor::visit (AST::MetaWord &meta_item)
1184 : 0 : {}
1185 : :
1186 : : void
1187 : 0 : DefaultASTVisitor::visit (AST::MetaNameValueStr &meta_item)
1188 : 0 : {}
1189 : :
1190 : : void
1191 : 0 : DefaultASTVisitor::visit (AST::MetaListPaths &meta_item)
1192 : : {
1193 : 0 : for (auto &path : meta_item.get_paths ())
1194 : 0 : visit (path);
1195 : 0 : }
1196 : :
1197 : : void
1198 : 0 : DefaultASTVisitor::visit (AST::MetaListNameValueStr &meta_item)
1199 : : {
1200 : 0 : for (auto &str : meta_item.get_values ())
1201 : 0 : visit (str);
1202 : 0 : }
1203 : :
1204 : : void
1205 : 7302723 : DefaultASTVisitor::visit (AST::LiteralPattern &pattern)
1206 : 7302723 : {}
1207 : :
1208 : : void
1209 : 1707676 : DefaultASTVisitor::visit (AST::IdentifierPattern &pattern)
1210 : : {
1211 : 1707676 : if (pattern.has_subpattern ())
1212 : 2508 : visit (pattern.get_subpattern ());
1213 : 1707676 : }
1214 : :
1215 : : void
1216 : 735437 : DefaultASTVisitor::visit (AST::WildcardPattern &pattern)
1217 : 735437 : {}
1218 : :
1219 : : void
1220 : 580 : DefaultASTVisitor::visit (AST::RestPattern &pattern)
1221 : 580 : {}
1222 : :
1223 : : void
1224 : 36407 : DefaultASTVisitor::visit (AST::RangePatternBoundLiteral &bound)
1225 : 36407 : {}
1226 : :
1227 : : void
1228 : 168 : DefaultASTVisitor::visit (AST::RangePatternBoundPath &bound)
1229 : : {
1230 : 168 : visit (bound.get_path ());
1231 : 168 : }
1232 : :
1233 : : void
1234 : 0 : DefaultASTVisitor::visit (AST::RangePatternBoundQualPath &bound)
1235 : : {
1236 : 0 : visit (bound.get_qualified_path ());
1237 : 0 : }
1238 : :
1239 : : void
1240 : 15589 : DefaultASTVisitor::visit (AST::RangePattern &pattern)
1241 : : {
1242 : 15589 : if (pattern.get_has_lower_bound ())
1243 : 15589 : visit (pattern.get_lower_bound ());
1244 : 15589 : if (pattern.get_has_upper_bound ())
1245 : 15589 : visit (pattern.get_upper_bound ());
1246 : 15589 : }
1247 : :
1248 : : void
1249 : 37458 : DefaultASTVisitor::visit (AST::ReferencePattern &pattern)
1250 : : {
1251 : 37458 : visit (pattern.get_referenced_pattern ());
1252 : 37458 : }
1253 : :
1254 : : void
1255 : 13 : DefaultASTVisitor::visit (AST::StructPatternFieldTuplePat &field)
1256 : : {
1257 : 13 : visit_outer_attrs (field);
1258 : 13 : visit (field.get_index_pattern ());
1259 : 13 : }
1260 : :
1261 : : void
1262 : 7644 : DefaultASTVisitor::visit (AST::StructPatternFieldIdentPat &field)
1263 : : {
1264 : 7644 : visit_outer_attrs (field);
1265 : 7644 : visit (field.get_ident_pattern ());
1266 : 7644 : }
1267 : :
1268 : : void
1269 : 1686 : DefaultASTVisitor::visit (AST::StructPatternFieldIdent &field)
1270 : : {
1271 : 1686 : visit_outer_attrs (field);
1272 : 1686 : }
1273 : :
1274 : : void
1275 : 4338 : DefaultASTVisitor::visit (AST::StructPatternElements &spe)
1276 : : {
1277 : 10381 : for (auto &field : spe.get_struct_pattern_fields ())
1278 : 6043 : visit (field);
1279 : 4338 : for (auto &attribute : spe.get_etc_outer_attrs ())
1280 : : visit (attribute);
1281 : 4338 : }
1282 : :
1283 : : void
1284 : 4338 : DefaultASTVisitor::visit (AST::StructPattern &pattern)
1285 : : {
1286 : 4338 : visit (pattern.get_path ());
1287 : 4338 : visit (pattern.get_struct_pattern_elems ());
1288 : 4338 : }
1289 : :
1290 : : void
1291 : 149892 : DefaultASTVisitor::visit (AST::TupleStructItemsNoRest &tuple_items)
1292 : : {
1293 : 305246 : for (auto &pattern : tuple_items.get_patterns ())
1294 : 155354 : visit (pattern);
1295 : 149892 : }
1296 : :
1297 : : void
1298 : 1647 : DefaultASTVisitor::visit (AST::TupleStructItemsHasRest &tuple_items)
1299 : : {
1300 : 2044 : for (auto &lower : tuple_items.get_lower_patterns ())
1301 : 397 : visit (lower);
1302 : 1884 : for (auto &upper : tuple_items.get_upper_patterns ())
1303 : 237 : visit (upper);
1304 : 1647 : }
1305 : :
1306 : : void
1307 : 151539 : DefaultASTVisitor::visit (AST::TupleStructPattern &pattern)
1308 : : {
1309 : 151539 : visit (pattern.get_path ());
1310 : 151539 : visit (pattern.get_items ());
1311 : 151539 : }
1312 : :
1313 : : void
1314 : 399928 : DefaultASTVisitor::visit (AST::TuplePatternItemsNoRest &tuple_items)
1315 : : {
1316 : 1311828 : for (auto &pattern : tuple_items.get_patterns ())
1317 : 911900 : visit (pattern);
1318 : 399928 : }
1319 : :
1320 : : void
1321 : 345 : DefaultASTVisitor::visit (AST::TuplePatternItemsHasRest &tuple_items)
1322 : : {
1323 : 701 : for (auto &lower : tuple_items.get_lower_patterns ())
1324 : 356 : visit (lower);
1325 : 745 : for (auto &upper : tuple_items.get_upper_patterns ())
1326 : 400 : visit (upper);
1327 : 345 : }
1328 : :
1329 : : void
1330 : 400273 : DefaultASTVisitor::visit (AST::TuplePattern &pattern)
1331 : : {
1332 : 400273 : visit (pattern.get_items ());
1333 : 400273 : }
1334 : :
1335 : : void
1336 : 572 : DefaultASTVisitor::visit (AST::GroupedPattern &pattern)
1337 : : {
1338 : 572 : visit (pattern.get_pattern_in_parens ());
1339 : 572 : }
1340 : :
1341 : : void
1342 : 1560 : DefaultASTVisitor::visit (AST::SlicePatternItemsNoRest &items)
1343 : : {
1344 : 3672 : for (auto &item : items.get_patterns ())
1345 : 2112 : visit (item);
1346 : 1560 : }
1347 : :
1348 : : void
1349 : 1720 : DefaultASTVisitor::visit (AST::SlicePatternItemsHasRest &items)
1350 : : {
1351 : 4005 : for (auto &item : items.get_lower_patterns ())
1352 : 2285 : visit (item);
1353 : 2565 : for (auto &item : items.get_upper_patterns ())
1354 : 845 : visit (item);
1355 : 1720 : }
1356 : :
1357 : : void
1358 : 3280 : DefaultASTVisitor::visit (AST::SlicePattern &pattern)
1359 : : {
1360 : 3280 : visit (pattern.get_items ());
1361 : 3280 : }
1362 : :
1363 : : void
1364 : 8210 : DefaultASTVisitor::visit (AST::AltPattern &pattern)
1365 : : {
1366 : 28901 : for (auto &alt : pattern.get_alts ())
1367 : 20691 : visit (alt);
1368 : 8210 : }
1369 : :
1370 : : void
1371 : 865 : DefaultASTVisitor::visit (AST::EmptyStmt &stmt)
1372 : 865 : {}
1373 : :
1374 : : void
1375 : 873134 : DefaultASTVisitor::visit (AST::LetStmt &stmt)
1376 : : {
1377 : 873134 : visit_outer_attrs (stmt);
1378 : 873134 : visit (stmt.get_pattern ());
1379 : 873134 : if (stmt.has_type ())
1380 : 101107 : visit (stmt.get_type ());
1381 : 873134 : if (stmt.has_init_expr ())
1382 : 838186 : visit (stmt.get_init_expr ());
1383 : 873134 : }
1384 : :
1385 : : void
1386 : 1202923 : DefaultASTVisitor::visit (AST::ExprStmt &stmt)
1387 : : {
1388 : 1202923 : visit (stmt.get_expr ());
1389 : 1202922 : }
1390 : :
1391 : : void
1392 : 286849 : DefaultASTVisitor::visit (AST::TraitBound &bound)
1393 : : {
1394 : 287063 : for (auto &lifetime : bound.get_for_lifetimes ())
1395 : 214 : visit (lifetime);
1396 : 286849 : visit (bound.get_type_path ());
1397 : 286849 : }
1398 : :
1399 : : void
1400 : 428 : DefaultASTVisitor::visit (AST::ImplTraitType &type)
1401 : : {
1402 : 1284 : for (auto &bound : type.get_type_param_bounds ())
1403 : 856 : visit (bound);
1404 : 428 : }
1405 : :
1406 : : void
1407 : 16980 : DefaultASTVisitor::visit (AST::TraitObjectType &type)
1408 : : {
1409 : 42444 : for (auto &bound : type.get_type_param_bounds ())
1410 : 25464 : visit (bound);
1411 : 16980 : }
1412 : :
1413 : : void
1414 : 1428 : DefaultASTVisitor::visit (AST::ParenthesisedType &type)
1415 : : {
1416 : 1428 : visit (type.get_type_in_parens ());
1417 : 1428 : }
1418 : :
1419 : : void
1420 : 30229 : DefaultASTVisitor::visit (AST::ImplTraitTypeOneBound &type)
1421 : : {
1422 : 30229 : visit (type.get_trait_bound ());
1423 : 30229 : }
1424 : :
1425 : : void
1426 : 6367 : DefaultASTVisitor::visit (AST::TraitObjectTypeOneBound &type)
1427 : : {
1428 : 6367 : visit (type.get_trait_bound ());
1429 : 6367 : }
1430 : :
1431 : : void
1432 : 152010 : DefaultASTVisitor::visit (AST::TupleType &type)
1433 : : {
1434 : 489153 : for (auto &elem : type.get_elems ())
1435 : 337143 : visit (elem);
1436 : 152010 : }
1437 : :
1438 : : void
1439 : 7852 : DefaultASTVisitor::visit (AST::NeverType &type)
1440 : 7852 : {}
1441 : :
1442 : : void
1443 : 316180 : DefaultASTVisitor::visit (AST::RawPointerType &type)
1444 : : {
1445 : 316180 : visit (type.get_type_pointed_to ());
1446 : 316180 : }
1447 : :
1448 : : void
1449 : 1324784 : DefaultASTVisitor::visit (AST::ReferenceType &type)
1450 : : {
1451 : 1324784 : visit (type.get_lifetime ());
1452 : 1324784 : visit (type.get_base_type ());
1453 : 1324784 : }
1454 : :
1455 : : void
1456 : 54510 : DefaultASTVisitor::visit (AST::ArrayType &type)
1457 : : {
1458 : 54510 : visit (type.get_elem_type ());
1459 : 54510 : visit (type.get_size_expr ());
1460 : 54510 : }
1461 : :
1462 : : void
1463 : 105223 : DefaultASTVisitor::visit (AST::SliceType &type)
1464 : : {
1465 : 105223 : visit (type.get_elem_type ());
1466 : 105223 : }
1467 : :
1468 : : void
1469 : 34230 : DefaultASTVisitor::visit (AST::InferredType &type)
1470 : 34230 : {}
1471 : :
1472 : : void
1473 : 560560 : DefaultASTVisitor::visit (AST::MaybeNamedParam ¶m)
1474 : : {
1475 : 560560 : visit_outer_attrs (param);
1476 : 560560 : visit (param.get_type ());
1477 : 560560 : }
1478 : :
1479 : : void
1480 : 93760 : DefaultASTVisitor::visit (AST::BareFunctionType &type)
1481 : : {
1482 : 93797 : for (auto &lifetime : type.get_for_lifetimes ())
1483 : 37 : visit (lifetime);
1484 : 93760 : visit (type.get_function_qualifiers ());
1485 : 654320 : for (auto ¶m : type.get_function_params ())
1486 : 560560 : visit (param);
1487 : 93760 : if (type.is_variadic ())
1488 : 28560 : for (auto attr : type.get_variadic_attr ())
1489 : 0 : visit (attr);
1490 : 93760 : if (type.has_return_type ())
1491 : 92166 : visit (type.get_return_type ());
1492 : 93760 : }
1493 : :
1494 : : void
1495 : 0 : DefaultASTVisitor::visit (AST::FormatArgs &)
1496 : : {
1497 : : // FIXME: Do we have anything to do? any subnodes to visit? Probably, right?
1498 : 0 : }
1499 : :
1500 : : void
1501 : 139 : DefaultASTVisitor::visit (AST::OffsetOf &offset_of)
1502 : : {
1503 : 139 : visit (offset_of.get_type ());
1504 : 139 : }
1505 : :
1506 : : void
1507 : 9445 : DefaultASTVisitor::visit (AST::VariadicParam ¶m)
1508 : : {
1509 : 9445 : if (param.has_pattern ())
1510 : 121 : visit (param.get_pattern ());
1511 : 9445 : }
1512 : :
1513 : : void
1514 : 4464 : ContextualASTVisitor::visit (AST::Crate &crate)
1515 : : {
1516 : 4464 : ctx.enter (Kind::CRATE);
1517 : 4464 : DefaultASTVisitor::visit (crate);
1518 : 4464 : ctx.exit ();
1519 : 4464 : }
1520 : :
1521 : : void
1522 : 1261 : ContextualASTVisitor::visit (AST::InherentImpl &impl)
1523 : : {
1524 : 1261 : ctx.enter (Kind::INHERENT_IMPL);
1525 : 1261 : DefaultASTVisitor::visit (impl);
1526 : 1261 : ctx.exit ();
1527 : 1261 : }
1528 : :
1529 : : void
1530 : 11479 : ContextualASTVisitor::visit (AST::TraitImpl &impl)
1531 : : {
1532 : 11479 : ctx.enter (Kind::TRAIT_IMPL);
1533 : 11479 : DefaultASTVisitor::visit (impl);
1534 : 11479 : ctx.exit ();
1535 : 11479 : }
1536 : :
1537 : : void
1538 : 3863 : ContextualASTVisitor::visit (AST::Trait &trait)
1539 : : {
1540 : 3863 : ctx.enter (Kind::TRAIT);
1541 : 3863 : DefaultASTVisitor::visit (trait);
1542 : 3863 : ctx.exit ();
1543 : 3863 : }
1544 : :
1545 : : } // namespace AST
1546 : : } // namespace Rust
|
