Branch data Line data Source code
1 : : // Copyright (C) 2020-2024 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-path.h"
23 : : #include "rust-token.h"
24 : : #include "rust-expr.h"
25 : : #include "rust-macro.h"
26 : : #include "rust-pattern.h"
27 : : #include "rust-stmt.h"
28 : : #include "rust-type.h"
29 : :
30 : : namespace Rust {
31 : : namespace AST {
32 : :
33 : : void
34 : 12494 : DefaultASTVisitor::visit (AST::Crate &crate)
35 : : {
36 : 12494 : visit_inner_attrs (crate);
37 : 60560 : for (auto &item : crate.items)
38 : 48066 : visit (item);
39 : 12494 : }
40 : :
41 : : void
42 : 14924 : DefaultASTVisitor::visit (AST::Token &tok)
43 : 14924 : {}
44 : :
45 : : void
46 : 2791 : DefaultASTVisitor::visit (AST::DelimTokenTree &delim_tok_tree)
47 : : {
48 : 19299 : for (auto &token : delim_tok_tree.get_token_trees ())
49 : 16508 : visit (token);
50 : 2791 : }
51 : :
52 : : void
53 : 0 : DefaultASTVisitor::visit (AST::AttrInputMetaItemContainer &input)
54 : : {
55 : 0 : for (auto &item : input.get_items ())
56 : 0 : visit (item);
57 : 0 : }
58 : :
59 : : void
60 : 74457 : DefaultASTVisitor::visit (AST::IdentifierExpr &ident_expr)
61 : : {
62 : 74457 : visit_outer_attrs (ident_expr);
63 : 74457 : }
64 : :
65 : : void
66 : 25586 : DefaultASTVisitor::visit (AST::Lifetime &lifetime)
67 : 25586 : {}
68 : :
69 : : void
70 : 413 : DefaultASTVisitor::visit (AST::LifetimeParam &lifetime_param)
71 : : {
72 : 413 : visit (lifetime_param.get_outer_attribute ());
73 : 413 : visit (lifetime_param.get_lifetime ());
74 : 415 : for (auto &lifetime_bound : lifetime_param.get_lifetime_bounds ())
75 : 2 : visit (lifetime_bound);
76 : 413 : }
77 : :
78 : : void
79 : 56 : DefaultASTVisitor::visit (AST::ConstGenericParam &const_param)
80 : : {
81 : 56 : visit (const_param.get_outer_attribute ());
82 : 56 : if (const_param.has_type ())
83 : 56 : visit (const_param.get_type ());
84 : 56 : if (const_param.has_default_value ())
85 : 32 : visit (const_param.get_default_value ());
86 : 56 : }
87 : :
88 : : void
89 : 10698 : DefaultASTVisitor::visit (AST::PathInExpression &path)
90 : : {
91 : 10698 : visit_outer_attrs (path);
92 : 23886 : for (auto &segment : path.get_segments ())
93 : 13188 : visit (segment);
94 : 10698 : }
95 : :
96 : : void
97 : 161766 : DefaultASTVisitor::visit (AST::TypePathSegment &segment)
98 : 161766 : {}
99 : :
100 : : void
101 : 37 : DefaultASTVisitor::visit (GenericArgsBinding &binding)
102 : : {
103 : 37 : visit (binding.get_type ());
104 : 37 : }
105 : :
106 : : void
107 : 1268 : DefaultASTVisitor::visit (AST::TypePathSegmentGeneric &segment)
108 : : {
109 : 1268 : visit (segment.get_generic_args ());
110 : 1268 : }
111 : :
112 : : void
113 : 39 : DefaultASTVisitor::visit (AST::TypePathFunction &tpf)
114 : : {
115 : 78 : for (auto &input : tpf.get_params ())
116 : 39 : visit (input);
117 : 39 : if (tpf.has_return_type ())
118 : 35 : visit (tpf.get_return_type ());
119 : 39 : }
120 : :
121 : : void
122 : 18917 : DefaultASTVisitor::visit (AST::PathIdentSegment &segment)
123 : 18917 : {}
124 : :
125 : : void
126 : 39 : DefaultASTVisitor::visit (AST::TypePathSegmentFunction &segment)
127 : : {
128 : 39 : visit (segment.get_type_path_function ());
129 : 39 : visit (segment.get_ident_segment ());
130 : 39 : }
131 : :
132 : : void
133 : 1867 : DefaultASTVisitor::visit (AST::GenericArgs &args)
134 : : {
135 : 1885 : for (auto &lifetime : args.get_lifetime_args ())
136 : 18 : visit (lifetime);
137 : :
138 : 3836 : for (auto &generic : args.get_generic_args ())
139 : 1969 : visit (generic);
140 : :
141 : 1904 : for (auto &binding : args.get_binding_args ())
142 : 37 : visit (binding);
143 : 1867 : }
144 : :
145 : : void
146 : 18878 : DefaultASTVisitor::visit (AST::PathExprSegment &segment)
147 : : {
148 : 18878 : visit (segment.get_ident_segment ());
149 : 18878 : if (segment.has_generic_args ())
150 : 599 : visit (segment.get_generic_args ());
151 : 18878 : }
152 : : void
153 : 164106 : DefaultASTVisitor::visit (AST::TypePath &path)
154 : : {
155 : 332601 : for (auto &segment : path.get_segments ())
156 : 168495 : visit (segment);
157 : 164106 : }
158 : :
159 : : void
160 : 254 : DefaultASTVisitor::visit (AST::QualifiedPathInExpression &path)
161 : : {
162 : 254 : visit_outer_attrs (path);
163 : 254 : visit (path.get_qualified_path_type ());
164 : :
165 : 508 : for (auto &segment : path.get_segments ())
166 : 254 : visit (segment);
167 : 254 : }
168 : :
169 : : void
170 : 1003 : DefaultASTVisitor::visit (AST::QualifiedPathType &path)
171 : : {
172 : 1003 : visit (path.get_type ());
173 : 1003 : if (path.has_as_clause ())
174 : 936 : visit (path.get_as_type_path ());
175 : 1003 : }
176 : :
177 : : void
178 : 749 : DefaultASTVisitor::visit (AST::QualifiedPathInType &path)
179 : : {
180 : 749 : visit (path.get_qualified_path_type ());
181 : 749 : visit (path.get_associated_segment ());
182 : :
183 : 749 : for (auto &segment : path.get_segments ())
184 : 0 : visit (segment);
185 : 749 : }
186 : :
187 : : void
188 : 14204 : DefaultASTVisitor::visit (AST::LiteralExpr &expr)
189 : : {
190 : 14204 : visit_outer_attrs (expr);
191 : 14204 : }
192 : :
193 : : void
194 : 0 : DefaultASTVisitor::visit (AST::AttrInputLiteral &attr_input)
195 : : {
196 : 0 : visit (attr_input.get_literal ());
197 : 0 : }
198 : :
199 : : void
200 : 0 : DefaultASTVisitor::visit (AST::AttrInputMacro &attr_input)
201 : : {
202 : 0 : visit (attr_input.get_macro ());
203 : 0 : }
204 : :
205 : : void
206 : 0 : DefaultASTVisitor::visit (AST::MetaItemLitExpr &meta_item)
207 : : {
208 : 0 : visit (meta_item.get_literal ());
209 : 0 : }
210 : :
211 : : void
212 : 256 : DefaultASTVisitor::visit (AST::SimplePathSegment &segment)
213 : 256 : {}
214 : :
215 : : void
216 : 90399 : DefaultASTVisitor::visit (AST::SimplePath &path)
217 : : {
218 : 90655 : for (auto &segment : path.get_segments ())
219 : 256 : visit (segment);
220 : 90399 : }
221 : :
222 : : void
223 : 0 : DefaultASTVisitor::visit (AST::MetaItemPathLit &meta_item)
224 : : {
225 : 0 : visit (meta_item.get_path ());
226 : 0 : visit (meta_item.get_literal ());
227 : 0 : }
228 : :
229 : : void
230 : 6997 : DefaultASTVisitor::visit (AST::BorrowExpr &expr)
231 : : {
232 : 6997 : visit_outer_attrs (expr);
233 : 6997 : visit (expr.get_borrowed_expr ());
234 : 6997 : }
235 : :
236 : : void
237 : 4302 : DefaultASTVisitor::visit (AST::DereferenceExpr &expr)
238 : : {
239 : 4302 : visit_outer_attrs (expr);
240 : 4302 : visit (expr.get_dereferenced_expr ());
241 : 4302 : }
242 : :
243 : : void
244 : 0 : DefaultASTVisitor::visit (AST::ErrorPropagationExpr &expr)
245 : : {
246 : 0 : visit_outer_attrs (expr);
247 : 0 : }
248 : :
249 : : void
250 : 1546 : DefaultASTVisitor::visit (AST::NegationExpr &expr)
251 : : {
252 : 1546 : visit_outer_attrs (expr);
253 : 1546 : visit (expr.get_negated_expr ());
254 : 1546 : }
255 : :
256 : : void
257 : 1060991 : DefaultASTVisitor::visit (AST::ArithmeticOrLogicalExpr &expr)
258 : : {
259 : 1060991 : visit_outer_attrs (expr);
260 : 1060991 : visit (expr.get_left_expr ());
261 : 1060991 : visit (expr.get_right_expr ());
262 : 1060991 : }
263 : :
264 : : void
265 : 4077 : DefaultASTVisitor::visit (AST::ComparisonExpr &expr)
266 : : {
267 : 4077 : visit_outer_attrs (expr);
268 : 4077 : visit (expr.get_left_expr ());
269 : 4077 : visit (expr.get_right_expr ());
270 : 4077 : }
271 : :
272 : : void
273 : 1862 : DefaultASTVisitor::visit (AST::LazyBooleanExpr &expr)
274 : : {
275 : 1862 : visit_outer_attrs (expr);
276 : 1862 : visit (expr.get_left_expr ());
277 : 1862 : visit (expr.get_right_expr ());
278 : 1862 : }
279 : :
280 : : void
281 : 28457 : DefaultASTVisitor::visit (AST::TypeCastExpr &expr)
282 : : {
283 : 28457 : visit_outer_attrs (expr);
284 : 28457 : visit (expr.get_casted_expr ());
285 : 28457 : visit (expr.get_type_to_cast_to ());
286 : 28457 : }
287 : :
288 : : void
289 : 8046 : DefaultASTVisitor::visit (AST::AssignmentExpr &expr)
290 : : {
291 : 8046 : visit_outer_attrs (expr);
292 : 8046 : visit (expr.get_left_expr ());
293 : 8046 : visit (expr.get_right_expr ());
294 : 8046 : }
295 : :
296 : : void
297 : 924 : DefaultASTVisitor::visit (AST::CompoundAssignmentExpr &expr)
298 : : {
299 : 924 : visit_outer_attrs (expr);
300 : 924 : visit (expr.get_left_expr ());
301 : 924 : visit (expr.get_right_expr ());
302 : 924 : }
303 : :
304 : : void
305 : 742 : DefaultASTVisitor::visit (AST::GroupedExpr &expr)
306 : : {
307 : 742 : visit_outer_attrs (expr);
308 : 742 : visit_inner_attrs (expr);
309 : 742 : visit (expr.get_expr_in_parens ());
310 : 742 : }
311 : :
312 : : void
313 : 594 : DefaultASTVisitor::visit (AST::ArrayElemsValues &elems)
314 : : {
315 : 3444 : for (auto &value : elems.get_values ())
316 : 2850 : visit (value);
317 : 594 : }
318 : :
319 : : void
320 : 526 : DefaultASTVisitor::visit (AST::ArrayElemsCopied &elems)
321 : : {
322 : 526 : visit (elems.get_elem_to_copy ());
323 : 526 : visit (elems.get_num_copies ());
324 : 526 : }
325 : :
326 : : void
327 : 1499 : DefaultASTVisitor::visit (AST::ArrayExpr &expr)
328 : : {
329 : 1499 : visit_outer_attrs (expr);
330 : 1499 : visit_inner_attrs (expr);
331 : 1499 : visit (expr.get_array_elems ());
332 : 1499 : }
333 : :
334 : : void
335 : 3200 : DefaultASTVisitor::visit (AST::ArrayIndexExpr &expr)
336 : : {
337 : 3200 : visit_outer_attrs (expr);
338 : 3200 : visit (expr.get_array_expr ());
339 : 3200 : visit (expr.get_index_expr ());
340 : 3200 : }
341 : :
342 : : void
343 : 1068 : DefaultASTVisitor::visit (AST::TupleExpr &expr)
344 : : {
345 : 1068 : visit_outer_attrs (expr);
346 : 1068 : visit_inner_attrs (expr);
347 : 3118 : for (auto &elem : expr.get_tuple_elems ())
348 : 2050 : visit (elem);
349 : 1068 : }
350 : :
351 : : void
352 : 4777 : DefaultASTVisitor::visit (AST::TupleIndexExpr &expr)
353 : : {
354 : 4777 : visit_outer_attrs (expr);
355 : 4777 : visit (expr.get_tuple_expr ());
356 : 4777 : }
357 : :
358 : : void
359 : 51 : DefaultASTVisitor::visit (AST::StructExprStruct &expr)
360 : : {
361 : 51 : visit_outer_attrs (expr);
362 : 51 : visit_inner_attrs (expr);
363 : 51 : visit (expr.get_struct_name ());
364 : 51 : }
365 : :
366 : : void
367 : 746 : DefaultASTVisitor::visit (AST::StructExprFieldIdentifier &field)
368 : 746 : {}
369 : :
370 : : void
371 : 6486 : DefaultASTVisitor::visit (AST::StructExprFieldIdentifierValue &field)
372 : : {
373 : 6486 : visit (field.get_value ());
374 : 6486 : }
375 : :
376 : : void
377 : 220 : DefaultASTVisitor::visit (AST::StructExprFieldIndexValue &field)
378 : : {
379 : 220 : visit (field.get_value ());
380 : 220 : }
381 : :
382 : : void
383 : 315 : DefaultASTVisitor::visit (AST::StructBase &base)
384 : : {
385 : 315 : visit (base.get_base_struct ());
386 : 315 : }
387 : :
388 : : void
389 : 4009 : DefaultASTVisitor::visit (AST::StructExprStructFields &expr)
390 : : {
391 : 4009 : visit_outer_attrs (expr);
392 : 4009 : visit_inner_attrs (expr);
393 : 4009 : if (expr.has_struct_base ())
394 : 315 : visit (expr.get_struct_base ());
395 : 11672 : for (auto &field : expr.get_fields ())
396 : 15326 : visit (field);
397 : 4009 : }
398 : :
399 : : void
400 : 0 : DefaultASTVisitor::visit (AST::StructExprStructBase &expr)
401 : : {
402 : 0 : visit_outer_attrs (expr);
403 : 0 : visit_inner_attrs (expr);
404 : 0 : visit (expr.get_struct_base ());
405 : 0 : }
406 : :
407 : : void
408 : 36500 : DefaultASTVisitor::visit (AST::CallExpr &expr)
409 : : {
410 : 36500 : visit_outer_attrs (expr);
411 : 36500 : visit (expr.get_function_expr ());
412 : 79844 : for (auto ¶m : expr.get_params ())
413 : 43344 : visit (param);
414 : 36500 : }
415 : :
416 : : void
417 : 5436 : DefaultASTVisitor::visit (AST::MethodCallExpr &expr)
418 : : {
419 : 5436 : visit_outer_attrs (expr);
420 : 5436 : visit (expr.get_receiver_expr ());
421 : 5436 : visit (expr.get_method_name ());
422 : 8154 : for (auto ¶m : expr.get_params ())
423 : 2718 : visit (param);
424 : 5436 : }
425 : :
426 : : void
427 : 7996 : DefaultASTVisitor::visit (AST::FieldAccessExpr &expr)
428 : : {
429 : 7996 : visit_outer_attrs (expr);
430 : 7996 : visit (expr.get_receiver_expr ());
431 : 7996 : }
432 : :
433 : : void
434 : 92 : DefaultASTVisitor::visit (AST::ClosureExprInner &expr)
435 : : {
436 : 92 : visit_outer_attrs (expr);
437 : 164 : for (auto ¶m : expr.get_params ())
438 : 72 : visit (param);
439 : 92 : visit (expr.get_definition_expr ());
440 : 92 : }
441 : :
442 : : void
443 : 46800 : DefaultASTVisitor::visit (AST::BlockExpr &expr)
444 : : {
445 : 46800 : visit_outer_attrs (expr);
446 : 46800 : visit_inner_attrs (expr);
447 : 100702 : for (auto &stmt : expr.get_statements ())
448 : 53902 : visit (stmt);
449 : 46800 : if (expr.has_tail_expr ())
450 : 32407 : visit (expr.get_tail_expr ());
451 : 46800 : }
452 : :
453 : : void
454 : 120 : DefaultASTVisitor::visit (AST::ClosureExprInnerTyped &expr)
455 : : {
456 : 120 : visit_outer_attrs (expr);
457 : 268 : for (auto ¶m : expr.get_params ())
458 : 148 : visit (param);
459 : 120 : visit (expr.get_return_type ());
460 : 120 : visit (expr.get_definition_block ());
461 : 120 : }
462 : :
463 : : void
464 : 220 : DefaultASTVisitor::visit (AST::ClosureParam ¶m)
465 : : {
466 : 220 : visit_outer_attrs (param);
467 : 220 : visit (param.get_pattern ());
468 : 220 : if (param.has_type_given ())
469 : 204 : visit (param.get_type ());
470 : 220 : }
471 : :
472 : : void
473 : 10 : DefaultASTVisitor::visit (AST::ContinueExpr &expr)
474 : : {
475 : 10 : visit_outer_attrs (expr);
476 : 10 : visit (expr.get_label ());
477 : 10 : }
478 : :
479 : : void
480 : 524 : DefaultASTVisitor::visit (AST::BreakExpr &expr)
481 : : {
482 : 524 : visit_outer_attrs (expr);
483 : 524 : if (expr.has_label ())
484 : 106 : visit (expr.get_label ());
485 : :
486 : 524 : if (expr.has_break_expr ())
487 : 166 : visit (expr.get_break_expr ());
488 : 524 : }
489 : :
490 : : void
491 : 314 : DefaultASTVisitor::visit (AST::RangeFromToExpr &expr)
492 : : {
493 : 314 : visit (expr.get_from_expr ());
494 : 314 : visit (expr.get_to_expr ());
495 : 314 : }
496 : :
497 : : void
498 : 35 : DefaultASTVisitor::visit (AST::RangeFromExpr &expr)
499 : : {
500 : 35 : visit (expr.get_from_expr ());
501 : 35 : }
502 : :
503 : : void
504 : 35 : DefaultASTVisitor::visit (AST::RangeToExpr &expr)
505 : : {
506 : 35 : visit (expr.get_to_expr ());
507 : 35 : }
508 : :
509 : : void
510 : 0 : DefaultASTVisitor::visit (AST::RangeFullExpr &expr)
511 : 0 : {}
512 : :
513 : : void
514 : 35 : DefaultASTVisitor::visit (AST::RangeFromToInclExpr &expr)
515 : : {
516 : 35 : visit (expr.get_from_expr ());
517 : 35 : visit (expr.get_to_expr ());
518 : 35 : }
519 : :
520 : : void
521 : 0 : DefaultASTVisitor::visit (AST::RangeToInclExpr &expr)
522 : : {
523 : 0 : visit (expr.get_to_expr ());
524 : 0 : }
525 : :
526 : : void
527 : 1797 : DefaultASTVisitor::visit (AST::ReturnExpr &expr)
528 : : {
529 : 1797 : visit_outer_attrs (expr);
530 : 1797 : if (expr.has_returned_expr ())
531 : 1729 : visit (expr.get_returned_expr ());
532 : 1797 : }
533 : :
534 : : void
535 : 14931 : DefaultASTVisitor::visit (AST::UnsafeBlockExpr &expr)
536 : : {
537 : 14931 : visit_outer_attrs (expr);
538 : 14931 : visit (expr.get_block_expr ());
539 : 14931 : }
540 : :
541 : : void
542 : 659 : DefaultASTVisitor::visit (AST::LoopLabel &label)
543 : : {
544 : 659 : visit (label.get_lifetime ());
545 : 659 : }
546 : :
547 : : void
548 : 475 : DefaultASTVisitor::visit (AST::LoopExpr &expr)
549 : : {
550 : 475 : visit_outer_attrs (expr);
551 : 475 : visit (expr.get_loop_label ());
552 : 475 : visit (expr.get_loop_block ());
553 : 475 : }
554 : :
555 : : void
556 : 227 : DefaultASTVisitor::visit (AST::WhileLoopExpr &expr)
557 : : {
558 : 227 : visit_outer_attrs (expr);
559 : 227 : visit (expr.get_predicate_expr ());
560 : 227 : visit (expr.get_loop_label ());
561 : 227 : visit (expr.get_loop_block ());
562 : 227 : }
563 : :
564 : : void
565 : 0 : DefaultASTVisitor::visit (AST::WhileLetLoopExpr &expr)
566 : : {
567 : 0 : visit_outer_attrs (expr);
568 : 0 : for (auto &pattern : expr.get_patterns ())
569 : 0 : visit (pattern);
570 : 0 : visit (expr.get_scrutinee_expr ());
571 : 0 : visit (expr.get_loop_label ());
572 : 0 : visit (expr.get_loop_block ());
573 : 0 : }
574 : :
575 : : void
576 : 0 : DefaultASTVisitor::visit (AST::ForLoopExpr &expr)
577 : : {
578 : 0 : visit_outer_attrs (expr);
579 : 0 : visit (expr.get_pattern ());
580 : 0 : visit (expr.get_iterator_expr ());
581 : 0 : visit (expr.get_loop_label ());
582 : 0 : visit (expr.get_loop_block ());
583 : 0 : }
584 : :
585 : : void
586 : 2959 : DefaultASTVisitor::visit (AST::IfExpr &expr)
587 : : {
588 : 2959 : visit_outer_attrs (expr);
589 : 2959 : visit (expr.get_condition_expr ());
590 : 2959 : visit (expr.get_if_block ());
591 : 2959 : }
592 : :
593 : : void
594 : 1572 : DefaultASTVisitor::visit (AST::IfExprConseqElse &expr)
595 : : {
596 : 1572 : visit (reinterpret_cast<AST::IfExpr &> (expr));
597 : 1572 : visit (expr.get_else_block ());
598 : 1572 : }
599 : :
600 : : void
601 : 9 : DefaultASTVisitor::visit (AST::IfLetExpr &expr)
602 : : {
603 : 9 : visit_outer_attrs (expr);
604 : 18 : for (auto &pattern : expr.get_patterns ())
605 : 9 : visit (pattern);
606 : 9 : visit (expr.get_value_expr ());
607 : 9 : visit (expr.get_if_block ());
608 : 9 : }
609 : :
610 : : void
611 : 8 : DefaultASTVisitor::visit (AST::IfLetExprConseqElse &expr)
612 : : {
613 : 8 : visit (reinterpret_cast<AST::IfLetExpr &> (expr));
614 : 8 : visit (expr.get_else_block ());
615 : 8 : }
616 : :
617 : : void
618 : 1279 : DefaultASTVisitor::visit (AST::MatchArm &arm)
619 : : {
620 : 1279 : visit_outer_attrs (arm);
621 : 2558 : for (auto &pattern : arm.get_patterns ())
622 : 1279 : visit (pattern);
623 : 1279 : if (arm.has_match_arm_guard ())
624 : 3 : visit (arm.get_guard_expr ());
625 : 1279 : }
626 : :
627 : : void
628 : 1279 : DefaultASTVisitor::visit (AST::MatchCase &arm)
629 : : {
630 : 1279 : visit (arm.get_arm ());
631 : 1279 : visit (arm.get_expr ());
632 : 1279 : }
633 : :
634 : : void
635 : 533 : DefaultASTVisitor::visit (AST::MatchExpr &expr)
636 : : {
637 : 533 : visit_outer_attrs (expr);
638 : 533 : visit_inner_attrs (expr);
639 : 533 : visit (expr.get_scrutinee_expr ());
640 : 1812 : for (auto &arm : expr.get_match_cases ())
641 : 1279 : visit (arm);
642 : 533 : }
643 : :
644 : : void
645 : 0 : DefaultASTVisitor::visit (AST::AwaitExpr &expr)
646 : : {
647 : 0 : visit_outer_attrs (expr);
648 : 0 : visit (expr.get_awaited_expr ());
649 : 0 : }
650 : :
651 : : void
652 : 0 : DefaultASTVisitor::visit (AST::AsyncBlockExpr &expr)
653 : : {
654 : 0 : visit_outer_attrs (expr);
655 : 0 : visit (expr.get_block_expr ());
656 : 0 : }
657 : :
658 : : void
659 : 9826 : DefaultASTVisitor::visit (AST::TypeParam ¶m)
660 : : {
661 : 9826 : visit (param.get_outer_attribute ());
662 : 10835 : for (auto &bound : param.get_type_param_bounds ())
663 : 1009 : visit (bound);
664 : 9826 : if (param.has_type ())
665 : 396 : visit (param.get_type ());
666 : 9826 : }
667 : :
668 : : void
669 : 0 : DefaultASTVisitor::visit (AST::LifetimeWhereClauseItem &item)
670 : : {
671 : 0 : visit (item.get_lifetime ());
672 : 0 : for (auto &bound : item.get_lifetime_bounds ())
673 : 0 : visit (bound);
674 : 0 : }
675 : :
676 : : void
677 : 217 : DefaultASTVisitor::visit (AST::TypeBoundWhereClauseItem &item)
678 : : {
679 : 244 : for (auto &lifetime : item.get_for_lifetimes ())
680 : 27 : visit (lifetime);
681 : 217 : visit (item.get_type ());
682 : 434 : for (auto ¶m : item.get_type_param_bounds ())
683 : 217 : visit (param);
684 : 217 : }
685 : :
686 : : void
687 : 90282 : DefaultASTVisitor::visit (AST::Visibility &vis)
688 : : {
689 : 90282 : visit (vis.get_path ());
690 : 90282 : }
691 : :
692 : : void
693 : 41100 : DefaultASTVisitor::visit (AST::FunctionQualifiers &qualifiers)
694 : 41100 : {}
695 : :
696 : : void
697 : 329 : DefaultASTVisitor::visit (AST::WhereClause &where)
698 : : {
699 : 668 : for (auto &item : where.get_items ())
700 : 339 : visit (item);
701 : 329 : }
702 : : void
703 : 16339 : DefaultASTVisitor::visit (AST::FunctionParam ¶m)
704 : : {
705 : 16339 : visit_outer_attrs (param);
706 : 16339 : if (param.has_name ())
707 : 16339 : visit (param.get_pattern ());
708 : :
709 : 16339 : visit (param.get_type ());
710 : 16339 : }
711 : :
712 : : void
713 : 33796 : DefaultASTVisitor::visit (AST::SelfParam ¶m)
714 : : {
715 : 33796 : visit_outer_attrs (param);
716 : :
717 : 33796 : if (param.has_lifetime ())
718 : 15978 : visit (param.get_lifetime ());
719 : :
720 : 33796 : if (param.has_type ())
721 : 8 : visit (param.get_type ());
722 : 33796 : }
723 : :
724 : : void
725 : 1824 : DefaultASTVisitor::visit (AST::Module &module)
726 : : {
727 : 1824 : visit_outer_attrs (module);
728 : 1824 : visit (module.get_visibility ());
729 : 1824 : visit_inner_attrs (module);
730 : 4475 : for (auto &item : module.get_items ())
731 : 2651 : visit (item);
732 : 1824 : }
733 : :
734 : : void
735 : 27 : DefaultASTVisitor::visit (AST::ExternCrate &crate)
736 : : {
737 : 27 : visit_outer_attrs (crate);
738 : 27 : visit (crate.get_visibility ());
739 : 27 : }
740 : :
741 : : void
742 : 2 : DefaultASTVisitor::visit (AST::UseTreeGlob &use_tree)
743 : : {
744 : 2 : visit (use_tree.get_path ());
745 : 2 : }
746 : :
747 : : void
748 : 23 : DefaultASTVisitor::visit (AST::UseTreeList &use_tree)
749 : : {
750 : 23 : visit (use_tree.get_path ());
751 : 23 : }
752 : :
753 : : void
754 : 31 : DefaultASTVisitor::visit (AST::UseTreeRebind &use_tree)
755 : : {
756 : 31 : visit (use_tree.get_path ());
757 : 31 : }
758 : :
759 : : void
760 : 56 : DefaultASTVisitor::visit (AST::UseDeclaration &use_decl)
761 : : {
762 : 56 : visit (use_decl.get_tree ());
763 : 56 : }
764 : :
765 : : void
766 : 40961 : DefaultASTVisitor::visit (AST::Function &function)
767 : : {
768 : 40961 : visit_outer_attrs (function);
769 : 40961 : visit (function.get_visibility ());
770 : 40961 : visit (function.get_qualifiers ());
771 : 42807 : for (auto &generic : function.get_generic_params ())
772 : 1846 : visit (generic);
773 : 40961 : if (function.has_self_param ())
774 : 16898 : visit (function.get_self_param ());
775 : 74211 : for (auto ¶m : function.get_function_params ())
776 : 33250 : visit (param);
777 : 40961 : if (function.has_return_type ())
778 : 29714 : visit (function.get_return_type ());
779 : 40961 : if (function.has_where_clause ())
780 : 46 : visit (function.get_where_clause ());
781 : 40961 : if (function.has_body ())
782 : 36696 : visit (*function.get_definition ());
783 : 40961 : }
784 : :
785 : : void
786 : 4944 : DefaultASTVisitor::visit (AST::TypeAlias &type_alias)
787 : : {
788 : 4944 : visit_outer_attrs (type_alias);
789 : 4944 : visit (type_alias.get_visibility ());
790 : 4990 : for (auto &generic : type_alias.get_generic_params ())
791 : 46 : visit (generic);
792 : 4944 : if (type_alias.has_where_clause ())
793 : 0 : visit (type_alias.get_where_clause ());
794 : 4944 : visit (type_alias.get_type_aliased ());
795 : 4944 : }
796 : :
797 : : void
798 : 4839 : DefaultASTVisitor::visit (AST::StructField &field)
799 : : {
800 : 4839 : visit_outer_attrs (field);
801 : 4839 : visit (field.get_visibility ());
802 : 4839 : visit (field.get_field_type ());
803 : 4839 : }
804 : :
805 : : void
806 : 3324 : DefaultASTVisitor::visit (AST::StructStruct &struct_item)
807 : : {
808 : 3324 : visit_outer_attrs (struct_item);
809 : 3324 : visit (struct_item.get_visibility ());
810 : 4136 : for (auto &generic : struct_item.get_generic_params ())
811 : 812 : visit (generic);
812 : 3324 : if (struct_item.has_where_clause ())
813 : 6 : visit (struct_item.get_where_clause ());
814 : 7410 : for (auto &field : struct_item.get_fields ())
815 : 4086 : visit (field);
816 : 3324 : }
817 : :
818 : : void
819 : 5082 : DefaultASTVisitor::visit (AST::TupleField &field)
820 : : {
821 : 5082 : visit_outer_attrs (field);
822 : 5082 : visit (field.get_visibility ());
823 : 5082 : visit (field.get_field_type ());
824 : 5082 : }
825 : :
826 : : void
827 : 2529 : DefaultASTVisitor::visit (AST::TupleStruct &tuple_struct)
828 : : {
829 : 2529 : visit_outer_attrs (tuple_struct);
830 : 2529 : visit (tuple_struct.get_visibility ());
831 : 3591 : for (auto &generic : tuple_struct.get_generic_params ())
832 : 1062 : visit (generic);
833 : 2529 : if (tuple_struct.has_where_clause ())
834 : 0 : visit (tuple_struct.get_where_clause ());
835 : 7152 : for (auto &field : tuple_struct.get_fields ())
836 : 4623 : visit (field);
837 : 2529 : }
838 : :
839 : : void
840 : 458 : DefaultASTVisitor::visit (AST::EnumItem &item)
841 : : {
842 : 458 : visit_outer_attrs (item);
843 : 458 : visit (item.get_visibility ());
844 : 458 : }
845 : :
846 : : void
847 : 437 : DefaultASTVisitor::visit (AST::EnumItemTuple &item)
848 : : {
849 : 437 : visit (reinterpret_cast<EnumItem &> (item));
850 : 896 : for (auto &field : item.get_tuple_fields ())
851 : 459 : visit (field);
852 : 437 : }
853 : :
854 : : void
855 : 101 : DefaultASTVisitor::visit (AST::EnumItemStruct &item)
856 : : {
857 : 101 : visit (reinterpret_cast<EnumItem &> (item));
858 : 286 : for (auto &field : item.get_struct_fields ())
859 : 185 : visit (field);
860 : 101 : }
861 : :
862 : : void
863 : 53 : DefaultASTVisitor::visit (AST::EnumItemDiscriminant &item)
864 : : {
865 : 53 : visit (reinterpret_cast<EnumItem &> (item));
866 : 53 : visit (item.get_expr ());
867 : 53 : }
868 : :
869 : : void
870 : 863 : DefaultASTVisitor::visit (AST::Enum &enum_item)
871 : : {
872 : 863 : visit_outer_attrs (enum_item);
873 : 863 : visit (enum_item.get_visibility ());
874 : 1403 : for (auto &generic : enum_item.get_generic_params ())
875 : 540 : visit (generic);
876 : 863 : if (enum_item.has_where_clause ())
877 : 0 : visit (enum_item.get_where_clause ());
878 : 2939 : for (auto &item : enum_item.get_variants ())
879 : 2076 : visit (item);
880 : 863 : }
881 : :
882 : : void
883 : 195 : DefaultASTVisitor::visit (AST::Union &union_item)
884 : : {
885 : 195 : visit_outer_attrs (union_item);
886 : 195 : visit (union_item.get_visibility ());
887 : 327 : for (auto &generic : union_item.get_generic_params ())
888 : 132 : visit (generic);
889 : 195 : if (union_item.has_where_clause ())
890 : 0 : visit (union_item.get_where_clause ());
891 : 763 : for (auto &variant : union_item.get_variants ())
892 : 568 : visit (variant);
893 : 195 : }
894 : :
895 : : void
896 : 1511 : DefaultASTVisitor::visit (AST::ConstantItem &const_item)
897 : : {
898 : 1511 : visit_outer_attrs (const_item);
899 : 1511 : visit (const_item.get_visibility ());
900 : 1511 : visit (const_item.get_type ());
901 : 1511 : if (const_item.has_expr ())
902 : 1507 : visit (const_item.get_expr ());
903 : 1511 : }
904 : :
905 : : void
906 : 131 : DefaultASTVisitor::visit (AST::StaticItem &static_item)
907 : : {
908 : 131 : visit_outer_attrs (static_item);
909 : 131 : visit (static_item.get_visibility ());
910 : 131 : visit (static_item.get_type ());
911 : 131 : visit (static_item.get_expr ());
912 : 131 : }
913 : :
914 : : void
915 : 168 : DefaultASTVisitor::visit (AST::TraitItemConst &item)
916 : : {
917 : 168 : visit_outer_attrs (item);
918 : 168 : visit (item.get_type ());
919 : 168 : if (item.has_expr ())
920 : 40 : visit (item.get_expr ());
921 : 168 : }
922 : :
923 : : void
924 : 2223 : DefaultASTVisitor::visit (AST::TraitItemType &item)
925 : : {
926 : 2223 : visit_outer_attrs (item);
927 : 2339 : for (auto &bound : item.get_type_param_bounds ())
928 : 116 : visit (bound);
929 : 2223 : }
930 : :
931 : : void
932 : 4542 : DefaultASTVisitor::visit (AST::Trait &trait)
933 : : {
934 : 4542 : visit_outer_attrs (trait);
935 : 4542 : visit (trait.get_visibility ());
936 : :
937 : 4542 : visit_inner_attrs (trait);
938 : :
939 : 5243 : for (auto &generic : trait.get_generic_params ())
940 : 701 : visit (generic);
941 : :
942 : 4542 : if (trait.has_where_clause ())
943 : 21 : visit (trait.get_where_clause ());
944 : :
945 : 4974 : for (auto &bound : trait.get_type_param_bounds ())
946 : 432 : visit (bound);
947 : :
948 : 8070 : for (auto &item : trait.get_trait_items ())
949 : 3528 : visit (item);
950 : 4542 : }
951 : :
952 : : void
953 : 2793 : DefaultASTVisitor::visit (AST::InherentImpl &impl)
954 : : {
955 : 2793 : visit_outer_attrs (impl);
956 : 2793 : visit (impl.get_visibility ());
957 : :
958 : 3734 : for (auto &generic : impl.get_generic_params ())
959 : 941 : visit (generic);
960 : 2793 : if (impl.has_where_clause ())
961 : 4 : visit (impl.get_where_clause ());
962 : 2793 : visit (impl.get_type ());
963 : 2793 : visit_inner_attrs (impl);
964 : 9199 : for (auto &item : impl.get_impl_items ())
965 : 6406 : visit (item);
966 : 2793 : }
967 : :
968 : : void
969 : 8542 : DefaultASTVisitor::visit (AST::TraitImpl &impl)
970 : : {
971 : 8542 : visit_outer_attrs (impl);
972 : 8542 : visit (impl.get_visibility ());
973 : :
974 : 10919 : for (auto &generic : impl.get_generic_params ())
975 : 2377 : visit (generic);
976 : 8542 : if (impl.has_where_clause ())
977 : 252 : visit (impl.get_where_clause ());
978 : 8542 : visit (impl.get_type ());
979 : 8542 : visit_inner_attrs (impl);
980 : 18392 : for (auto &item : impl.get_impl_items ())
981 : 9850 : visit (item);
982 : 8542 : }
983 : :
984 : : void
985 : 1 : DefaultASTVisitor::visit (AST::ExternalTypeItem &item)
986 : : {
987 : 1 : visit_outer_attrs (item);
988 : 1 : visit (item.get_visibility ());
989 : 1 : }
990 : :
991 : : void
992 : 3 : DefaultASTVisitor::visit (AST::ExternalStaticItem &item)
993 : : {
994 : 3 : visit_outer_attrs (item);
995 : 3 : visit (item.get_visibility ());
996 : 3 : visit (item.get_type ());
997 : 3 : }
998 : :
999 : : void
1000 : 9690 : DefaultASTVisitor::visit (AST::NamedFunctionParam ¶m)
1001 : : {
1002 : 9690 : visit_outer_attrs (param);
1003 : 9690 : if (!param.is_variadic ())
1004 : 7228 : visit (param.get_type ());
1005 : 9690 : }
1006 : :
1007 : : void
1008 : 5787 : DefaultASTVisitor::visit (AST::ExternalFunctionItem &item)
1009 : : {
1010 : 5787 : visit_outer_attrs (item);
1011 : 5787 : visit (item.get_visibility ());
1012 : 8160 : for (auto &generic : item.get_generic_params ())
1013 : 2373 : visit (generic);
1014 : :
1015 : 5787 : if (item.has_where_clause ())
1016 : 0 : visit (item.get_where_clause ());
1017 : :
1018 : 15477 : for (auto ¶m : item.get_function_params ())
1019 : 9690 : visit (param);
1020 : :
1021 : 5787 : if (item.has_return_type ())
1022 : 2684 : visit (item.get_return_type ());
1023 : 5787 : }
1024 : :
1025 : : void
1026 : 1926 : DefaultASTVisitor::visit (AST::ExternBlock &block)
1027 : : {
1028 : 1926 : visit_outer_attrs (block);
1029 : 1926 : visit (block.get_visibility ());
1030 : 1926 : visit_inner_attrs (block);
1031 : 4838 : for (auto &item : block.get_extern_items ())
1032 : 2912 : visit (item);
1033 : 1926 : }
1034 : :
1035 : : void
1036 : 571 : DefaultASTVisitor::visit (AST::MacroMatchFragment &match)
1037 : 571 : {}
1038 : :
1039 : : void
1040 : 252 : DefaultASTVisitor::visit (AST::MacroMatchRepetition &match)
1041 : : {
1042 : 560 : for (auto &m : match.get_matches ())
1043 : 308 : visit (m);
1044 : 252 : }
1045 : :
1046 : : void
1047 : 812 : DefaultASTVisitor::visit (AST::MacroMatcher &matcher)
1048 : : {
1049 : 1751 : for (auto &m : matcher.get_matches ())
1050 : 939 : visit (m);
1051 : 812 : }
1052 : :
1053 : : void
1054 : 767 : DefaultASTVisitor::visit (AST::MacroTranscriber &transcriber)
1055 : : {
1056 : 767 : visit (transcriber.get_token_tree ());
1057 : 767 : }
1058 : :
1059 : : void
1060 : 767 : DefaultASTVisitor::visit (AST::MacroRule &rule)
1061 : : {
1062 : 767 : visit (rule.get_matcher ());
1063 : 767 : visit (rule.get_transcriber ());
1064 : 767 : }
1065 : : void
1066 : 635 : DefaultASTVisitor::visit (AST::MacroRulesDefinition &rules_def)
1067 : : {
1068 : 635 : visit_outer_attrs (rules_def);
1069 : 1402 : for (auto &rule : rules_def.get_macro_rules ())
1070 : 767 : visit (rule);
1071 : 635 : }
1072 : :
1073 : : void
1074 : 61 : DefaultASTVisitor::visit (AST::MacroInvocData &data)
1075 : : {
1076 : 61 : visit (data.get_path ());
1077 : 61 : visit (data.get_delim_tok_tree ());
1078 : 61 : }
1079 : : void
1080 : 61 : DefaultASTVisitor::visit (AST::MacroInvocation ¯o_invoc)
1081 : : {
1082 : 61 : visit_outer_attrs (macro_invoc);
1083 : 61 : visit (macro_invoc.get_invoc_data ());
1084 : 61 : }
1085 : :
1086 : : void
1087 : 0 : DefaultASTVisitor::visit (AST::MetaItemPath &meta_item)
1088 : : {
1089 : 0 : visit (meta_item.get_path ());
1090 : 0 : }
1091 : :
1092 : : void
1093 : 0 : DefaultASTVisitor::visit (AST::MetaItemSeq &meta_item)
1094 : : {
1095 : 0 : visit (meta_item.get_path ());
1096 : 0 : for (auto &inner : meta_item.get_seq ())
1097 : 0 : visit (inner);
1098 : 0 : }
1099 : :
1100 : : void
1101 : 0 : DefaultASTVisitor::visit (AST::MetaWord &meta_item)
1102 : 0 : {}
1103 : :
1104 : : void
1105 : 0 : DefaultASTVisitor::visit (AST::MetaNameValueStr &meta_item)
1106 : 0 : {}
1107 : :
1108 : : void
1109 : 0 : DefaultASTVisitor::visit (AST::MetaListPaths &meta_item)
1110 : : {
1111 : 0 : for (auto &path : meta_item.get_paths ())
1112 : 0 : visit (path);
1113 : 0 : }
1114 : :
1115 : : void
1116 : 0 : DefaultASTVisitor::visit (AST::MetaListNameValueStr &meta_item)
1117 : : {
1118 : 0 : for (auto &str : meta_item.get_values ())
1119 : 0 : visit (str);
1120 : 0 : }
1121 : :
1122 : : void
1123 : 594 : DefaultASTVisitor::visit (AST::LiteralPattern &pattern)
1124 : 594 : {}
1125 : :
1126 : : void
1127 : 41688 : DefaultASTVisitor::visit (AST::IdentifierPattern &pattern)
1128 : : {
1129 : 41688 : if (pattern.has_pattern_to_bind ())
1130 : 0 : visit (pattern.get_pattern_to_bind ());
1131 : 41688 : }
1132 : :
1133 : : void
1134 : 1290 : DefaultASTVisitor::visit (AST::WildcardPattern &pattern)
1135 : 1290 : {}
1136 : :
1137 : : void
1138 : 0 : DefaultASTVisitor::visit (AST::RestPattern &pattern)
1139 : 0 : {}
1140 : :
1141 : : void
1142 : 63 : DefaultASTVisitor::visit (AST::RangePatternBoundLiteral &bound)
1143 : 63 : {}
1144 : :
1145 : : void
1146 : 42 : DefaultASTVisitor::visit (AST::RangePatternBoundPath &bound)
1147 : : {
1148 : 42 : visit (bound.get_path ());
1149 : 42 : }
1150 : :
1151 : : void
1152 : 0 : DefaultASTVisitor::visit (AST::RangePatternBoundQualPath &bound)
1153 : : {
1154 : 0 : visit (bound.get_qualified_path ());
1155 : 0 : }
1156 : :
1157 : : void
1158 : 84 : DefaultASTVisitor::visit (AST::RangePattern &pattern)
1159 : : {
1160 : 84 : if (pattern.get_has_lower_bound ())
1161 : 84 : visit (pattern.get_lower_bound ());
1162 : 84 : if (pattern.get_has_upper_bound ())
1163 : 84 : visit (pattern.get_upper_bound ());
1164 : 84 : }
1165 : :
1166 : : void
1167 : 143 : DefaultASTVisitor::visit (AST::ReferencePattern &pattern)
1168 : : {
1169 : 143 : visit (pattern.get_referenced_pattern ());
1170 : 143 : }
1171 : :
1172 : : void
1173 : 3 : DefaultASTVisitor::visit (AST::StructPatternFieldTuplePat &field)
1174 : : {
1175 : 3 : visit_outer_attrs (field);
1176 : 3 : visit (field.get_index_pattern ());
1177 : 3 : }
1178 : :
1179 : : void
1180 : 4 : DefaultASTVisitor::visit (AST::StructPatternFieldIdentPat &field)
1181 : : {
1182 : 4 : visit_outer_attrs (field);
1183 : 4 : visit (field.get_ident_pattern ());
1184 : 4 : }
1185 : :
1186 : : void
1187 : 63 : DefaultASTVisitor::visit (AST::StructPatternFieldIdent &field)
1188 : : {
1189 : 63 : visit_outer_attrs (field);
1190 : 63 : }
1191 : :
1192 : : void
1193 : 69 : DefaultASTVisitor::visit (AST::StructPatternElements &spe)
1194 : : {
1195 : 198 : for (auto &field : spe.get_struct_pattern_fields ())
1196 : 129 : visit (field);
1197 : 69 : for (auto &attribute : spe.get_etc_outer_attrs ())
1198 : : visit (attribute);
1199 : 69 : }
1200 : :
1201 : : void
1202 : 69 : DefaultASTVisitor::visit (AST::StructPattern &pattern)
1203 : : {
1204 : 69 : visit (pattern.get_path ());
1205 : 69 : visit (pattern.get_struct_pattern_elems ());
1206 : 69 : }
1207 : :
1208 : : void
1209 : 1018 : DefaultASTVisitor::visit (AST::TupleStructItemsNoRange &tuple_items)
1210 : : {
1211 : 2254 : for (auto &pattern : tuple_items.get_patterns ())
1212 : 1236 : visit (pattern);
1213 : 1018 : }
1214 : :
1215 : : void
1216 : 0 : DefaultASTVisitor::visit (AST::TupleStructItemsRange &tuple_items)
1217 : : {
1218 : 0 : for (auto &lower : tuple_items.get_lower_patterns ())
1219 : 0 : visit (lower);
1220 : 0 : for (auto &upper : tuple_items.get_upper_patterns ())
1221 : 0 : visit (upper);
1222 : 0 : }
1223 : :
1224 : : void
1225 : 786 : DefaultASTVisitor::visit (AST::TupleStructPattern &pattern)
1226 : : {
1227 : 786 : visit (pattern.get_path ());
1228 : 786 : if (pattern.has_items ())
1229 : 782 : visit (pattern.get_items ());
1230 : 786 : }
1231 : :
1232 : : void
1233 : 1499 : DefaultASTVisitor::visit (AST::TuplePatternItemsMultiple &tuple_items)
1234 : : {
1235 : 4568 : for (auto &pattern : tuple_items.get_patterns ())
1236 : 3069 : visit (pattern);
1237 : 1499 : }
1238 : :
1239 : : void
1240 : 0 : DefaultASTVisitor::visit (AST::TuplePatternItemsRanged &tuple_items)
1241 : : {
1242 : 0 : for (auto &lower : tuple_items.get_lower_patterns ())
1243 : 0 : visit (lower);
1244 : 0 : for (auto &upper : tuple_items.get_upper_patterns ())
1245 : 0 : visit (upper);
1246 : 0 : }
1247 : :
1248 : : void
1249 : 1499 : DefaultASTVisitor::visit (AST::TuplePattern &pattern)
1250 : : {
1251 : 1499 : visit (pattern.get_items ());
1252 : 1499 : }
1253 : :
1254 : : void
1255 : 168 : DefaultASTVisitor::visit (AST::GroupedPattern &pattern)
1256 : : {
1257 : 168 : visit (pattern.get_pattern_in_parens ());
1258 : 168 : }
1259 : :
1260 : : void
1261 : 0 : DefaultASTVisitor::visit (AST::SlicePattern &pattern)
1262 : : {
1263 : 0 : for (auto &item : pattern.get_items ())
1264 : 0 : visit (item);
1265 : 0 : }
1266 : :
1267 : : void
1268 : 177 : DefaultASTVisitor::visit (AST::AltPattern &pattern)
1269 : : {
1270 : 591 : for (auto &alt : pattern.get_alts ())
1271 : 414 : visit (alt);
1272 : 177 : }
1273 : :
1274 : : void
1275 : 505 : DefaultASTVisitor::visit (AST::EmptyStmt &stmt)
1276 : 505 : {}
1277 : :
1278 : : void
1279 : 51365 : DefaultASTVisitor::visit (AST::LetStmt &stmt)
1280 : : {
1281 : 51365 : visit_outer_attrs (stmt);
1282 : 51365 : visit (stmt.get_pattern ());
1283 : 51365 : if (stmt.has_type ())
1284 : 7293 : visit (stmt.get_type ());
1285 : 51365 : if (stmt.has_init_expr ())
1286 : 46901 : visit (stmt.get_init_expr ());
1287 : 51365 : }
1288 : :
1289 : : void
1290 : 31865 : DefaultASTVisitor::visit (AST::ExprStmt &stmt)
1291 : : {
1292 : 31865 : visit (stmt.get_expr ());
1293 : 31865 : }
1294 : :
1295 : : void
1296 : 1518 : DefaultASTVisitor::visit (AST::TraitBound &bound)
1297 : : {
1298 : 1546 : for (auto &lifetime : bound.get_for_lifetimes ())
1299 : 28 : visit (lifetime);
1300 : 1518 : visit (bound.get_type_path ());
1301 : 1518 : }
1302 : :
1303 : : void
1304 : 0 : DefaultASTVisitor::visit (AST::ImplTraitType &type)
1305 : : {
1306 : 0 : for (auto &bound : type.get_type_param_bounds ())
1307 : 0 : visit (bound);
1308 : 0 : }
1309 : :
1310 : : void
1311 : 21 : DefaultASTVisitor::visit (AST::TraitObjectType &type)
1312 : : {
1313 : 63 : for (auto &bound : type.get_type_param_bounds ())
1314 : 42 : visit (bound);
1315 : 21 : }
1316 : :
1317 : : void
1318 : 0 : DefaultASTVisitor::visit (AST::ParenthesisedType &type)
1319 : : {
1320 : 0 : visit (type.get_type_in_parens ());
1321 : 0 : }
1322 : :
1323 : : void
1324 : 0 : DefaultASTVisitor::visit (AST::ImplTraitTypeOneBound &type)
1325 : : {
1326 : 0 : visit (type.get_trait_bound ());
1327 : 0 : }
1328 : :
1329 : : void
1330 : 405 : DefaultASTVisitor::visit (AST::TraitObjectTypeOneBound &type)
1331 : : {
1332 : 405 : visit (type.get_trait_bound ());
1333 : 405 : }
1334 : :
1335 : : void
1336 : 1070 : DefaultASTVisitor::visit (AST::TupleType &type)
1337 : : {
1338 : 2868 : for (auto &elem : type.get_elems ())
1339 : 1798 : visit (elem);
1340 : 1070 : }
1341 : :
1342 : : void
1343 : 165 : DefaultASTVisitor::visit (AST::NeverType &type)
1344 : 165 : {}
1345 : :
1346 : : void
1347 : 27026 : DefaultASTVisitor::visit (AST::RawPointerType &type)
1348 : : {
1349 : 27026 : visit (type.get_type_pointed_to ());
1350 : 27026 : }
1351 : :
1352 : : void
1353 : 8465 : DefaultASTVisitor::visit (AST::ReferenceType &type)
1354 : : {
1355 : 8465 : visit (type.get_lifetime ());
1356 : 8465 : visit (type.get_base_type ());
1357 : 8465 : }
1358 : :
1359 : : void
1360 : 2254 : DefaultASTVisitor::visit (AST::ArrayType &type)
1361 : : {
1362 : 2254 : visit (type.get_elem_type ());
1363 : 2254 : visit (type.get_size_expr ());
1364 : 2254 : }
1365 : :
1366 : : void
1367 : 2890 : DefaultASTVisitor::visit (AST::SliceType &type)
1368 : : {
1369 : 2890 : visit (type.get_elem_type ());
1370 : 2890 : }
1371 : :
1372 : : void
1373 : 664 : DefaultASTVisitor::visit (AST::InferredType &type)
1374 : 664 : {}
1375 : :
1376 : : void
1377 : 131 : DefaultASTVisitor::visit (AST::MaybeNamedParam ¶m)
1378 : : {
1379 : 131 : visit_outer_attrs (param);
1380 : 131 : visit (param.get_type ());
1381 : 131 : }
1382 : :
1383 : : void
1384 : 139 : DefaultASTVisitor::visit (AST::BareFunctionType &type)
1385 : : {
1386 : 146 : for (auto &lifetime : type.get_for_lifetimes ())
1387 : 7 : visit (lifetime);
1388 : 139 : visit (type.get_function_qualifiers ());
1389 : 270 : for (auto ¶m : type.get_function_params ())
1390 : 131 : visit (param);
1391 : 139 : if (type.is_variadic ())
1392 : 0 : for (auto attr : type.get_variadic_attr ())
1393 : 0 : visit (attr);
1394 : 139 : if (type.has_return_type ())
1395 : 124 : visit (type.get_return_type ());
1396 : 139 : }
1397 : :
1398 : : void
1399 : 17 : DefaultASTVisitor::visit (AST::VariadicParam ¶m)
1400 : : {
1401 : 17 : if (param.has_pattern ())
1402 : 0 : visit (param.get_pattern ());
1403 : 17 : }
1404 : :
1405 : : void
1406 : 3599 : ContextualASTVisitor::visit (AST::Crate &crate)
1407 : : {
1408 : 3599 : push_context (Context::CRATE);
1409 : 3599 : DefaultASTVisitor::visit (crate);
1410 : 3599 : pop_context ();
1411 : 3599 : }
1412 : :
1413 : : void
1414 : 709 : ContextualASTVisitor::visit (AST::InherentImpl &impl)
1415 : : {
1416 : 709 : push_context (Context::INHERENT_IMPL);
1417 : 709 : DefaultASTVisitor::visit (impl);
1418 : 709 : pop_context ();
1419 : 709 : }
1420 : :
1421 : : void
1422 : 2394 : ContextualASTVisitor::visit (AST::TraitImpl &impl)
1423 : : {
1424 : 2394 : push_context (Context::TRAIT_IMPL);
1425 : 2394 : DefaultASTVisitor::visit (impl);
1426 : 2394 : pop_context ();
1427 : 2394 : }
1428 : :
1429 : : void
1430 : 2106 : ContextualASTVisitor::visit (AST::Trait &trait)
1431 : : {
1432 : 2106 : push_context (Context::TRAIT);
1433 : 2106 : DefaultASTVisitor::visit (trait);
1434 : 2106 : pop_context ();
1435 : 2106 : }
1436 : :
1437 : : } // namespace AST
1438 : : } // namespace Rust
|
