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 : : #include "rust-ast-collector.h"
19 : : #include "rust-ast.h"
20 : : #include "rust-diagnostics.h"
21 : : #include "rust-item.h"
22 : : #include "rust-keyword-values.h"
23 : :
24 : : namespace Rust {
25 : : namespace AST {
26 : :
27 : : std::vector<TokenPtr>
28 : 0 : TokenCollector::collect_tokens () const
29 : : {
30 : 0 : std::vector<TokenPtr> result;
31 : 0 : for (auto item : tokens)
32 : : {
33 : 0 : if (item.get_kind () == CollectItem::Kind::Token)
34 : : {
35 : 0 : result.emplace_back (item.get_token ());
36 : : }
37 : 0 : }
38 : 0 : return result;
39 : : }
40 : :
41 : : std::vector<CollectItem>
42 : 2056 : TokenCollector::collect () const
43 : : {
44 : 2056 : return tokens;
45 : : }
46 : :
47 : : void
48 : 0 : TokenCollector::visit (AST::Crate &crate)
49 : : {
50 : 0 : visit_items_as_lines (crate.inner_attrs);
51 : 0 : visit_items_as_lines (crate.items);
52 : 0 : }
53 : :
54 : : void
55 : 2056 : TokenCollector::visit (AST::Item &item)
56 : : {
57 : 2056 : item.accept_vis (*this);
58 : 2056 : }
59 : :
60 : : void
61 : 169 : TokenCollector::trailing_comma ()
62 : : {
63 : 169 : if (output_trailing_commas)
64 : : {
65 : 0 : push (Rust::Token::make (COMMA, UNDEF_LOCATION));
66 : : }
67 : 169 : }
68 : :
69 : : void
70 : 11990 : TokenCollector::newline ()
71 : : {
72 : 11990 : tokens.push_back ({CollectItem::Kind::Newline});
73 : 11990 : }
74 : :
75 : : void
76 : 7777 : TokenCollector::indentation ()
77 : : {
78 : 7777 : tokens.push_back ({indent_level});
79 : 7777 : }
80 : :
81 : : void
82 : 2108 : TokenCollector::increment_indentation ()
83 : : {
84 : 2108 : indent_level++;
85 : 2108 : }
86 : :
87 : : void
88 : 2108 : TokenCollector::decrement_indentation ()
89 : : {
90 : 2108 : rust_assert (indent_level != 0);
91 : 2108 : indent_level--;
92 : 2108 : }
93 : :
94 : : void
95 : 675 : TokenCollector::comment (std::string comment)
96 : : {
97 : 675 : tokens.push_back ({comment});
98 : 675 : }
99 : :
100 : : void
101 : 0 : TokenCollector::visit (Visitable &v)
102 : : {
103 : 0 : v.accept_vis (*this);
104 : 0 : }
105 : :
106 : : void
107 : 366 : TokenCollector::visit (FunctionParam ¶m)
108 : : {
109 : 366 : visit_items_as_lines (param.get_outer_attrs ());
110 : 366 : if (!param.is_variadic ())
111 : : {
112 : 366 : visit (param.get_pattern ());
113 : 366 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
114 : 366 : visit (param.get_type ());
115 : : }
116 : : else
117 : : {
118 : 0 : if (param.has_name ())
119 : : {
120 : 0 : visit (param.get_pattern ());
121 : 0 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
122 : : }
123 : 0 : push (Rust::Token::make (ELLIPSIS, UNDEF_LOCATION));
124 : : }
125 : 366 : }
126 : :
127 : : void
128 : 0 : TokenCollector::visit (VariadicParam ¶m)
129 : : {
130 : 0 : if (param.has_pattern ())
131 : : {
132 : 0 : visit (param.get_pattern ());
133 : 0 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
134 : : }
135 : 0 : push (Rust::Token::make (ELLIPSIS, UNDEF_LOCATION));
136 : 0 : }
137 : :
138 : : void
139 : 1441 : TokenCollector::visit (Attribute &attrib)
140 : : {
141 : 1441 : push (Rust::Token::make (HASH, attrib.get_locus ()));
142 : 1441 : if (attrib.is_inner_attribute ())
143 : 0 : push (Rust::Token::make (EXCLAM, UNDEF_LOCATION));
144 : 1441 : push (Rust::Token::make (LEFT_SQUARE, UNDEF_LOCATION));
145 : 1441 : visit (attrib.get_path ());
146 : :
147 : 1441 : if (attrib.has_attr_input ())
148 : : {
149 : 1440 : switch (attrib.get_attr_input ().get_attr_input_type ())
150 : : {
151 : 1436 : case AST::AttrInput::AttrInputType::LITERAL: {
152 : 1436 : visit (static_cast<AttrInputLiteral &> (attrib.get_attr_input ()));
153 : 1436 : break;
154 : : }
155 : 0 : case AST::AttrInput::AttrInputType::MACRO: {
156 : 0 : visit (static_cast<AttrInputMacro &> (attrib.get_attr_input ()));
157 : 0 : break;
158 : : }
159 : 1 : case AST::AttrInput::AttrInputType::META_ITEM: {
160 : 1 : visit (static_cast<AttrInputMetaItemContainer &> (
161 : 1 : attrib.get_attr_input ()));
162 : 1 : break;
163 : : }
164 : 3 : case AST::AttrInput::AttrInputType::TOKEN_TREE: {
165 : 3 : visit (static_cast<DelimTokenTree &> (attrib.get_attr_input ()));
166 : 3 : break;
167 : : }
168 : 0 : default:
169 : 0 : rust_unreachable ();
170 : : }
171 : : }
172 : 1441 : push (Rust::Token::make (RIGHT_SQUARE, UNDEF_LOCATION));
173 : 1441 : }
174 : :
175 : : void
176 : 1441 : TokenCollector::visit (SimplePath &path)
177 : : {
178 : 1441 : if (path.has_opening_scope_resolution ())
179 : : {
180 : 0 : push (Rust::Token::make (SCOPE_RESOLUTION, path.get_locus ()));
181 : : }
182 : 1441 : visit_items_joined_by_separator (path.get_segments (), SCOPE_RESOLUTION);
183 : 1441 : }
184 : :
185 : : void
186 : 1441 : TokenCollector::visit (SimplePathSegment &segment)
187 : : {
188 : 1441 : auto name = segment.get_segment_name ();
189 : 1441 : if (segment.is_crate_path_seg ())
190 : : {
191 : 0 : push (Rust::Token::make (CRATE, segment.get_locus ()));
192 : : }
193 : 1441 : else if (segment.is_super_path_seg ())
194 : : {
195 : 0 : push (Rust::Token::make (SUPER, segment.get_locus ()));
196 : : }
197 : 1441 : else if (segment.is_lower_self_seg ())
198 : : {
199 : 0 : push (Rust::Token::make (SELF, segment.get_locus ()));
200 : : }
201 : 1441 : else if (segment.is_big_self ())
202 : : {
203 : 0 : push (Rust::Token::make (SELF_ALIAS, segment.get_locus ()));
204 : : }
205 : : else
206 : : {
207 : 1441 : push (
208 : 2882 : Rust::Token::make_identifier (segment.get_locus (), std::move (name)));
209 : : }
210 : 1441 : }
211 : :
212 : : void
213 : 2697 : TokenCollector::visit (Visibility &vis)
214 : : {
215 : 2697 : switch (vis.get_vis_type ())
216 : : {
217 : 2055 : case Visibility::PUB:
218 : 2055 : push (Rust::Token::make (PUB, vis.get_locus ()));
219 : 2055 : break;
220 : 0 : case Visibility::PUB_CRATE:
221 : 0 : push (Rust::Token::make (PUB, vis.get_locus ()));
222 : 0 : push (Rust::Token::make (LEFT_PAREN, UNDEF_LOCATION));
223 : 0 : push (Rust::Token::make (CRATE, UNDEF_LOCATION));
224 : 0 : push (Rust::Token::make (RIGHT_PAREN, UNDEF_LOCATION));
225 : 0 : break;
226 : 0 : case Visibility::PUB_SELF:
227 : 0 : push (Rust::Token::make (PUB, vis.get_locus ()));
228 : 0 : push (Rust::Token::make (LEFT_PAREN, UNDEF_LOCATION));
229 : 0 : push (Rust::Token::make (SELF, UNDEF_LOCATION));
230 : 0 : push (Rust::Token::make (RIGHT_PAREN, UNDEF_LOCATION));
231 : 0 : break;
232 : 0 : case Visibility::PUB_SUPER:
233 : 0 : push (Rust::Token::make (PUB, vis.get_locus ()));
234 : 0 : push (Rust::Token::make (LEFT_PAREN, UNDEF_LOCATION));
235 : 0 : push (Rust::Token::make (SUPER, UNDEF_LOCATION));
236 : 0 : push (Rust::Token::make (RIGHT_PAREN, UNDEF_LOCATION));
237 : 0 : break;
238 : 0 : case Visibility::PUB_IN_PATH:
239 : 0 : push (Rust::Token::make (PUB, vis.get_locus ()));
240 : 0 : push (Rust::Token::make (LEFT_PAREN, UNDEF_LOCATION));
241 : 0 : push (Rust::Token::make (IN, UNDEF_LOCATION));
242 : 0 : visit (vis.get_path ());
243 : 0 : push (Rust::Token::make (RIGHT_PAREN, UNDEF_LOCATION));
244 : 0 : break;
245 : : case Visibility::PRIV:
246 : : break;
247 : : }
248 : 2697 : }
249 : :
250 : : void
251 : 0 : TokenCollector::visit (NamedFunctionParam ¶m)
252 : : {
253 : 0 : auto name = param.get_name ();
254 : 0 : if (!param.is_variadic ())
255 : : {
256 : 0 : push (
257 : 0 : Rust::Token::make_identifier (param.get_locus (), std::move (name)));
258 : 0 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
259 : 0 : visit (param.get_type ());
260 : : }
261 : : else
262 : : {
263 : 0 : if (name != "")
264 : : {
265 : 0 : push (Rust::Token::make_identifier (param.get_locus (),
266 : : std::move (name)));
267 : 0 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
268 : : }
269 : 0 : push (Rust::Token::make (ELLIPSIS, UNDEF_LOCATION));
270 : : }
271 : 0 : }
272 : :
273 : : void
274 : 1592 : TokenCollector::visit (std::vector<std::unique_ptr<GenericParam>> ¶ms)
275 : : {
276 : 1592 : push (Rust::Token::make (LEFT_ANGLE, UNDEF_LOCATION));
277 : 1592 : visit_items_joined_by_separator (params, COMMA);
278 : 1592 : push (Rust::Token::make (RIGHT_ANGLE, UNDEF_LOCATION));
279 : 1592 : }
280 : :
281 : : void
282 : 98 : TokenCollector::visit (TupleField &field)
283 : : {
284 : 98 : for (auto attr : field.get_outer_attrs ())
285 : : {
286 : 0 : visit (attr);
287 : 0 : }
288 : 98 : visit (field.get_visibility ());
289 : 98 : visit (field.get_field_type ());
290 : 98 : }
291 : :
292 : : void
293 : 14 : TokenCollector::visit (StructField &field)
294 : : {
295 : 14 : for (auto attr : field.get_outer_attrs ())
296 : : {
297 : 0 : visit (attr);
298 : 0 : }
299 : 14 : visit (field.get_visibility ());
300 : 14 : auto name = field.get_field_name ().as_string ();
301 : 14 : push (Rust::Token::make_identifier (field.get_locus (), std::move (name)));
302 : 14 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
303 : 14 : visit (field.get_field_type ());
304 : 14 : }
305 : :
306 : : void
307 : 0 : TokenCollector::visit (std::vector<LifetimeParam> &for_lifetimes)
308 : : {
309 : 0 : push (Rust::Token::make (FOR, UNDEF_LOCATION));
310 : 0 : push (Rust::Token::make (LEFT_ANGLE, UNDEF_LOCATION));
311 : 0 : visit_items_joined_by_separator (for_lifetimes, COMMA);
312 : 0 : push (Rust::Token::make (RIGHT_ANGLE, UNDEF_LOCATION));
313 : 0 : }
314 : :
315 : : void
316 : 1049 : TokenCollector::visit (FunctionQualifiers &qualifiers)
317 : : {
318 : : // Syntax:
319 : : // `const`? `async`? `unsafe`? (`extern` Abi?)?
320 : : // unsafe? (extern Abi?)?
321 : :
322 : 1049 : if (qualifiers.is_async ())
323 : 2 : push (Rust::Token::make (ASYNC, qualifiers.get_locus ()));
324 : 1049 : if (qualifiers.is_const ())
325 : 2 : push (Rust::Token::make (CONST, qualifiers.get_locus ()));
326 : 1049 : if (qualifiers.is_unsafe ())
327 : 86 : push (Rust::Token::make (UNSAFE, qualifiers.get_locus ()));
328 : 1049 : if (qualifiers.is_extern ())
329 : : {
330 : 48 : push (Rust::Token::make (EXTERN_KW, qualifiers.get_locus ()));
331 : 48 : if (qualifiers.has_abi ())
332 : : {
333 : 144 : push (Rust::Token::make_string (UNDEF_LOCATION,
334 : 96 : qualifiers.get_extern_abi ()));
335 : : }
336 : : }
337 : 1049 : }
338 : :
339 : : void
340 : 0 : TokenCollector::visit (MaybeNamedParam ¶m)
341 : : {
342 : : // Syntax:
343 : : // OuterAttribute* ( ( IDENTIFIER | _ ) : )? Type
344 : :
345 : 0 : for (auto attr : param.get_outer_attrs ())
346 : : {
347 : 0 : visit (attr);
348 : 0 : }
349 : 0 : auto param_name = param.get_name ().as_string ();
350 : 0 : switch (param.get_param_kind ())
351 : : {
352 : : case MaybeNamedParam::UNNAMED:
353 : : break;
354 : 0 : case MaybeNamedParam::IDENTIFIER:
355 : 0 : push (
356 : 0 : Rust::Token::make_identifier (UNDEF_LOCATION, std::move (param_name)));
357 : 0 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
358 : 0 : break;
359 : 0 : case MaybeNamedParam::WILDCARD:
360 : 0 : push (Rust::Token::make (UNDERSCORE, UNDEF_LOCATION));
361 : 0 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
362 : 0 : break;
363 : : }
364 : 0 : visit (param.get_type ());
365 : 0 : }
366 : :
367 : : void
368 : 31 : TokenCollector::visit (Token &tok)
369 : : {
370 : 74 : std::string data = tok.get_tok_ptr ()->has_str () ? tok.get_str () : "";
371 : 31 : switch (tok.get_id ())
372 : : {
373 : 7 : case IDENTIFIER:
374 : 7 : push (Rust::Token::make_identifier (tok.get_locus (), std::move (data)));
375 : 7 : break;
376 : 1 : case INT_LITERAL:
377 : 1 : push (Rust::Token::make_int (tok.get_locus (), std::move (data),
378 : : tok.get_type_hint ()));
379 : 1 : break;
380 : 0 : case FLOAT_LITERAL:
381 : 0 : push (Rust::Token::make_float (tok.get_locus (), std::move (data),
382 : : tok.get_type_hint ()));
383 : 0 : break;
384 : 4 : case STRING_LITERAL:
385 : 4 : push (Rust::Token::make_string (tok.get_locus (), std::move (data)));
386 : 4 : break;
387 : 0 : case CHAR_LITERAL:
388 : 0 : push (Rust::Token::make_char (
389 : : tok.get_locus (),
390 : : // FIXME: This need to be fixed to properly support UTF-8
391 : 0 : static_cast<uint32_t> (data[0])));
392 : 0 : break;
393 : 0 : case BYTE_CHAR_LITERAL:
394 : 0 : push (Rust::Token::make_byte_char (tok.get_locus (), data[0]));
395 : 0 : break;
396 : 0 : case BYTE_STRING_LITERAL:
397 : 0 : push (Rust::Token::make_byte_string (tok.get_locus (), std::move (data)));
398 : 0 : break;
399 : 0 : case INNER_DOC_COMMENT:
400 : 0 : push (Rust::Token::make_inner_doc_comment (tok.get_locus (),
401 : : std::move (data)));
402 : 0 : break;
403 : 0 : case OUTER_DOC_COMMENT:
404 : 0 : push (Rust::Token::make_outer_doc_comment (tok.get_locus (),
405 : : std::move (data)));
406 : 0 : break;
407 : 0 : case LIFETIME:
408 : 0 : push (Rust::Token::make_lifetime (tok.get_locus (), std::move (data)));
409 : 0 : break;
410 : 19 : default:
411 : 38 : push (Rust::Token::make (tok.get_id (), tok.get_locus ()));
412 : : }
413 : 31 : }
414 : :
415 : : void
416 : 5 : TokenCollector::visit (DelimTokenTree &delim_tok_tree)
417 : : {
418 : 35 : for (auto &token : delim_tok_tree.to_token_stream ())
419 : : {
420 : 30 : visit (token);
421 : 5 : }
422 : 5 : }
423 : :
424 : : void
425 : 1 : TokenCollector::visit (AttrInputMetaItemContainer &container)
426 : : {
427 : 2 : for (auto &item : container.get_items ())
428 : : {
429 : 1 : visit (item);
430 : : }
431 : 1 : }
432 : :
433 : : void
434 : 1422 : TokenCollector::visit (IdentifierExpr &ident_expr)
435 : : {
436 : 1422 : auto ident = ident_expr.get_ident ().as_string ();
437 : 1422 : push (
438 : 2844 : Rust::Token::make_identifier (ident_expr.get_locus (), std::move (ident)));
439 : 1422 : }
440 : :
441 : : void
442 : 631 : TokenCollector::visit (Lifetime &lifetime)
443 : : {
444 : : // Syntax:
445 : : // Lifetime :
446 : : // LIFETIME_OR_LABEL
447 : : // | 'static
448 : : // | '_
449 : :
450 : 631 : auto name = lifetime.get_lifetime_name ();
451 : 631 : switch (lifetime.get_lifetime_type ())
452 : : {
453 : 29 : case Lifetime::LifetimeType::NAMED:
454 : 29 : push (
455 : 29 : Rust::Token::make_lifetime (lifetime.get_locus (), std::move (name)));
456 : 29 : break;
457 : 1 : case Lifetime::LifetimeType::STATIC:
458 : 2 : push (Rust::Token::make_lifetime (lifetime.get_locus (),
459 : : Values::Keywords::STATIC_KW));
460 : 1 : break;
461 : 601 : case Lifetime::LifetimeType::WILDCARD:
462 : 1202 : push (Rust::Token::make_lifetime (lifetime.get_locus (),
463 : : Values::Keywords::UNDERSCORE));
464 : 601 : break;
465 : : }
466 : 631 : }
467 : :
468 : : void
469 : 19 : TokenCollector::visit (LifetimeParam &lifetime_param)
470 : : {
471 : : // Syntax:
472 : : // LIFETIME_OR_LABEL ( : LifetimeBounds )?
473 : : // LifetimeBounds :
474 : : // ( Lifetime + )* Lifetime?
475 : :
476 : : // TODO what to do with outer attr? They are not mentioned in the reference.
477 : :
478 : 19 : auto lifetime = lifetime_param.get_lifetime ();
479 : 19 : visit (lifetime);
480 : :
481 : 19 : if (lifetime_param.has_lifetime_bounds ())
482 : : {
483 : 0 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
484 : 0 : for (auto &bound : lifetime_param.get_lifetime_bounds ())
485 : : {
486 : 0 : visit (bound);
487 : : }
488 : : }
489 : 19 : }
490 : :
491 : : void
492 : 0 : TokenCollector::visit (ConstGenericParam ¶m)
493 : : {
494 : : // Syntax:
495 : : // const IDENTIFIER : Type ( = Block | IDENTIFIER | -?LITERAL )?
496 : :
497 : 0 : push (Rust::Token::make (CONST, param.get_locus ()));
498 : 0 : auto id = param.get_name ().as_string ();
499 : 0 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (id)));
500 : 0 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
501 : 0 : if (param.has_type ())
502 : 0 : visit (param.get_type ());
503 : 0 : if (param.has_default_value ())
504 : : {
505 : 0 : push (Rust::Token::make (EQUAL, UNDEF_LOCATION));
506 : 0 : visit (param.get_default_value ());
507 : : }
508 : 0 : }
509 : :
510 : : void
511 : 1076 : TokenCollector::visit (PathExprSegment &segment)
512 : : {
513 : 1076 : visit (segment.get_ident_segment ());
514 : 1076 : if (segment.has_generic_args ())
515 : : {
516 : 56 : auto generics = segment.get_generic_args ();
517 : 56 : push (Rust::Token::make (SCOPE_RESOLUTION, segment.get_locus ()));
518 : 56 : push (Rust::Token::make (LEFT_ANGLE, generics.get_locus ()));
519 : :
520 : 56 : auto &lifetime_args = generics.get_lifetime_args ();
521 : 56 : auto &generic_args = generics.get_generic_args ();
522 : 56 : auto &binding_args = generics.get_binding_args ();
523 : :
524 : 56 : visit_items_joined_by_separator (generic_args, COMMA);
525 : :
526 : 56 : if (!lifetime_args.empty ()
527 : 56 : && (!generic_args.empty () || !binding_args.empty ()))
528 : : {
529 : 0 : push (Rust::Token::make (COMMA, UNDEF_LOCATION));
530 : : }
531 : :
532 : 56 : visit_items_joined_by_separator (binding_args, COMMA);
533 : :
534 : 56 : if (!generic_args.empty () && !binding_args.empty ())
535 : : {
536 : 0 : push (Rust::Token::make (COMMA, UNDEF_LOCATION));
537 : : }
538 : :
539 : 56 : visit_items_joined_by_separator (lifetime_args, COMMA);
540 : :
541 : 56 : push (Rust::Token::make (RIGHT_ANGLE, UNDEF_LOCATION));
542 : 56 : }
543 : 1076 : }
544 : :
545 : : void
546 : 860 : TokenCollector::visit (PathInExpression &path)
547 : : {
548 : 860 : if (path.opening_scope_resolution ())
549 : : {
550 : 0 : push (Rust::Token::make (SCOPE_RESOLUTION, path.get_locus ()));
551 : : }
552 : :
553 : 860 : visit_items_joined_by_separator (path.get_segments (), SCOPE_RESOLUTION);
554 : 860 : }
555 : :
556 : : void
557 : 2175 : TokenCollector::visit (TypePathSegment &segment)
558 : : {
559 : : // Syntax:
560 : : // PathIdentSegment
561 : 2175 : auto ident_segment = segment.get_ident_segment ();
562 : 2175 : auto id = ident_segment.as_string ();
563 : 2175 : push (
564 : 4350 : Rust::Token::make_identifier (ident_segment.get_locus (), std::move (id)));
565 : 2175 : }
566 : :
567 : : void
568 : 172 : TokenCollector::visit (TypePathSegmentGeneric &segment)
569 : : {
570 : : // Syntax:
571 : : // PathIdentSegment `::`? (GenericArgs)?
572 : : // GenericArgs :
573 : : // `<` `>`
574 : : // | `<` ( GenericArg `,` )* GenericArg `,`? `>`
575 : :
576 : 172 : auto ident_segment = segment.get_ident_segment ();
577 : 172 : auto id = ident_segment.as_string ();
578 : 172 : push (
579 : 172 : Rust::Token::make_identifier (ident_segment.get_locus (), std::move (id)));
580 : :
581 : 172 : if (segment.get_separating_scope_resolution ())
582 : 0 : push (Rust::Token::make (SCOPE_RESOLUTION, UNDEF_LOCATION));
583 : :
584 : 172 : push (Rust::Token::make (LEFT_ANGLE, UNDEF_LOCATION));
585 : :
586 : 172 : {
587 : 172 : auto &lifetime_args = segment.get_generic_args ().get_lifetime_args ();
588 : 172 : auto &generic_args = segment.get_generic_args ().get_generic_args ();
589 : 172 : auto &binding_args = segment.get_generic_args ().get_binding_args ();
590 : :
591 : 172 : visit_items_joined_by_separator (lifetime_args, COMMA);
592 : 172 : if (!lifetime_args.empty ()
593 : 172 : && (!generic_args.empty () || !binding_args.empty ()))
594 : 2 : push (Rust::Token::make (COMMA, UNDEF_LOCATION));
595 : 172 : visit_items_joined_by_separator (generic_args, COMMA);
596 : 172 : if (!generic_args.empty () && !binding_args.empty ())
597 : 0 : push (Rust::Token::make (COMMA, UNDEF_LOCATION));
598 : 172 : visit_items_joined_by_separator (binding_args, COMMA);
599 : : }
600 : :
601 : 344 : push (Rust::Token::make (RIGHT_ANGLE, UNDEF_LOCATION));
602 : 172 : }
603 : :
604 : : void
605 : 14 : TokenCollector::visit (GenericArgsBinding &binding)
606 : : {
607 : : // Syntax:
608 : : // IDENTIFIER `=` Type
609 : 14 : auto identifier = binding.get_identifier ().as_string ();
610 : 14 : push (Rust::Token::make_identifier (binding.get_locus (),
611 : : std::move (identifier)));
612 : :
613 : 14 : push (Rust::Token::make (EQUAL, UNDEF_LOCATION));
614 : 14 : visit (binding.get_type ());
615 : 14 : }
616 : :
617 : : void
618 : 231 : TokenCollector::visit (GenericArg &arg)
619 : : {
620 : : // `GenericArg` implements `accept_vis` but it is not useful for this case as
621 : : // it ignores unresolved cases (`Kind::Either`).
622 : 231 : switch (arg.get_kind ())
623 : : {
624 : 0 : case GenericArg::Kind::Const:
625 : 0 : visit (arg.get_expression ());
626 : 0 : break;
627 : 231 : case GenericArg::Kind::Type:
628 : 231 : visit (arg.get_type ());
629 : 231 : break;
630 : 0 : case GenericArg::Kind::Either: {
631 : 0 : auto path = arg.get_path ();
632 : 0 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (path)));
633 : 0 : }
634 : 0 : break;
635 : 0 : case GenericArg::Kind::Error:
636 : 0 : rust_unreachable ();
637 : : }
638 : 231 : }
639 : :
640 : : void
641 : 2 : TokenCollector::visit (TypePathSegmentFunction &segment)
642 : : {
643 : : // Syntax:
644 : : // PathIdentSegment `::`? (TypePathFn)?
645 : :
646 : 2 : auto ident_segment = segment.get_ident_segment ();
647 : 2 : auto id = ident_segment.as_string ();
648 : 2 : push (
649 : 2 : Rust::Token::make_identifier (ident_segment.get_locus (), std::move (id)));
650 : :
651 : 2 : if (segment.get_separating_scope_resolution ())
652 : 0 : push (Rust::Token::make (SCOPE_RESOLUTION, UNDEF_LOCATION));
653 : :
654 : 2 : if (!segment.is_ident_only ())
655 : 2 : visit (segment.get_type_path_function ());
656 : 2 : }
657 : :
658 : : void
659 : 2 : TokenCollector::visit (TypePathFunction &type_path_fn)
660 : : {
661 : : // Syntax:
662 : : // `(` TypePathFnInputs? `)` (`->` Type)?
663 : : // TypePathFnInputs :
664 : : // Type (`,` Type)* `,`?
665 : :
666 : 2 : push (Rust::Token::make (LEFT_PAREN, type_path_fn.get_locus ()));
667 : 2 : if (type_path_fn.has_inputs ())
668 : 2 : visit_items_joined_by_separator (type_path_fn.get_params (), COMMA);
669 : 2 : push (Rust::Token::make (RIGHT_PAREN, UNDEF_LOCATION));
670 : :
671 : 2 : if (type_path_fn.has_return_type ())
672 : : {
673 : 2 : push (Rust::Token::make (RETURN_TYPE, UNDEF_LOCATION));
674 : 2 : visit (type_path_fn.get_return_type ());
675 : : }
676 : 2 : }
677 : :
678 : : void
679 : 1927 : TokenCollector::visit (TypePath &path)
680 : : {
681 : : // Syntax:
682 : : // `::`? TypePathSegment (`::` TypePathSegment)*
683 : :
684 : 1927 : if (path.has_opening_scope_resolution_op ())
685 : 0 : push (Rust::Token::make (SCOPE_RESOLUTION, path.get_locus ()));
686 : :
687 : 1927 : visit_items_joined_by_separator (path.get_segments (), SCOPE_RESOLUTION);
688 : 1927 : }
689 : :
690 : : void
691 : 1076 : TokenCollector::visit (PathIdentSegment &segment)
692 : : {
693 : 1076 : if (segment.is_super_segment ())
694 : : {
695 : 0 : push (Rust::Token::make (SUPER, segment.get_locus ()));
696 : : }
697 : 1076 : else if (segment.is_crate_segment ())
698 : : {
699 : 0 : push (Rust::Token::make (CRATE, segment.get_locus ()));
700 : : }
701 : 1076 : else if (segment.is_lower_self ())
702 : : {
703 : 88 : push (Rust::Token::make (SELF, segment.get_locus ()));
704 : : }
705 : 1032 : else if (segment.is_big_self ())
706 : : {
707 : 0 : push (Rust::Token::make (SELF_ALIAS, segment.get_locus ()));
708 : : }
709 : : else
710 : : {
711 : 1032 : auto id = segment.as_string ();
712 : 1032 : push (
713 : 2064 : Rust::Token::make_identifier (segment.get_locus (), std::move (id)));
714 : 1032 : }
715 : 1076 : }
716 : :
717 : : void
718 : 23 : TokenCollector::visit (QualifiedPathInExpression &path)
719 : : {
720 : 23 : visit (path.get_qualified_path_type ());
721 : 46 : for (auto &segment : path.get_segments ())
722 : : {
723 : 23 : push (Rust::Token::make (SCOPE_RESOLUTION, UNDEF_LOCATION));
724 : 23 : visit (segment);
725 : : }
726 : 23 : }
727 : :
728 : : void
729 : 57 : TokenCollector::visit (QualifiedPathType &path)
730 : : {
731 : 57 : push (Rust::Token::make (LEFT_ANGLE, path.get_locus ()));
732 : 57 : visit (path.get_type ());
733 : 57 : if (path.has_as_clause ())
734 : : {
735 : 49 : push (Rust::Token::make (AS, UNDEF_LOCATION));
736 : 49 : visit (path.get_as_type_path ());
737 : : }
738 : 57 : push (Rust::Token::make (RIGHT_ANGLE, UNDEF_LOCATION));
739 : 57 : }
740 : :
741 : : void
742 : 34 : TokenCollector::visit (QualifiedPathInType &path)
743 : : {
744 : 34 : visit (path.get_qualified_path_type ());
745 : :
746 : 34 : push (Rust::Token::make (SCOPE_RESOLUTION, UNDEF_LOCATION));
747 : 34 : visit (path.get_associated_segment ());
748 : 34 : for (auto &segment : path.get_segments ())
749 : : {
750 : 0 : push (Rust::Token::make (SCOPE_RESOLUTION, UNDEF_LOCATION));
751 : 0 : visit (segment);
752 : : }
753 : 34 : }
754 : :
755 : : void
756 : 2855 : TokenCollector::visit (Literal &lit, location_t locus)
757 : : {
758 : 2855 : auto value = lit.as_string ();
759 : 2855 : switch (lit.get_lit_type ())
760 : : {
761 : 49 : case Literal::LitType::CHAR:
762 : 49 : push (
763 : 49 : Rust::Token::make_char (locus,
764 : : // TODO: Change this to support utf-8 properly
765 : 49 : Codepoint (static_cast<uint32_t> (value[0]))));
766 : 49 : break;
767 : 1489 : case Literal::LitType::STRING:
768 : 1489 : push (Rust::Token::make_string (locus, std::move (value)));
769 : 1489 : break;
770 : 28 : case Literal::LitType::BYTE:
771 : 28 : push (Rust::Token::make_byte_char (locus, value[0]));
772 : 28 : break;
773 : 14 : case Literal::LitType::BYTE_STRING:
774 : 14 : push (Rust::Token::make_byte_string (locus, std::move (value)));
775 : 14 : break;
776 : 1131 : case Literal::LitType::INT:
777 : 1131 : push (
778 : 1131 : Rust::Token::make_int (locus, std::move (value), lit.get_type_hint ()));
779 : 1131 : break;
780 : 14 : case Literal::LitType::FLOAT:
781 : 14 : push (Rust::Token::make_float (locus, std::move (value),
782 : : lit.get_type_hint ()));
783 : 14 : break;
784 : 130 : case Literal::LitType::BOOL: {
785 : 130 : if (value == Values::Keywords::FALSE_LITERAL)
786 : 118 : push (Rust::Token::make (FALSE_LITERAL, locus));
787 : 71 : else if (value == Values::Keywords::TRUE_LITERAL)
788 : 142 : push (Rust::Token::make (TRUE_LITERAL, locus));
789 : : else
790 : 0 : rust_unreachable (); // Not a boolean
791 : : break;
792 : : }
793 : 0 : case Literal::LitType::ERROR:
794 : 0 : rust_unreachable ();
795 : 2855 : break;
796 : : }
797 : 2855 : }
798 : :
799 : : void
800 : 2835 : TokenCollector::visit (LiteralExpr &expr)
801 : : {
802 : 2835 : auto lit = expr.get_literal ();
803 : 2835 : visit (lit, expr.get_locus ());
804 : 2835 : }
805 : :
806 : : void
807 : 1436 : TokenCollector::visit (AttrInputLiteral &literal)
808 : : {
809 : 1436 : push (Rust::Token::make (EQUAL, UNDEF_LOCATION));
810 : 1436 : visit (literal.get_literal ());
811 : 1436 : }
812 : :
813 : : void
814 : 0 : TokenCollector::visit (AttrInputMacro ¯o)
815 : : {
816 : 0 : push (Rust::Token::make (EQUAL, UNDEF_LOCATION));
817 : 0 : visit (macro.get_macro ());
818 : 0 : }
819 : :
820 : : void
821 : 0 : TokenCollector::visit (MetaItemLitExpr &item)
822 : : {
823 : 0 : auto lit = item.get_literal ();
824 : 0 : visit (lit);
825 : 0 : }
826 : :
827 : : void
828 : 0 : TokenCollector::visit (MetaItemPathLit &item)
829 : : {
830 : 0 : auto path = item.get_path ();
831 : 0 : auto lit = item.get_literal ();
832 : 0 : visit (path);
833 : 0 : push (Rust::Token::make (COLON, item.get_locus ()));
834 : 0 : visit (lit);
835 : 0 : }
836 : :
837 : : void
838 : 150 : TokenCollector::visit (BorrowExpr &expr)
839 : : {
840 : 150 : push (Rust::Token::make (AMP, expr.get_locus ()));
841 : 150 : if (expr.get_is_double_borrow ())
842 : 32 : push (Rust::Token::make (AMP, UNDEF_LOCATION));
843 : 150 : if (expr.get_is_mut ())
844 : 98 : push (Rust::Token::make (MUT, UNDEF_LOCATION));
845 : :
846 : 150 : visit (expr.get_borrowed_expr ());
847 : 150 : }
848 : :
849 : : void
850 : 65 : TokenCollector::visit (DereferenceExpr &expr)
851 : : {
852 : 65 : push (Rust::Token::make (ASTERISK, expr.get_locus ()));
853 : 65 : visit (expr.get_dereferenced_expr ());
854 : 65 : }
855 : :
856 : : void
857 : 0 : TokenCollector::visit (ErrorPropagationExpr &expr)
858 : : {
859 : 0 : visit (expr.get_propagating_expr ());
860 : 0 : push (Rust::Token::make (QUESTION_MARK, expr.get_locus ()));
861 : 0 : }
862 : :
863 : : void
864 : 143 : TokenCollector::visit (NegationExpr &expr)
865 : : {
866 : 143 : switch (expr.get_expr_type ())
867 : : {
868 : 101 : case NegationOperator::NEGATE:
869 : 101 : push (Rust::Token::make (MINUS, expr.get_locus ()));
870 : 101 : break;
871 : 42 : case NegationOperator::NOT:
872 : 42 : push (Rust::Token::make (EXCLAM, expr.get_locus ()));
873 : 42 : break;
874 : : }
875 : 143 : visit (expr.get_negated_expr ());
876 : 143 : }
877 : :
878 : : void
879 : 293 : TokenCollector::visit (ArithmeticOrLogicalExpr &expr)
880 : : {
881 : 293 : visit (expr.get_left_expr ());
882 : 293 : switch (expr.get_expr_type ())
883 : : {
884 : 186 : case ArithmeticOrLogicalOperator::ADD:
885 : 186 : push (Rust::Token::make (PLUS, expr.get_locus ()));
886 : 186 : break;
887 : :
888 : 70 : case ArithmeticOrLogicalOperator::SUBTRACT:
889 : 70 : push (Rust::Token::make (MINUS, expr.get_locus ()));
890 : 70 : break;
891 : :
892 : 22 : case ArithmeticOrLogicalOperator::MULTIPLY:
893 : 22 : push (Rust::Token::make (ASTERISK, expr.get_locus ()));
894 : 22 : break;
895 : :
896 : 8 : case ArithmeticOrLogicalOperator::DIVIDE:
897 : 8 : push (Rust::Token::make (DIV, expr.get_locus ()));
898 : 8 : break;
899 : :
900 : 7 : case ArithmeticOrLogicalOperator::MODULUS:
901 : 7 : push (Rust::Token::make (PERCENT, expr.get_locus ()));
902 : 7 : break;
903 : :
904 : 0 : case ArithmeticOrLogicalOperator::BITWISE_AND:
905 : 0 : push (Rust::Token::make (AMP, expr.get_locus ()));
906 : 0 : break;
907 : :
908 : 0 : case ArithmeticOrLogicalOperator::BITWISE_OR:
909 : 0 : push (Rust::Token::make (PIPE, expr.get_locus ()));
910 : 0 : break;
911 : :
912 : 0 : case ArithmeticOrLogicalOperator::BITWISE_XOR:
913 : 0 : push (Rust::Token::make (CARET, expr.get_locus ()));
914 : 0 : break;
915 : :
916 : 0 : case ArithmeticOrLogicalOperator::LEFT_SHIFT:
917 : 0 : push (Rust::Token::make (LEFT_SHIFT, expr.get_locus ()));
918 : 0 : break;
919 : :
920 : 0 : case ArithmeticOrLogicalOperator::RIGHT_SHIFT:
921 : 0 : push (Rust::Token::make (RIGHT_SHIFT, expr.get_locus ()));
922 : 0 : break;
923 : : }
924 : :
925 : 293 : visit (expr.get_right_expr ());
926 : 293 : }
927 : :
928 : : void
929 : 191 : TokenCollector::visit (ComparisonExpr &expr)
930 : : {
931 : 191 : visit (expr.get_left_expr ());
932 : :
933 : 191 : switch (expr.get_expr_type ())
934 : : {
935 : 15 : case ComparisonOperator::EQUAL:
936 : 15 : push (Rust::Token::make (EQUAL_EQUAL, expr.get_locus ()));
937 : 15 : break;
938 : 98 : case ComparisonOperator::NOT_EQUAL:
939 : 98 : push (Rust::Token::make (NOT_EQUAL, expr.get_locus ()));
940 : 98 : break;
941 : 43 : case ComparisonOperator::GREATER_THAN:
942 : 43 : push (Rust::Token::make (RIGHT_ANGLE, expr.get_locus ()));
943 : 43 : break;
944 : 0 : case ComparisonOperator::LESS_THAN:
945 : 0 : push (Rust::Token::make (LEFT_ANGLE, expr.get_locus ()));
946 : 0 : break;
947 : 0 : case ComparisonOperator::GREATER_OR_EQUAL:
948 : 0 : push (Rust::Token::make (GREATER_OR_EQUAL, expr.get_locus ()));
949 : 0 : break;
950 : :
951 : 35 : case ComparisonOperator::LESS_OR_EQUAL:
952 : 35 : push (Rust::Token::make (LESS_OR_EQUAL, expr.get_locus ()));
953 : 35 : break;
954 : : }
955 : 191 : visit (expr.get_right_expr ());
956 : 191 : }
957 : :
958 : : void
959 : 35 : TokenCollector::visit (LazyBooleanExpr &expr)
960 : : {
961 : 35 : visit (expr.get_left_expr ());
962 : :
963 : 35 : switch (expr.get_expr_type ())
964 : : {
965 : 7 : case LazyBooleanOperator::LOGICAL_AND:
966 : 7 : push (Rust::Token::make (LOGICAL_AND, expr.get_locus ()));
967 : 7 : break;
968 : 28 : case LazyBooleanOperator::LOGICAL_OR:
969 : 28 : push (Rust::Token::make (OR, expr.get_locus ()));
970 : 28 : break;
971 : : }
972 : :
973 : 35 : visit (expr.get_right_expr ());
974 : 35 : }
975 : :
976 : : void
977 : 152 : TokenCollector::visit (TypeCastExpr &expr)
978 : : {
979 : 152 : visit (expr.get_casted_expr ());
980 : 152 : push (Rust::Token::make (AS, expr.get_locus ()));
981 : 152 : visit (expr.get_type_to_cast_to ());
982 : 152 : }
983 : :
984 : : void
985 : 170 : TokenCollector::visit (AssignmentExpr &expr)
986 : : {
987 : 170 : expr.visit_lhs (*this);
988 : 170 : push (Rust::Token::make (EQUAL, expr.get_locus ()));
989 : 170 : expr.visit_rhs (*this);
990 : 170 : }
991 : :
992 : : void
993 : 0 : TokenCollector::visit (CompoundAssignmentExpr &expr)
994 : : {
995 : 0 : visit (expr.get_left_expr ());
996 : :
997 : 0 : switch (expr.get_expr_type ())
998 : : {
999 : 0 : case CompoundAssignmentOperator::ADD:
1000 : 0 : push (Rust::Token::make (PLUS_EQ, expr.get_locus ()));
1001 : 0 : break;
1002 : 0 : case CompoundAssignmentOperator::SUBTRACT:
1003 : 0 : push (Rust::Token::make (MINUS_EQ, expr.get_locus ()));
1004 : 0 : break;
1005 : 0 : case CompoundAssignmentOperator::MULTIPLY:
1006 : 0 : push (Rust::Token::make (ASTERISK_EQ, expr.get_locus ()));
1007 : 0 : break;
1008 : 0 : case CompoundAssignmentOperator::DIVIDE:
1009 : 0 : push (Rust::Token::make (DIV_EQ, expr.get_locus ()));
1010 : 0 : break;
1011 : 0 : case CompoundAssignmentOperator::MODULUS:
1012 : 0 : push (Rust::Token::make (PERCENT_EQ, expr.get_locus ()));
1013 : 0 : break;
1014 : 0 : case CompoundAssignmentOperator::BITWISE_AND:
1015 : 0 : push (Rust::Token::make (AMP_EQ, expr.get_locus ()));
1016 : 0 : break;
1017 : 0 : case CompoundAssignmentOperator::BITWISE_OR:
1018 : 0 : push (Rust::Token::make (PIPE_EQ, expr.get_locus ()));
1019 : 0 : break;
1020 : 0 : case CompoundAssignmentOperator::BITWISE_XOR:
1021 : 0 : push (Rust::Token::make (CARET_EQ, expr.get_locus ()));
1022 : 0 : break;
1023 : 0 : case CompoundAssignmentOperator::LEFT_SHIFT:
1024 : 0 : push (Rust::Token::make (LEFT_SHIFT_EQ, expr.get_locus ()));
1025 : 0 : break;
1026 : 0 : case CompoundAssignmentOperator::RIGHT_SHIFT:
1027 : 0 : push (Rust::Token::make (RIGHT_SHIFT_EQ, expr.get_locus ()));
1028 : 0 : break;
1029 : : }
1030 : 0 : visit (expr.get_right_expr ());
1031 : 0 : }
1032 : :
1033 : : void
1034 : 29 : TokenCollector::visit (GroupedExpr &expr)
1035 : : {
1036 : 29 : push (Rust::Token::make (LEFT_PAREN, expr.get_locus ()));
1037 : 29 : visit (expr.get_expr_in_parens ());
1038 : 29 : push (Rust::Token::make (RIGHT_PAREN, expr.get_locus ()));
1039 : 29 : }
1040 : :
1041 : : void
1042 : 4 : TokenCollector::visit (ArrayElemsValues &elems)
1043 : : {
1044 : 4 : visit_items_joined_by_separator (elems.get_values (), COMMA);
1045 : 4 : }
1046 : :
1047 : : void
1048 : 0 : TokenCollector::visit (ArrayElemsCopied &elems)
1049 : : {
1050 : 0 : visit (elems.get_elem_to_copy ());
1051 : 0 : push (Rust::Token::make (SEMICOLON, UNDEF_LOCATION));
1052 : 0 : visit (elems.get_num_copies ());
1053 : 0 : }
1054 : :
1055 : : void
1056 : 4 : TokenCollector::visit (ArrayExpr &expr)
1057 : : {
1058 : 4 : push (Rust::Token::make (LEFT_SQUARE, expr.get_locus ()));
1059 : 4 : visit (expr.get_array_elems ());
1060 : 4 : push (Rust::Token::make (RIGHT_SQUARE, UNDEF_LOCATION));
1061 : 4 : }
1062 : :
1063 : : void
1064 : 1 : TokenCollector::visit (ArrayIndexExpr &expr)
1065 : : {
1066 : 1 : visit (expr.get_array_expr ());
1067 : 1 : push (Rust::Token::make (LEFT_SQUARE, expr.get_locus ()));
1068 : 1 : visit (expr.get_index_expr ());
1069 : 1 : push (Rust::Token::make (RIGHT_SQUARE, UNDEF_LOCATION));
1070 : 1 : }
1071 : :
1072 : : void
1073 : 46 : TokenCollector::visit (TupleExpr &expr)
1074 : : {
1075 : 46 : visit_items_as_lines (expr.get_outer_attrs ());
1076 : 46 : push (Rust::Token::make (LEFT_PAREN, expr.get_locus ()));
1077 : 46 : visit_items_joined_by_separator (expr.get_tuple_elems (), COMMA);
1078 : 46 : push (Rust::Token::make (RIGHT_PAREN, UNDEF_LOCATION));
1079 : 46 : }
1080 : :
1081 : : void
1082 : 61 : TokenCollector::visit (TupleIndexExpr &expr)
1083 : : {
1084 : 61 : visit (expr.get_tuple_expr ());
1085 : 61 : push (Rust::Token::make (DOT, expr.get_locus ()));
1086 : 122 : push (Rust::Token::make_int (UNDEF_LOCATION,
1087 : 61 : std::to_string (expr.get_tuple_index ())));
1088 : 61 : }
1089 : :
1090 : : void
1091 : 7 : TokenCollector::visit (StructExprStruct &expr)
1092 : : {
1093 : 7 : visit (expr.get_struct_name ());
1094 : 7 : }
1095 : :
1096 : : void
1097 : 1 : TokenCollector::visit (StructExprFieldIdentifier &expr)
1098 : : {
1099 : : // TODO: Add attributes
1100 : : // visit_items_as_lines (expr.get_attrs ());
1101 : 1 : auto id = expr.get_field_name ().as_string ();
1102 : 2 : push (Rust::Token::make_identifier (expr.get_locus (), std::move (id)));
1103 : 1 : }
1104 : :
1105 : : void
1106 : 271 : TokenCollector::visit (StructExprFieldIdentifierValue &expr)
1107 : : {
1108 : : // TODO: Add attributes
1109 : : // visit_items_as_lines (expr.get_attrs ());
1110 : 271 : auto id = expr.get_field_name ();
1111 : 271 : push (Rust::Token::make_identifier (expr.get_locus (), std::move (id)));
1112 : 271 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
1113 : 271 : visit (expr.get_value ());
1114 : 271 : }
1115 : :
1116 : : void
1117 : 0 : TokenCollector::visit (StructExprFieldIndexValue &expr)
1118 : : {
1119 : : // TODO: Add attributes
1120 : : // visit_items_as_lines (expr.get_attrs ());
1121 : 0 : push (Rust::Token::make_int (expr.get_locus (),
1122 : 0 : std::to_string (expr.get_index ())));
1123 : 0 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
1124 : 0 : visit (expr.get_value ());
1125 : 0 : }
1126 : :
1127 : : void
1128 : 21 : TokenCollector::visit (StructBase &base)
1129 : : {
1130 : 21 : push (Rust::Token::make (DOT_DOT, UNDEF_LOCATION));
1131 : 21 : visit (base.get_base_struct ());
1132 : 21 : }
1133 : :
1134 : : void
1135 : 74 : TokenCollector::visit (StructExprStructFields &expr)
1136 : : {
1137 : 74 : visit (expr.get_struct_name ());
1138 : 74 : push (Rust::Token::make (LEFT_CURLY, expr.get_locus ()));
1139 : 74 : visit_items_joined_by_separator (expr.get_fields (), COMMA);
1140 : 74 : if (expr.has_struct_base ())
1141 : : {
1142 : 21 : push (Rust::Token::make (COMMA, UNDEF_LOCATION));
1143 : 21 : visit (expr.get_struct_base ());
1144 : : }
1145 : : else
1146 : : {
1147 : 53 : trailing_comma ();
1148 : : }
1149 : 74 : push (Rust::Token::make (RIGHT_CURLY, expr.get_locus ()));
1150 : 74 : }
1151 : :
1152 : : void
1153 : 0 : TokenCollector::visit (StructExprStructBase &)
1154 : : {
1155 : : // FIXME: Implement this node
1156 : 0 : rust_unreachable ();
1157 : : }
1158 : :
1159 : : void
1160 : 596 : TokenCollector::visit (CallExpr &expr)
1161 : : {
1162 : 596 : visit (expr.get_function_expr ());
1163 : :
1164 : 596 : push (Rust::Token::make (LEFT_PAREN, UNDEF_LOCATION));
1165 : :
1166 : 596 : visit_items_joined_by_separator (expr.get_params (), COMMA);
1167 : :
1168 : 596 : push (Rust::Token::make (RIGHT_PAREN, UNDEF_LOCATION));
1169 : 596 : }
1170 : :
1171 : : void
1172 : 116 : TokenCollector::visit (MethodCallExpr &expr)
1173 : : {
1174 : 116 : visit (expr.get_receiver_expr ());
1175 : 116 : push (Rust::Token::make (DOT, expr.get_locus ()));
1176 : 116 : visit (expr.get_method_name ());
1177 : 116 : push (Rust::Token::make (LEFT_PAREN, UNDEF_LOCATION));
1178 : 116 : visit_items_joined_by_separator (expr.get_params (), COMMA);
1179 : 116 : trailing_comma ();
1180 : 116 : push (Rust::Token::make (RIGHT_PAREN, UNDEF_LOCATION));
1181 : 116 : }
1182 : :
1183 : : void
1184 : 93 : TokenCollector::visit (FieldAccessExpr &expr)
1185 : : {
1186 : 93 : visit (expr.get_receiver_expr ());
1187 : 93 : push (Rust::Token::make (DOT, expr.get_locus ()));
1188 : 93 : auto field_name = expr.get_field_name ().as_string ();
1189 : 186 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (field_name)));
1190 : 93 : }
1191 : :
1192 : : void
1193 : 15 : TokenCollector::visit (ClosureParam ¶m)
1194 : : {
1195 : 15 : visit_items_as_lines (param.get_outer_attrs ());
1196 : 15 : visit (param.get_pattern ());
1197 : 15 : if (param.has_type_given ())
1198 : : {
1199 : 15 : push (Rust::Token::make (COLON, param.get_locus ()));
1200 : 15 : visit (param.get_type ());
1201 : : }
1202 : 15 : }
1203 : :
1204 : : void
1205 : 22 : TokenCollector::visit_closure_common (ClosureExpr &expr)
1206 : : {
1207 : 22 : if (expr.get_has_move ())
1208 : : {
1209 : 0 : push (Rust::Token::make (MOVE, expr.get_locus ()));
1210 : : }
1211 : 22 : push (Rust::Token::make (PIPE, UNDEF_LOCATION));
1212 : 22 : visit_items_joined_by_separator (expr.get_params (), COMMA);
1213 : 22 : push (Rust::Token::make (PIPE, UNDEF_LOCATION));
1214 : 22 : }
1215 : :
1216 : : void
1217 : 21 : TokenCollector::visit (ClosureExprInner &expr)
1218 : : {
1219 : 21 : visit_closure_common (expr);
1220 : 21 : visit (expr.get_definition_expr ());
1221 : 21 : }
1222 : :
1223 : : void
1224 : 1197 : TokenCollector::visit (BlockExpr &expr)
1225 : : {
1226 : 1197 : visit_items_as_lines (expr.get_outer_attrs ());
1227 : 1197 : push (Rust::Token::make (LEFT_CURLY, expr.get_locus ()));
1228 : 1197 : newline ();
1229 : 1197 : increment_indentation ();
1230 : 1197 : visit_items_as_lines (expr.get_inner_attrs ());
1231 : :
1232 : 1197 : visit_items_as_lines (expr.get_statements (), {});
1233 : :
1234 : 1197 : if (expr.has_tail_expr ())
1235 : : {
1236 : 675 : indentation ();
1237 : 675 : visit (expr.get_tail_expr ());
1238 : 675 : comment ("tail expr");
1239 : 675 : newline ();
1240 : : }
1241 : :
1242 : 1197 : decrement_indentation ();
1243 : 1197 : indentation ();
1244 : 1197 : push (Rust::Token::make (RIGHT_CURLY, expr.get_locus ()));
1245 : 1197 : newline ();
1246 : 1197 : }
1247 : :
1248 : : void
1249 : 1 : TokenCollector::visit (ClosureExprInnerTyped &expr)
1250 : : {
1251 : 1 : visit_closure_common (expr);
1252 : 1 : push (Rust::Token::make (RETURN_TYPE, expr.get_locus ()));
1253 : 1 : visit (expr.get_return_type ());
1254 : 1 : visit (expr.get_definition_block ());
1255 : 1 : }
1256 : :
1257 : : void
1258 : 0 : TokenCollector::visit (ContinueExpr &expr)
1259 : : {
1260 : 0 : push (Rust::Token::make (CONTINUE, expr.get_locus ()));
1261 : 0 : if (expr.has_label ())
1262 : 0 : visit (expr.get_label ());
1263 : 0 : }
1264 : :
1265 : : void
1266 : 8 : TokenCollector::visit (BreakExpr &expr)
1267 : : {
1268 : 8 : push (Rust::Token::make (BREAK, expr.get_locus ()));
1269 : 8 : if (expr.has_label ())
1270 : 0 : visit (expr.get_label ());
1271 : 8 : if (expr.has_break_expr ())
1272 : 0 : visit (expr.get_break_expr ());
1273 : 8 : }
1274 : :
1275 : : void
1276 : 8 : TokenCollector::visit (RangeFromToExpr &expr)
1277 : : {
1278 : 8 : visit (expr.get_from_expr ());
1279 : 8 : push (Rust::Token::make (DOT_DOT, expr.get_locus ()));
1280 : 8 : visit (expr.get_to_expr ());
1281 : 8 : }
1282 : :
1283 : : void
1284 : 0 : TokenCollector::visit (RangeFromExpr &expr)
1285 : : {
1286 : 0 : visit (expr.get_from_expr ());
1287 : 0 : push (Rust::Token::make (DOT_DOT, expr.get_locus ()));
1288 : 0 : }
1289 : :
1290 : : void
1291 : 0 : TokenCollector::visit (RangeToExpr &expr)
1292 : : {
1293 : 0 : push (Rust::Token::make (DOT_DOT, expr.get_locus ()));
1294 : 0 : visit (expr.get_to_expr ());
1295 : 0 : }
1296 : :
1297 : : void
1298 : 0 : TokenCollector::visit (RangeFullExpr &expr)
1299 : : {
1300 : 0 : push (Rust::Token::make (DOT_DOT, expr.get_locus ()));
1301 : 0 : }
1302 : :
1303 : : void
1304 : 0 : TokenCollector::visit (RangeFromToInclExpr &expr)
1305 : : {
1306 : 0 : visit (expr.get_from_expr ());
1307 : 0 : push (Rust::Token::make (DOT_DOT_EQ, expr.get_locus ()));
1308 : 0 : visit (expr.get_to_expr ());
1309 : 0 : }
1310 : :
1311 : : void
1312 : 0 : TokenCollector::visit (RangeToInclExpr &expr)
1313 : : {
1314 : 0 : push (Rust::Token::make (DOT_DOT_EQ, expr.get_locus ()));
1315 : 0 : visit (expr.get_to_expr ());
1316 : 0 : }
1317 : :
1318 : : void
1319 : 0 : TokenCollector::visit (ReturnExpr &expr)
1320 : : {
1321 : 0 : push (Rust::Token::make (RETURN_KW, expr.get_locus ()));
1322 : 0 : if (expr.has_returned_expr ())
1323 : 0 : visit (expr.get_returned_expr ());
1324 : 0 : }
1325 : :
1326 : : void
1327 : 335 : TokenCollector::visit (UnsafeBlockExpr &expr)
1328 : : {
1329 : 335 : push (Rust::Token::make (UNSAFE, expr.get_locus ()));
1330 : 335 : visit (expr.get_block_expr ());
1331 : 335 : }
1332 : :
1333 : : void
1334 : 0 : TokenCollector::visit (LoopLabel &label)
1335 : : {
1336 : 0 : visit (label.get_lifetime ());
1337 : 0 : push (Rust::Token::make (COLON, label.get_locus ()));
1338 : 0 : }
1339 : :
1340 : : void
1341 : 15 : TokenCollector::visit_loop_common (BaseLoopExpr &expr)
1342 : : {
1343 : 15 : if (expr.has_loop_label ())
1344 : 0 : visit (expr.get_loop_label ());
1345 : 15 : }
1346 : :
1347 : : void
1348 : 8 : TokenCollector::visit (LoopExpr &expr)
1349 : : {
1350 : 8 : visit_loop_common (expr);
1351 : 8 : push (Rust::Token::make (LOOP, expr.get_locus ()));
1352 : 8 : visit (expr.get_loop_block ());
1353 : 8 : }
1354 : :
1355 : : void
1356 : 7 : TokenCollector::visit (WhileLoopExpr &expr)
1357 : : {
1358 : 7 : visit_loop_common (expr);
1359 : 7 : push (Rust::Token::make (WHILE, expr.get_locus ()));
1360 : 7 : visit (expr.get_predicate_expr ());
1361 : 7 : visit (expr.get_loop_block ());
1362 : 7 : }
1363 : :
1364 : : void
1365 : 0 : TokenCollector::visit (WhileLetLoopExpr &expr)
1366 : : {
1367 : 0 : visit_loop_common (expr);
1368 : 0 : push (Rust::Token::make (WHILE, expr.get_locus ()));
1369 : 0 : push (Rust::Token::make (LET, UNDEF_LOCATION));
1370 : : // TODO: The reference mention only one Pattern
1371 : 0 : for (auto &item : expr.get_patterns ())
1372 : : {
1373 : 0 : visit (item);
1374 : : }
1375 : 0 : push (Rust::Token::make (EQUAL, UNDEF_LOCATION));
1376 : 0 : visit (expr.get_scrutinee_expr ());
1377 : 0 : visit (expr.get_loop_block ());
1378 : 0 : }
1379 : :
1380 : : void
1381 : 0 : TokenCollector::visit (ForLoopExpr &expr)
1382 : : {
1383 : 0 : visit_loop_common (expr);
1384 : 0 : push (Rust::Token::make (FOR, expr.get_locus ()));
1385 : 0 : visit (expr.get_pattern ());
1386 : 0 : push (Rust::Token::make (IN, UNDEF_LOCATION));
1387 : 0 : visit (expr.get_iterator_expr ());
1388 : 0 : visit (expr.get_loop_block ());
1389 : 0 : }
1390 : :
1391 : : void
1392 : 205 : TokenCollector::visit (IfExpr &expr)
1393 : : {
1394 : 205 : push (Rust::Token::make (IF, expr.get_locus ()));
1395 : 205 : visit (expr.get_condition_expr ());
1396 : 205 : visit (expr.get_if_block ());
1397 : 205 : }
1398 : :
1399 : : void
1400 : 30 : TokenCollector::visit (IfExprConseqElse &expr)
1401 : : {
1402 : 30 : visit (static_cast<IfExpr &> (expr));
1403 : 30 : indentation ();
1404 : 30 : push (Rust::Token::make (ELSE, expr.get_locus ()));
1405 : 30 : visit (expr.get_else_block ());
1406 : 30 : }
1407 : :
1408 : : void
1409 : 0 : TokenCollector::visit (IfLetExpr &expr)
1410 : : {
1411 : 0 : push (Rust::Token::make (IF, expr.get_locus ()));
1412 : 0 : push (Rust::Token::make (LET, UNDEF_LOCATION));
1413 : 0 : for (auto &pattern : expr.get_patterns ())
1414 : : {
1415 : 0 : visit (pattern);
1416 : : }
1417 : 0 : push (Rust::Token::make (EQUAL, UNDEF_LOCATION));
1418 : 0 : visit (expr.get_value_expr ());
1419 : 0 : visit (expr.get_if_block ());
1420 : 0 : }
1421 : :
1422 : : void
1423 : 0 : TokenCollector::visit (IfLetExprConseqElse &expr)
1424 : : {
1425 : 0 : visit (static_cast<IfLetExpr &> (expr));
1426 : 0 : indentation ();
1427 : 0 : push (Rust::Token::make (ELSE, expr.get_locus ()));
1428 : 0 : visit (expr.get_else_block ());
1429 : 0 : }
1430 : :
1431 : : void
1432 : 52 : TokenCollector::visit (MatchArm &arm)
1433 : : {
1434 : 52 : visit_items_as_lines (arm.get_outer_attrs ());
1435 : 104 : for (auto &pattern : arm.get_patterns ())
1436 : : {
1437 : 52 : visit (pattern);
1438 : : }
1439 : 52 : if (arm.has_match_arm_guard ())
1440 : : {
1441 : 1 : push (Rust::Token::make (IF, UNDEF_LOCATION));
1442 : 1 : visit (arm.get_guard_expr ());
1443 : : }
1444 : 52 : }
1445 : :
1446 : : void
1447 : 52 : TokenCollector::visit (MatchCase &match_case)
1448 : : {
1449 : 52 : indentation ();
1450 : 52 : visit (match_case.get_arm ());
1451 : 52 : push (Rust::Token::make (MATCH_ARROW, UNDEF_LOCATION));
1452 : 52 : visit (match_case.get_expr ());
1453 : 52 : indentation ();
1454 : 52 : push (Rust::Token::make (COMMA, UNDEF_LOCATION));
1455 : 52 : newline ();
1456 : 52 : }
1457 : :
1458 : : void
1459 : 26 : TokenCollector::visit (MatchExpr &expr)
1460 : : {
1461 : 26 : push (Rust::Token::make (MATCH_KW, expr.get_locus ()));
1462 : 26 : visit (expr.get_scrutinee_expr ());
1463 : 26 : push (Rust::Token::make (LEFT_CURLY, UNDEF_LOCATION));
1464 : 26 : newline ();
1465 : 26 : increment_indentation ();
1466 : 26 : visit_items_as_lines (expr.get_inner_attrs ());
1467 : 78 : for (auto &arm : expr.get_match_cases ())
1468 : : {
1469 : 52 : visit (arm);
1470 : : }
1471 : 26 : decrement_indentation ();
1472 : 26 : indentation ();
1473 : 26 : push (Rust::Token::make (RIGHT_CURLY, UNDEF_LOCATION));
1474 : 26 : }
1475 : :
1476 : : void
1477 : 0 : TokenCollector::visit (AwaitExpr &expr)
1478 : : {
1479 : 0 : visit (expr.get_awaited_expr ());
1480 : 0 : push (Rust::Token::make (DOT, expr.get_locus ()));
1481 : : // TODO: Check status of await keyword (Context dependant ?)
1482 : 0 : push (Rust::Token::make_identifier (UNDEF_LOCATION, Values::Keywords::AWAIT));
1483 : 0 : }
1484 : :
1485 : : void
1486 : 0 : TokenCollector::visit (AsyncBlockExpr &expr)
1487 : : {
1488 : 0 : push (Rust::Token::make (ASYNC, expr.get_locus ()));
1489 : 0 : if (expr.get_has_move ())
1490 : 0 : push (Rust::Token::make (MOVE, UNDEF_LOCATION));
1491 : 0 : visit (expr.get_block_expr ());
1492 : 0 : }
1493 : :
1494 : : // rust-item.h
1495 : :
1496 : : void
1497 : 1752 : TokenCollector::visit (TypeParam ¶m)
1498 : : {
1499 : : // Syntax:
1500 : : // IDENTIFIER( : TypeParamBounds? )? ( = Type )?
1501 : : // TypeParamBounds :
1502 : : // TypeParamBound ( + TypeParamBound )* +?
1503 : :
1504 : 1752 : auto id = param.get_type_representation ().as_string ();
1505 : 1752 : push (Rust::Token::make_identifier (param.get_locus (), std::move (id)));
1506 : 1752 : if (param.has_type_param_bounds ())
1507 : : {
1508 : 16 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
1509 : 16 : visit_items_joined_by_separator (param.get_type_param_bounds (), PLUS);
1510 : : }
1511 : 1752 : if (param.has_type ())
1512 : : {
1513 : 63 : push (Rust::Token::make (EQUAL, UNDEF_LOCATION));
1514 : 63 : visit (param.get_type ());
1515 : : }
1516 : 1752 : }
1517 : :
1518 : : void
1519 : 2 : TokenCollector::visit (WhereClause &rule)
1520 : : {
1521 : : // Syntax:
1522 : : // where ( WhereClauseItem , )* WhereClauseItem ?
1523 : : // WhereClauseItem :
1524 : : // LifetimeWhereClauseItem
1525 : : // | TypeBoundWhereClauseItem
1526 : :
1527 : 2 : push (Rust::Token::make (WHERE, UNDEF_LOCATION));
1528 : 2 : newline ();
1529 : 2 : increment_indentation ();
1530 : 2 : visit_items_joined_by_separator (rule.get_items (), COMMA);
1531 : 2 : decrement_indentation ();
1532 : 2 : }
1533 : :
1534 : : void
1535 : 0 : TokenCollector::visit (LifetimeWhereClauseItem &item)
1536 : : {
1537 : : // Syntax:
1538 : : // Lifetime : LifetimeBounds
1539 : : // LifetimeBounds :
1540 : : // ( Lifetime + )* Lifetime?
1541 : :
1542 : 0 : visit (item.get_lifetime ());
1543 : 0 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
1544 : 0 : visit_items_joined_by_separator (item.get_lifetime_bounds (), PLUS);
1545 : 0 : }
1546 : :
1547 : : void
1548 : 2 : TokenCollector::visit (TypeBoundWhereClauseItem &item)
1549 : : {
1550 : : // Syntax:
1551 : : // ForLifetimes? Type : TypeParamBounds?
1552 : : // TypeParamBounds :
1553 : : // TypeParamBound ( + TypeParamBound )* +?
1554 : : // TypeParamBound :
1555 : : // Lifetime | TraitBound
1556 : :
1557 : 2 : if (item.has_for_lifetimes ())
1558 : 0 : visit (item.get_for_lifetimes ());
1559 : :
1560 : 2 : visit (item.get_type ());
1561 : :
1562 : 2 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
1563 : 2 : visit_items_joined_by_separator (item.get_type_param_bounds (), PLUS);
1564 : 2 : }
1565 : :
1566 : : void
1567 : 0 : TokenCollector::visit (Module &module)
1568 : : {
1569 : : // Syntax:
1570 : : // mod IDENTIFIER ;
1571 : : // | mod IDENTIFIER {
1572 : : // InnerAttribute*
1573 : : // Item*
1574 : : // }
1575 : :
1576 : 0 : visit_items_as_lines (module.get_outer_attrs ());
1577 : 0 : visit (module.get_visibility ());
1578 : 0 : auto name = module.get_name ().as_string ();
1579 : 0 : push (Rust::Token::make (MOD, module.get_locus ()));
1580 : 0 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (name)));
1581 : :
1582 : 0 : if (module.get_kind () == Module::UNLOADED)
1583 : : {
1584 : 0 : push (Rust::Token::make (SEMICOLON, UNDEF_LOCATION));
1585 : 0 : newline ();
1586 : : }
1587 : : else /* Module::LOADED */
1588 : : {
1589 : 0 : push (Rust::Token::make (LEFT_CURLY, UNDEF_LOCATION));
1590 : 0 : newline ();
1591 : 0 : increment_indentation ();
1592 : :
1593 : 0 : visit_items_as_lines (module.get_inner_attrs ());
1594 : 0 : visit_items_as_lines (module.get_items ());
1595 : :
1596 : 0 : decrement_indentation ();
1597 : :
1598 : 0 : push (Rust::Token::make (RIGHT_CURLY, UNDEF_LOCATION));
1599 : 0 : newline ();
1600 : : }
1601 : 0 : }
1602 : :
1603 : : void
1604 : 0 : TokenCollector::visit (ExternCrate &crate)
1605 : : {
1606 : 0 : visit_items_as_lines (crate.get_outer_attrs ());
1607 : 0 : push (Rust::Token::make (EXTERN_KW, crate.get_locus ()));
1608 : 0 : push (Rust::Token::make (CRATE, UNDEF_LOCATION));
1609 : 0 : auto ref = crate.get_referenced_crate ();
1610 : 0 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (ref)));
1611 : 0 : if (crate.has_as_clause ())
1612 : : {
1613 : 0 : auto as_clause = crate.get_as_clause ();
1614 : 0 : push (Rust::Token::make (AS, UNDEF_LOCATION));
1615 : 0 : push (
1616 : 0 : Rust::Token::make_identifier (UNDEF_LOCATION, std::move (as_clause)));
1617 : 0 : }
1618 : 0 : push (Rust::Token::make (SEMICOLON, UNDEF_LOCATION));
1619 : 0 : newline ();
1620 : 0 : }
1621 : :
1622 : : void
1623 : 0 : TokenCollector::visit (UseTreeGlob &use_tree)
1624 : : {
1625 : 0 : switch (use_tree.get_glob_type ())
1626 : : {
1627 : 0 : case UseTreeGlob::PathType::PATH_PREFIXED: {
1628 : 0 : auto path = use_tree.get_path ();
1629 : 0 : visit (path);
1630 : 0 : push (Rust::Token::make (SCOPE_RESOLUTION, UNDEF_LOCATION));
1631 : 0 : }
1632 : 0 : break;
1633 : 0 : case UseTreeGlob::PathType::NO_PATH:
1634 : 0 : push (Rust::Token::make (SCOPE_RESOLUTION, UNDEF_LOCATION));
1635 : 0 : break;
1636 : : case UseTreeGlob::PathType::GLOBAL:
1637 : : break;
1638 : : }
1639 : 0 : push (Rust::Token::make (ASTERISK, UNDEF_LOCATION));
1640 : 0 : }
1641 : :
1642 : : void
1643 : 0 : TokenCollector::visit (UseTreeList &use_tree)
1644 : : {
1645 : 0 : switch (use_tree.get_path_type ())
1646 : : {
1647 : 0 : case UseTreeList::PathType::PATH_PREFIXED: {
1648 : 0 : auto path = use_tree.get_path ();
1649 : 0 : visit (path);
1650 : 0 : push (Rust::Token::make (SCOPE_RESOLUTION, UNDEF_LOCATION));
1651 : 0 : }
1652 : 0 : break;
1653 : 0 : case UseTreeList::PathType::NO_PATH:
1654 : 0 : push (Rust::Token::make (SCOPE_RESOLUTION, UNDEF_LOCATION));
1655 : 0 : break;
1656 : : case UseTreeList::PathType::GLOBAL:
1657 : : break;
1658 : : }
1659 : :
1660 : 0 : push (Rust::Token::make (LEFT_CURLY, UNDEF_LOCATION));
1661 : 0 : if (use_tree.has_trees ())
1662 : : {
1663 : 0 : visit_items_joined_by_separator (use_tree.get_trees (), COMMA);
1664 : : }
1665 : 0 : push (Rust::Token::make (RIGHT_CURLY, UNDEF_LOCATION));
1666 : 0 : }
1667 : :
1668 : : void
1669 : 0 : TokenCollector::visit (UseTreeRebind &use_tree)
1670 : : {
1671 : 0 : auto path = use_tree.get_path ();
1672 : 0 : visit (path);
1673 : 0 : switch (use_tree.get_new_bind_type ())
1674 : : {
1675 : 0 : case UseTreeRebind::NewBindType::IDENTIFIER: {
1676 : 0 : push (Rust::Token::make (AS, UNDEF_LOCATION));
1677 : 0 : auto id = use_tree.get_identifier ().as_string ();
1678 : 0 : push (
1679 : 0 : Rust::Token::make_identifier (use_tree.get_locus (), std::move (id)));
1680 : 0 : }
1681 : 0 : break;
1682 : 0 : case UseTreeRebind::NewBindType::WILDCARD:
1683 : 0 : push (Rust::Token::make (AS, UNDEF_LOCATION));
1684 : 0 : push (Rust::Token::make (UNDERSCORE, use_tree.get_locus ()));
1685 : 0 : break;
1686 : : case UseTreeRebind::NewBindType::NONE:
1687 : : break;
1688 : : }
1689 : 0 : }
1690 : :
1691 : : void
1692 : 0 : TokenCollector::visit (UseDeclaration &decl)
1693 : : {
1694 : 0 : visit_items_as_lines (decl.get_outer_attrs ());
1695 : 0 : push (Rust::Token::make (USE, decl.get_locus ()));
1696 : 0 : visit (*decl.get_tree ());
1697 : 0 : push (Rust::Token::make (SEMICOLON, UNDEF_LOCATION));
1698 : 0 : newline ();
1699 : 0 : }
1700 : :
1701 : : void
1702 : 1048 : TokenCollector::visit (Function &function)
1703 : : {
1704 : : // Syntax:
1705 : : // FunctionQualifiers fn IDENTIFIER GenericParams?
1706 : : // ( FunctionParameters? )
1707 : : // FunctionReturnType? WhereClause?
1708 : : // ( BlockExpression | ; )
1709 : 1048 : visit_items_as_lines (function.get_outer_attrs ());
1710 : :
1711 : 1048 : visit (function.get_visibility ());
1712 : 1048 : auto qualifiers = function.get_qualifiers ();
1713 : 1048 : visit (qualifiers);
1714 : :
1715 : 1048 : push (Rust::Token::make (FN_KW, function.get_locus ()));
1716 : 1048 : auto name = function.get_function_name ().as_string ();
1717 : 1048 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (name)));
1718 : 1048 : if (function.has_generics ())
1719 : 53 : visit (function.get_generic_params ());
1720 : :
1721 : 1048 : push (Rust::Token::make (LEFT_PAREN, UNDEF_LOCATION));
1722 : :
1723 : 1048 : visit_items_joined_by_separator (function.get_function_params ());
1724 : 1048 : push (Rust::Token::make (RIGHT_PAREN, UNDEF_LOCATION));
1725 : :
1726 : 1048 : if (function.has_return_type ())
1727 : : {
1728 : 682 : push (Rust::Token::make (RETURN_TYPE, UNDEF_LOCATION));
1729 : 682 : visit (function.get_return_type ());
1730 : : }
1731 : :
1732 : 1048 : if (function.has_where_clause ())
1733 : 2 : visit (function.get_where_clause ());
1734 : :
1735 : 1048 : if (function.has_body ())
1736 : 583 : visit (*function.get_definition ());
1737 : : else
1738 : 930 : push (Rust::Token::make (SEMICOLON, UNDEF_LOCATION));
1739 : 1048 : newline ();
1740 : 1048 : }
1741 : :
1742 : : void
1743 : 0 : TokenCollector::visit (TypeAlias &type_alias)
1744 : : {
1745 : : // Syntax:
1746 : : // Visibility? type IDENTIFIER GenericParams? WhereClause? = Type;
1747 : :
1748 : : // Note: Associated types are handled by `AST::TraitItemType`.
1749 : :
1750 : 0 : visit_items_as_lines (type_alias.get_outer_attrs ());
1751 : 0 : if (type_alias.has_visibility ())
1752 : 0 : visit (type_alias.get_visibility ());
1753 : 0 : auto alias_name = type_alias.get_new_type_name ().as_string ();
1754 : 0 : push (Rust::Token::make (TYPE, type_alias.get_locus ()));
1755 : 0 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (alias_name)));
1756 : :
1757 : 0 : if (type_alias.has_generics ())
1758 : 0 : visit (type_alias.get_generic_params ());
1759 : :
1760 : 0 : if (type_alias.has_where_clause ())
1761 : 0 : visit (type_alias.get_where_clause ());
1762 : :
1763 : 0 : push (Rust::Token::make (EQUAL, UNDEF_LOCATION));
1764 : 0 : visit (type_alias.get_type_aliased ());
1765 : 0 : push (Rust::Token::make (SEMICOLON, UNDEF_LOCATION));
1766 : 0 : }
1767 : :
1768 : : void
1769 : 7 : TokenCollector::visit (StructStruct &struct_item)
1770 : : {
1771 : 7 : visit_items_as_lines (struct_item.get_outer_attrs ());
1772 : 7 : if (struct_item.has_visibility ())
1773 : 0 : visit (struct_item.get_visibility ());
1774 : 7 : auto struct_name = struct_item.get_identifier ().as_string ();
1775 : 7 : push (Rust::Token::make (STRUCT_KW, struct_item.get_locus ()));
1776 : 7 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (struct_name)));
1777 : :
1778 : 7 : if (struct_item.has_generics ())
1779 : 0 : visit (struct_item.get_generic_params ());
1780 : 7 : if (struct_item.has_where_clause ())
1781 : 0 : visit (struct_item.get_where_clause ());
1782 : 7 : if (struct_item.is_unit_struct ())
1783 : : {
1784 : 0 : push (Rust::Token::make (SEMICOLON, UNDEF_LOCATION));
1785 : 0 : newline ();
1786 : : }
1787 : : else
1788 : 14 : visit_items_as_block (struct_item.get_fields (),
1789 : : {Rust::Token::make (COMMA, UNDEF_LOCATION)});
1790 : 7 : }
1791 : :
1792 : : void
1793 : 21 : TokenCollector::visit (TupleStruct &tuple_struct)
1794 : : {
1795 : 21 : visit_items_as_lines (tuple_struct.get_outer_attrs ());
1796 : 21 : auto struct_name = tuple_struct.get_identifier ().as_string ();
1797 : 21 : push (Rust::Token::make (STRUCT_KW, tuple_struct.get_locus ()));
1798 : 21 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (struct_name)));
1799 : 21 : if (tuple_struct.has_generics ())
1800 : 0 : visit (tuple_struct.get_generic_params ());
1801 : 21 : if (tuple_struct.has_where_clause ())
1802 : 0 : visit (tuple_struct.get_where_clause ());
1803 : :
1804 : 21 : push (Rust::Token::make (LEFT_PAREN, UNDEF_LOCATION));
1805 : 21 : visit_items_joined_by_separator (tuple_struct.get_fields (), COMMA);
1806 : 21 : push (Rust::Token::make (RIGHT_PAREN, UNDEF_LOCATION));
1807 : 21 : push (Rust::Token::make (SEMICOLON, UNDEF_LOCATION));
1808 : 21 : newline ();
1809 : 21 : }
1810 : :
1811 : : void
1812 : 0 : TokenCollector::visit (EnumItem &item)
1813 : : {
1814 : 0 : visit_items_as_lines (item.get_outer_attrs ());
1815 : 0 : auto id = item.get_identifier ().as_string ();
1816 : 0 : push (Rust::Token::make_identifier (item.get_locus (), std::move (id)));
1817 : 0 : }
1818 : :
1819 : : void
1820 : 0 : TokenCollector::visit (EnumItemTuple &item)
1821 : : {
1822 : 0 : auto id = item.get_identifier ().as_string ();
1823 : 0 : push (Rust::Token::make_identifier (item.get_locus (), std::move (id)));
1824 : 0 : push (Rust::Token::make (LEFT_PAREN, UNDEF_LOCATION));
1825 : 0 : visit_items_joined_by_separator (item.get_tuple_fields (), COMMA);
1826 : 0 : push (Rust::Token::make (RIGHT_PAREN, UNDEF_LOCATION));
1827 : 0 : }
1828 : :
1829 : : void
1830 : 0 : TokenCollector::visit (EnumItemStruct &item)
1831 : : {
1832 : 0 : auto id = item.get_identifier ().as_string ();
1833 : 0 : push (Rust::Token::make_identifier (item.get_locus (), std::move (id)));
1834 : 0 : visit_items_as_block (item.get_struct_fields (),
1835 : : {Rust::Token::make (COMMA, UNDEF_LOCATION)});
1836 : 0 : }
1837 : :
1838 : : void
1839 : 0 : TokenCollector::visit (EnumItemDiscriminant &item)
1840 : : {
1841 : 0 : auto id = item.get_identifier ().as_string ();
1842 : 0 : push (Rust::Token::make_identifier (item.get_locus (), std::move (id)));
1843 : 0 : push (Rust::Token::make (EQUAL, UNDEF_LOCATION));
1844 : 0 : visit (item.get_expr ());
1845 : 0 : }
1846 : :
1847 : : void
1848 : 0 : TokenCollector::visit (Enum &enumeration)
1849 : : {
1850 : 0 : visit_items_as_lines (enumeration.get_outer_attrs ());
1851 : 0 : if (enumeration.has_visibility ())
1852 : 0 : visit (enumeration.get_visibility ());
1853 : 0 : push (Rust::Token::make (ENUM_KW, enumeration.get_locus ()));
1854 : 0 : auto id = enumeration.get_identifier ().as_string ();
1855 : 0 : push (
1856 : 0 : Rust::Token::make_identifier (enumeration.get_locus (), std::move (id)));
1857 : 0 : if (enumeration.has_generics ())
1858 : 0 : visit (enumeration.get_generic_params ());
1859 : 0 : if (enumeration.has_where_clause ())
1860 : 0 : visit (enumeration.get_where_clause ());
1861 : :
1862 : 0 : visit_items_as_block (enumeration.get_variants (),
1863 : : {Rust::Token::make (COMMA, UNDEF_LOCATION)});
1864 : 0 : }
1865 : :
1866 : : void
1867 : 0 : TokenCollector::visit (Union &union_item)
1868 : : {
1869 : 0 : visit_items_as_lines (union_item.get_outer_attrs ());
1870 : 0 : auto id = union_item.get_identifier ().as_string ();
1871 : 0 : push (Rust::Token::make_identifier (union_item.get_locus (),
1872 : : Values::WeakKeywords::UNION));
1873 : 0 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (id)));
1874 : :
1875 : 0 : if (union_item.has_generics ())
1876 : 0 : visit (union_item.get_generic_params ());
1877 : :
1878 : 0 : if (union_item.has_where_clause ())
1879 : 0 : visit (union_item.get_where_clause ());
1880 : :
1881 : 0 : visit_items_as_block (union_item.get_variants (),
1882 : : {Rust::Token::make (COMMA, UNDEF_LOCATION)});
1883 : 0 : }
1884 : :
1885 : : void
1886 : 0 : TokenCollector::visit (ConstantItem &item)
1887 : : {
1888 : 0 : visit_items_as_lines (item.get_outer_attrs ());
1889 : 0 : push (Rust::Token::make (CONST, item.get_locus ()));
1890 : 0 : if (item.is_unnamed ())
1891 : : {
1892 : 0 : push (Rust::Token::make (UNDERSCORE, UNDEF_LOCATION));
1893 : : }
1894 : : else
1895 : : {
1896 : 0 : auto id = item.get_identifier ();
1897 : 0 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (id)));
1898 : 0 : }
1899 : 0 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
1900 : 0 : visit (item.get_type ());
1901 : 0 : if (item.has_expr ())
1902 : : {
1903 : 0 : push (Rust::Token::make (EQUAL, UNDEF_LOCATION));
1904 : 0 : visit (item.get_expr ());
1905 : : }
1906 : 0 : push (Rust::Token::make (SEMICOLON, UNDEF_LOCATION));
1907 : 0 : }
1908 : :
1909 : : void
1910 : 0 : TokenCollector::visit (StaticItem &item)
1911 : : {
1912 : 0 : visit_items_as_lines (item.get_outer_attrs ());
1913 : 0 : push (Rust::Token::make (STATIC_KW, item.get_locus ()));
1914 : 0 : if (item.is_mutable ())
1915 : 0 : push (Rust::Token::make (MUT, UNDEF_LOCATION));
1916 : :
1917 : 0 : auto id = item.get_identifier ().as_string ();
1918 : 0 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (id)));
1919 : 0 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
1920 : :
1921 : 0 : visit (item.get_type ());
1922 : :
1923 : 0 : if (item.has_expr ())
1924 : : {
1925 : 0 : push (Rust::Token::make (EQUAL, UNDEF_LOCATION));
1926 : 0 : visit (item.get_expr ());
1927 : : }
1928 : 0 : push (Rust::Token::make (SEMICOLON, UNDEF_LOCATION));
1929 : 0 : }
1930 : :
1931 : : void
1932 : 0 : TokenCollector::visit_function_common (std::unique_ptr<Type> &return_type,
1933 : : std::unique_ptr<BlockExpr> &block)
1934 : : {
1935 : : // FIXME: This should format the `<vis> fn <name> ( [args] )` as well
1936 : 0 : if (return_type)
1937 : : {
1938 : 0 : push (Rust::Token::make (RETURN_TYPE, UNDEF_LOCATION));
1939 : 0 : visit (return_type);
1940 : : }
1941 : :
1942 : 0 : if (block)
1943 : : {
1944 : 0 : visit (block);
1945 : : }
1946 : : else
1947 : : {
1948 : 0 : push (Rust::Token::make (SEMICOLON, UNDEF_LOCATION));
1949 : 0 : newline ();
1950 : : }
1951 : 0 : }
1952 : :
1953 : : void
1954 : 490 : TokenCollector::visit (SelfParam ¶m)
1955 : : {
1956 : 490 : if (param.get_has_ref ())
1957 : : {
1958 : 239 : push (Rust::Token::make (AMP, UNDEF_LOCATION));
1959 : 239 : if (param.has_lifetime ())
1960 : : {
1961 : 239 : auto lifetime = param.get_lifetime ();
1962 : 239 : visit (lifetime);
1963 : 239 : }
1964 : 239 : if (param.get_is_mut ())
1965 : 168 : push (Rust::Token::make (MUT, UNDEF_LOCATION));
1966 : : }
1967 : 490 : push (Rust::Token::make (SELF, UNDEF_LOCATION));
1968 : 490 : if (param.has_type ())
1969 : : {
1970 : 0 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
1971 : 0 : visit (param.get_type ());
1972 : : }
1973 : 490 : }
1974 : :
1975 : : void
1976 : 1 : TokenCollector::visit (TraitItemConst &item)
1977 : : {
1978 : 1 : auto id = item.get_identifier ().as_string ();
1979 : 1 : indentation ();
1980 : 1 : push (Rust::Token::make (CONST, item.get_locus ()));
1981 : 1 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (id)));
1982 : 1 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
1983 : 1 : visit (item.get_type ());
1984 : 1 : push (Rust::Token::make (SEMICOLON, UNDEF_LOCATION));
1985 : 1 : newline ();
1986 : 1 : }
1987 : :
1988 : : void
1989 : 289 : TokenCollector::visit (TraitItemType &item)
1990 : : {
1991 : 289 : visit_items_as_lines (item.get_outer_attrs ());
1992 : 289 : auto id = item.get_identifier ().as_string ();
1993 : 289 : indentation ();
1994 : :
1995 : 289 : push (Rust::Token::make (TYPE, item.get_locus ()));
1996 : 289 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (id)));
1997 : 289 : push (Rust::Token::make (SEMICOLON, UNDEF_LOCATION));
1998 : 289 : newline ();
1999 : 289 : }
2000 : :
2001 : : void
2002 : 1537 : TokenCollector::visit (Trait &trait)
2003 : : {
2004 : 2911 : for (auto &attr : trait.get_outer_attrs ())
2005 : : {
2006 : 1374 : visit (attr);
2007 : 1374 : newline ();
2008 : 1374 : indentation ();
2009 : : }
2010 : :
2011 : 1537 : visit (trait.get_visibility ());
2012 : :
2013 : 1537 : auto id = trait.get_identifier ().as_string ();
2014 : 1537 : push (Rust::Token::make (TRAIT, trait.get_locus ()));
2015 : 1537 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (id)));
2016 : :
2017 : 1537 : visit (trait.get_generic_params ());
2018 : :
2019 : 1537 : visit_items_as_block (trait.get_trait_items (), {});
2020 : 1537 : }
2021 : :
2022 : : void
2023 : 0 : TokenCollector::visit (InherentImpl &impl)
2024 : : {
2025 : 0 : visit_items_as_lines (impl.get_outer_attrs ());
2026 : 0 : push (Rust::Token::make (IMPL, impl.get_locus ()));
2027 : 0 : visit (impl.get_generic_params ());
2028 : :
2029 : 0 : visit (impl.get_type ());
2030 : :
2031 : 0 : if (impl.has_where_clause ())
2032 : 0 : visit (impl.get_where_clause ());
2033 : :
2034 : : // FIXME: Handle inner attributes
2035 : :
2036 : 0 : visit_items_as_block (impl.get_impl_items (), {});
2037 : 0 : }
2038 : :
2039 : : void
2040 : 2 : TokenCollector::visit (TraitImpl &impl)
2041 : : {
2042 : 2 : visit_items_as_lines (impl.get_outer_attrs ());
2043 : 2 : push (Rust::Token::make (IMPL, impl.get_locus ()));
2044 : 2 : visit (impl.get_generic_params ());
2045 : 2 : if (impl.is_exclam ())
2046 : 0 : push (Rust::Token::make (EXCLAM, UNDEF_LOCATION));
2047 : 2 : visit (impl.get_trait_path ());
2048 : 2 : push (Rust::Token::make (FOR, UNDEF_LOCATION));
2049 : 2 : visit (impl.get_type ());
2050 : :
2051 : 2 : if (impl.has_where_clause ())
2052 : 0 : visit (impl.get_where_clause ());
2053 : :
2054 : 2 : visit_items_as_block (impl.get_impl_items ());
2055 : 2 : }
2056 : :
2057 : : void
2058 : 0 : TokenCollector::visit (ExternalTypeItem &type)
2059 : : {
2060 : 0 : visit (type.get_visibility ());
2061 : :
2062 : 0 : auto id = type.get_identifier ().as_string ();
2063 : :
2064 : 0 : push (Rust::Token::make (TYPE, UNDEF_LOCATION));
2065 : 0 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (id)));
2066 : 0 : push (Rust::Token::make (SEMICOLON, UNDEF_LOCATION));
2067 : 0 : }
2068 : :
2069 : : void
2070 : 0 : TokenCollector::visit (ExternalStaticItem &item)
2071 : : {
2072 : 0 : auto id = item.get_identifier ().as_string ();
2073 : 0 : visit_items_as_lines (item.get_outer_attrs ());
2074 : 0 : if (item.has_visibility ())
2075 : 0 : visit (item.get_visibility ());
2076 : 0 : push (Rust::Token::make (STATIC_KW, item.get_locus ()));
2077 : 0 : if (item.is_mut ())
2078 : 0 : push (Rust::Token::make (MUT, UNDEF_LOCATION));
2079 : 0 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (id)));
2080 : 0 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
2081 : 0 : visit (item.get_type ());
2082 : : // TODO: No expr ? The "(= Expression)?" part from the reference seems missing
2083 : : // in the ast.
2084 : 0 : push (Rust::Token::make (SEMICOLON, UNDEF_LOCATION));
2085 : 0 : }
2086 : :
2087 : : void
2088 : 479 : TokenCollector::visit (ExternBlock &block)
2089 : : {
2090 : 479 : visit_items_as_lines (block.get_outer_attrs ());
2091 : 479 : push (Rust::Token::make (EXTERN_KW, block.get_locus ()));
2092 : :
2093 : 479 : if (block.has_abi ())
2094 : : {
2095 : 479 : auto abi = block.get_abi ();
2096 : 958 : push (Rust::Token::make_string (UNDEF_LOCATION, std::move (abi)));
2097 : 479 : }
2098 : :
2099 : 479 : visit_items_as_block (block.get_extern_items (), {});
2100 : 479 : }
2101 : :
2102 : : static std::pair<TokenId, TokenId>
2103 : 2 : get_delimiters (DelimType delim)
2104 : : {
2105 : 2 : switch (delim)
2106 : : {
2107 : 2 : case PARENS:
2108 : 2 : return {LEFT_PAREN, RIGHT_PAREN};
2109 : 0 : case SQUARE:
2110 : 0 : return {LEFT_SQUARE, RIGHT_SQUARE};
2111 : 0 : case CURLY:
2112 : 0 : return {LEFT_CURLY, RIGHT_CURLY};
2113 : 0 : default:
2114 : 0 : rust_unreachable ();
2115 : : }
2116 : : }
2117 : :
2118 : : void
2119 : 0 : TokenCollector::visit (MacroMatchFragment &match)
2120 : : {
2121 : 0 : auto id = match.get_ident ().as_string ();
2122 : 0 : auto frag_spec = match.get_frag_spec ().as_string ();
2123 : 0 : push (Rust::Token::make (DOLLAR_SIGN, UNDEF_LOCATION));
2124 : 0 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (id)));
2125 : 0 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
2126 : 0 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (frag_spec)));
2127 : 0 : }
2128 : :
2129 : : void
2130 : 0 : TokenCollector::visit (MacroMatchRepetition &repetition)
2131 : : {
2132 : 0 : push (Rust::Token::make (DOLLAR_SIGN, UNDEF_LOCATION));
2133 : 0 : push (Rust::Token::make (LEFT_PAREN, UNDEF_LOCATION));
2134 : :
2135 : 0 : for (auto &match : repetition.get_matches ())
2136 : : {
2137 : 0 : visit (match);
2138 : : }
2139 : :
2140 : 0 : push (Rust::Token::make (RIGHT_PAREN, UNDEF_LOCATION));
2141 : :
2142 : 0 : if (repetition.has_sep ())
2143 : : {
2144 : 0 : push (Rust::Token::make (repetition.get_sep ()->get_id (),
2145 : 0 : repetition.get_sep ()->get_locus ()));
2146 : : }
2147 : 0 : switch (repetition.get_op ())
2148 : : {
2149 : 0 : case MacroMatchRepetition::ANY:
2150 : 0 : push (Rust::Token::make (ASTERISK, UNDEF_LOCATION));
2151 : 0 : break;
2152 : 0 : case MacroMatchRepetition::ONE_OR_MORE:
2153 : 0 : push (Rust::Token::make (PLUS, UNDEF_LOCATION));
2154 : 0 : break;
2155 : 0 : case MacroMatchRepetition::ZERO_OR_ONE:
2156 : 0 : push (Rust::Token::make (QUESTION_MARK, UNDEF_LOCATION));
2157 : 0 : break;
2158 : : case MacroMatchRepetition::NONE:
2159 : : break;
2160 : : }
2161 : 0 : }
2162 : :
2163 : : void
2164 : 2 : TokenCollector::visit (MacroMatcher &matcher)
2165 : : {
2166 : 2 : auto delimiters = get_delimiters (matcher.get_delim_type ());
2167 : :
2168 : 2 : push (Rust::Token::make (delimiters.first, UNDEF_LOCATION));
2169 : :
2170 : 3 : for (auto &item : matcher.get_matches ())
2171 : : {
2172 : 1 : visit (item);
2173 : : }
2174 : :
2175 : 2 : push (Rust::Token::make (delimiters.second, UNDEF_LOCATION));
2176 : 2 : }
2177 : :
2178 : : void
2179 : 2 : TokenCollector::visit (MacroRule &rule)
2180 : : {
2181 : 2 : visit (rule.get_matcher ());
2182 : 2 : push (Rust::Token::make (MATCH_ARROW, rule.get_locus ()));
2183 : 2 : visit (rule.get_transcriber ().get_token_tree ());
2184 : 2 : }
2185 : :
2186 : : void
2187 : 2 : TokenCollector::visit (MacroRulesDefinition &rules_def)
2188 : : {
2189 : 3 : for (auto &outer_attr : rules_def.get_outer_attrs ())
2190 : 1 : visit (outer_attr);
2191 : :
2192 : 2 : auto rule_name = rules_def.get_rule_name ().as_string ();
2193 : :
2194 : 4 : push (Rust::Token::make_identifier (rules_def.get_locus (),
2195 : : Values::WeakKeywords::MACRO_RULES));
2196 : 2 : push (Rust::Token::make (EXCLAM, UNDEF_LOCATION));
2197 : :
2198 : 2 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (rule_name)));
2199 : :
2200 : 4 : visit_items_as_block (rules_def.get_rules (),
2201 : : {Rust::Token::make (SEMICOLON, UNDEF_LOCATION)});
2202 : 2 : }
2203 : :
2204 : : void
2205 : 0 : TokenCollector::visit (MacroInvocation &invocation)
2206 : : {
2207 : 0 : auto data = invocation.get_invoc_data ();
2208 : 0 : visit (data.get_path ());
2209 : 0 : push (Rust::Token::make (EXCLAM, UNDEF_LOCATION));
2210 : 0 : visit (data.get_delim_tok_tree ());
2211 : 0 : if (invocation.has_semicolon ())
2212 : 0 : push (Rust::Token::make (SEMICOLON, UNDEF_LOCATION));
2213 : 0 : }
2214 : :
2215 : : void
2216 : 0 : TokenCollector::visit (MetaItemPath &item)
2217 : : {
2218 : 0 : auto path = item.to_path_item ();
2219 : 0 : visit (path);
2220 : 0 : }
2221 : :
2222 : : void
2223 : 0 : TokenCollector::visit (MetaItemSeq &item)
2224 : : {
2225 : 0 : visit (item.get_path ());
2226 : : // TODO: Double check this, there is probably a mistake.
2227 : 0 : push (Rust::Token::make (LEFT_PAREN, UNDEF_LOCATION));
2228 : 0 : visit_items_joined_by_separator (item.get_seq (), COMMA);
2229 : 0 : push (Rust::Token::make (RIGHT_PAREN, UNDEF_LOCATION));
2230 : 0 : }
2231 : :
2232 : : void
2233 : 0 : TokenCollector::visit (MetaWord &word)
2234 : : {
2235 : 0 : auto id = word.get_ident ().as_string ();
2236 : :
2237 : 0 : push (Rust::Token::make_identifier (word.get_locus (), std::move (id)));
2238 : 0 : }
2239 : :
2240 : : void
2241 : 1 : TokenCollector::visit (MetaNameValueStr &name)
2242 : : {
2243 : 1 : auto pair = name.get_name_value_pair ();
2244 : 1 : auto id = std::get<0> (pair).as_string ();
2245 : 1 : auto value = std::get<1> (pair);
2246 : :
2247 : 1 : push (Rust::Token::make_identifier (name.get_locus (), std::move (id)));
2248 : 1 : push (Rust::Token::make (EQUAL, name.get_locus ()));
2249 : 1 : push (Rust::Token::make (DOUBLE_QUOTE, UNDEF_LOCATION));
2250 : 1 : push (Rust::Token::make_identifier (name.get_locus (), std::move (value)));
2251 : 2 : push (Rust::Token::make (DOUBLE_QUOTE, UNDEF_LOCATION));
2252 : 1 : }
2253 : :
2254 : : void
2255 : 0 : TokenCollector::visit (MetaListPaths &list)
2256 : : {
2257 : 0 : auto id = list.get_ident ().as_string ();
2258 : :
2259 : 0 : push (Rust::Token::make_identifier (list.get_locus (), std::move (id)));
2260 : 0 : push (Rust::Token::make (LEFT_PAREN, UNDEF_LOCATION));
2261 : :
2262 : 0 : visit_items_joined_by_separator (list.get_paths (), COMMA);
2263 : :
2264 : 0 : push (Rust::Token::make (RIGHT_PAREN, UNDEF_LOCATION));
2265 : 0 : }
2266 : :
2267 : : void
2268 : 0 : TokenCollector::visit (MetaListNameValueStr &list)
2269 : : {
2270 : 0 : auto id = list.get_ident ().as_string ();
2271 : :
2272 : 0 : push (Rust::Token::make_identifier (list.get_locus (), std::move (id)));
2273 : 0 : push (Rust::Token::make (LEFT_PAREN, UNDEF_LOCATION));
2274 : :
2275 : 0 : visit_items_joined_by_separator (list.get_values (), COMMA);
2276 : :
2277 : 0 : push (Rust::Token::make (RIGHT_PAREN, UNDEF_LOCATION));
2278 : 0 : }
2279 : :
2280 : : // rust-pattern.h
2281 : : void
2282 : 20 : TokenCollector::visit (LiteralPattern &pattern)
2283 : : {
2284 : 20 : visit (pattern.get_literal (), pattern.get_locus ());
2285 : 20 : }
2286 : :
2287 : : void
2288 : 1496 : TokenCollector::visit (IdentifierPattern &pattern)
2289 : : {
2290 : 1496 : if (pattern.get_is_ref ())
2291 : : {
2292 : 0 : push (Rust::Token::make (REF, pattern.get_locus ()));
2293 : : }
2294 : 1496 : if (pattern.get_is_mut ())
2295 : : {
2296 : 160 : push (Rust::Token::make (MUT, UNDEF_LOCATION));
2297 : : }
2298 : :
2299 : 1496 : auto id = pattern.get_ident ().as_string ();
2300 : 1496 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (id)));
2301 : :
2302 : 1496 : if (pattern.has_pattern_to_bind ())
2303 : : {
2304 : 0 : push (Rust::Token::make (PATTERN_BIND, UNDEF_LOCATION));
2305 : 0 : visit (pattern.get_pattern_to_bind ());
2306 : : }
2307 : 1496 : }
2308 : :
2309 : : void
2310 : 46 : TokenCollector::visit (WildcardPattern &pattern)
2311 : : {
2312 : 46 : push (Rust::Token::make (UNDERSCORE, pattern.get_locus ()));
2313 : 46 : }
2314 : :
2315 : : void
2316 : 0 : TokenCollector::visit (RestPattern &pattern)
2317 : : {
2318 : 0 : push (Rust::Token::make (DOT_DOT, pattern.get_locus ()));
2319 : 0 : }
2320 : :
2321 : : // void TokenCollector::visit(RangePatternBound& ){}
2322 : :
2323 : : void
2324 : 0 : TokenCollector::visit (RangePatternBoundLiteral &pattern)
2325 : : {
2326 : 0 : if (pattern.get_has_minus ())
2327 : : {
2328 : 0 : push (Rust::Token::make (MINUS, pattern.get_locus ()));
2329 : : }
2330 : 0 : auto literal = pattern.get_literal ();
2331 : 0 : visit (literal);
2332 : 0 : }
2333 : :
2334 : : void
2335 : 0 : TokenCollector::visit (RangePatternBoundPath &pattern)
2336 : : {
2337 : 0 : visit (pattern.get_path ());
2338 : 0 : }
2339 : :
2340 : : void
2341 : 0 : TokenCollector::visit (RangePatternBoundQualPath &pattern)
2342 : : {
2343 : 0 : visit (pattern.get_qualified_path ());
2344 : 0 : }
2345 : :
2346 : : void
2347 : 0 : TokenCollector::visit (RangePattern &pattern)
2348 : : {
2349 : 0 : if (pattern.get_has_lower_bound () && pattern.get_has_upper_bound ())
2350 : : {
2351 : 0 : visit (pattern.get_lower_bound ());
2352 : 0 : if (pattern.get_has_ellipsis_syntax ())
2353 : 0 : push (Rust::Token::make (ELLIPSIS, pattern.get_locus ()));
2354 : : else
2355 : 0 : push (Rust::Token::make (DOT_DOT_EQ, pattern.get_locus ()));
2356 : 0 : visit (pattern.get_upper_bound ());
2357 : : }
2358 : 0 : else if (pattern.get_has_lower_bound ())
2359 : : {
2360 : 0 : visit (pattern.get_lower_bound ());
2361 : 0 : push (Rust::Token::make (DOT_DOT, pattern.get_locus ()));
2362 : : }
2363 : : else
2364 : : {
2365 : 0 : push (Rust::Token::make (DOT_DOT_EQ, pattern.get_locus ()));
2366 : 0 : visit (pattern.get_upper_bound ());
2367 : : }
2368 : 0 : }
2369 : :
2370 : : void
2371 : 2 : TokenCollector::visit (ReferencePattern &pattern)
2372 : : {
2373 : 2 : if (pattern.is_double_reference ())
2374 : : {
2375 : 2 : push (Rust::Token::make (LOGICAL_AND, pattern.get_locus ()));
2376 : : }
2377 : : else
2378 : : {
2379 : 2 : push (Rust::Token::make (AMP, pattern.get_locus ()));
2380 : : }
2381 : :
2382 : 2 : if (pattern.get_is_mut ())
2383 : : {
2384 : 0 : push (Rust::Token::make (MUT, UNDEF_LOCATION));
2385 : : }
2386 : :
2387 : 2 : visit (pattern.get_referenced_pattern ());
2388 : 2 : }
2389 : :
2390 : : // void TokenCollector::visit(StructPatternField& ){}
2391 : :
2392 : : void
2393 : 0 : TokenCollector::visit (StructPatternFieldTuplePat &pattern)
2394 : : {
2395 : 0 : visit_items_as_lines (pattern.get_outer_attrs ());
2396 : 0 : push (Rust::Token::make_int (pattern.get_locus (),
2397 : 0 : std::to_string (pattern.get_index ())));
2398 : 0 : push (Rust::Token::make (COLON, pattern.get_locus ()));
2399 : 0 : visit (pattern.get_index_pattern ());
2400 : 0 : }
2401 : :
2402 : : void
2403 : 1 : TokenCollector::visit (StructPatternFieldIdentPat &pattern)
2404 : : {
2405 : 1 : visit_items_as_lines (pattern.get_outer_attrs ());
2406 : :
2407 : 1 : auto id = pattern.get_identifier ().as_string ();
2408 : 1 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (id)));
2409 : :
2410 : 1 : push (Rust::Token::make (COLON, pattern.get_locus ()));
2411 : :
2412 : 1 : visit (pattern.get_ident_pattern ());
2413 : 1 : }
2414 : :
2415 : : void
2416 : 0 : TokenCollector::visit (StructPatternFieldIdent &pattern)
2417 : : {
2418 : 0 : visit_items_as_lines (pattern.get_outer_attrs ());
2419 : 0 : if (pattern.is_ref ())
2420 : 0 : push (Rust::Token::make (REF, UNDEF_LOCATION));
2421 : 0 : if (pattern.is_mut ())
2422 : 0 : push (Rust::Token::make (MUT, UNDEF_LOCATION));
2423 : :
2424 : 0 : auto id = pattern.get_identifier ().as_string ();
2425 : 0 : push (Rust::Token::make_identifier (UNDEF_LOCATION, std::move (id)));
2426 : 0 : }
2427 : :
2428 : : void
2429 : 1 : TokenCollector::visit (StructPattern &pattern)
2430 : : {
2431 : 1 : visit (pattern.get_path ());
2432 : 1 : push (Rust::Token::make (LEFT_CURLY, pattern.get_locus ()));
2433 : 1 : auto elems = pattern.get_struct_pattern_elems ();
2434 : 1 : if (elems.has_struct_pattern_fields ())
2435 : : {
2436 : 1 : visit_items_joined_by_separator (elems.get_struct_pattern_fields ());
2437 : 1 : if (elems.has_etc ())
2438 : : {
2439 : 0 : push (Rust::Token::make (COMMA, UNDEF_LOCATION));
2440 : 0 : visit_items_as_lines (elems.get_etc_outer_attrs ());
2441 : : }
2442 : : }
2443 : : else
2444 : : {
2445 : 0 : visit_items_as_lines (elems.get_etc_outer_attrs ());
2446 : : }
2447 : :
2448 : 2 : push (Rust::Token::make (RIGHT_CURLY, UNDEF_LOCATION));
2449 : 1 : }
2450 : :
2451 : : // void TokenCollector::visit(TupleStructItems& ){}
2452 : :
2453 : : void
2454 : 8 : TokenCollector::visit (TupleStructItemsNoRange &pattern)
2455 : : {
2456 : 16 : for (auto &pat : pattern.get_patterns ())
2457 : : {
2458 : 8 : visit (pat);
2459 : : }
2460 : 8 : }
2461 : :
2462 : : void
2463 : 0 : TokenCollector::visit (TupleStructItemsRange &pattern)
2464 : : {
2465 : 0 : for (auto &lower : pattern.get_lower_patterns ())
2466 : : {
2467 : 0 : visit (lower);
2468 : : }
2469 : 0 : push (Rust::Token::make (DOT_DOT, UNDEF_LOCATION));
2470 : 0 : for (auto &upper : pattern.get_lower_patterns ())
2471 : : {
2472 : 0 : visit (upper);
2473 : : }
2474 : 0 : }
2475 : :
2476 : : void
2477 : 8 : TokenCollector::visit (TupleStructPattern &pattern)
2478 : : {
2479 : 8 : visit (pattern.get_path ());
2480 : 8 : push (Rust::Token::make (LEFT_PAREN, pattern.get_locus ()));
2481 : 8 : visit (pattern.get_items ());
2482 : 8 : push (Rust::Token::make (RIGHT_PAREN, UNDEF_LOCATION));
2483 : 8 : }
2484 : :
2485 : : // void
2486 : : // TokenCollector::visit (TuplePatternItems &)
2487 : : // {}
2488 : :
2489 : : void
2490 : 3 : TokenCollector::visit (TuplePatternItemsMultiple &pattern)
2491 : : {
2492 : 3 : visit_items_joined_by_separator (pattern.get_patterns (), COMMA);
2493 : 3 : }
2494 : :
2495 : : void
2496 : 0 : TokenCollector::visit (TuplePatternItemsRanged &pattern)
2497 : : {
2498 : 0 : for (auto &lower : pattern.get_lower_patterns ())
2499 : : {
2500 : 0 : visit (lower);
2501 : : }
2502 : 0 : push (Rust::Token::make (DOT_DOT, UNDEF_LOCATION));
2503 : 0 : for (auto &upper : pattern.get_lower_patterns ())
2504 : : {
2505 : 0 : visit (upper);
2506 : : }
2507 : 0 : }
2508 : :
2509 : : void
2510 : 3 : TokenCollector::visit (TuplePattern &pattern)
2511 : : {
2512 : 3 : push (Rust::Token::make (LEFT_PAREN, pattern.get_locus ()));
2513 : 3 : visit (pattern.get_items ());
2514 : 3 : push (Rust::Token::make (RIGHT_PAREN, UNDEF_LOCATION));
2515 : 3 : }
2516 : :
2517 : : void
2518 : 0 : TokenCollector::visit (GroupedPattern &pattern)
2519 : : {
2520 : 0 : push (Rust::Token::make (LEFT_PAREN, pattern.get_locus ()));
2521 : 0 : visit (pattern.get_pattern_in_parens ());
2522 : 0 : push (Rust::Token::make (RIGHT_PAREN, UNDEF_LOCATION));
2523 : 0 : }
2524 : :
2525 : : void
2526 : 0 : TokenCollector::visit (SlicePattern &pattern)
2527 : : {
2528 : 0 : push (Rust::Token::make (LEFT_SQUARE, pattern.get_locus ()));
2529 : 0 : visit_items_joined_by_separator (pattern.get_items (), COMMA);
2530 : 0 : push (Rust::Token::make (RIGHT_SQUARE, UNDEF_LOCATION));
2531 : 0 : }
2532 : :
2533 : : void
2534 : 1 : TokenCollector::visit (AltPattern &pattern)
2535 : : {
2536 : 1 : visit_items_joined_by_separator (pattern.get_alts (), PIPE);
2537 : 1 : }
2538 : :
2539 : : // rust-stmt.h
2540 : : void
2541 : 7 : TokenCollector::visit (EmptyStmt &)
2542 : 7 : {}
2543 : :
2544 : : void
2545 : 1132 : TokenCollector::visit (LetStmt &stmt)
2546 : : {
2547 : 1132 : push (Rust::Token::make (LET, stmt.get_locus ()));
2548 : 1132 : auto &pattern = stmt.get_pattern ();
2549 : 1132 : visit (pattern);
2550 : :
2551 : 1132 : if (stmt.has_type ())
2552 : : {
2553 : 202 : push (Rust::Token::make (COLON, UNDEF_LOCATION));
2554 : 202 : visit (stmt.get_type ());
2555 : : }
2556 : :
2557 : 1132 : if (stmt.has_init_expr ())
2558 : : {
2559 : 1046 : push (Rust::Token::make (EQUAL, UNDEF_LOCATION));
2560 : 1046 : visit (stmt.get_init_expr ());
2561 : : }
2562 : 1132 : push (Rust::Token::make (SEMICOLON, UNDEF_LOCATION));
2563 : 1132 : }
2564 : :
2565 : : void
2566 : 647 : TokenCollector::visit (ExprStmt &stmt)
2567 : : {
2568 : 647 : visit (stmt.get_expr ());
2569 : 647 : if (stmt.is_semicolon_followed ())
2570 : 898 : push (Rust::Token::make (SEMICOLON, UNDEF_LOCATION));
2571 : 647 : }
2572 : :
2573 : : // rust-type.h
2574 : : void
2575 : 27 : TokenCollector::visit (TraitBound &bound)
2576 : : {
2577 : : // Syntax:
2578 : : // ?? ForLifetimes? TypePath
2579 : : // | ( ?? ForLifetimes? TypePath )
2580 : :
2581 : 27 : if (bound.has_opening_question_mark ())
2582 : 2 : push (Rust::Token::make (QUESTION_MARK, bound.get_locus ()));
2583 : :
2584 : 27 : if (bound.has_for_lifetimes ())
2585 : 0 : visit (bound.get_for_lifetimes ());
2586 : :
2587 : 27 : visit (bound.get_type_path ());
2588 : 27 : }
2589 : :
2590 : : void
2591 : 0 : TokenCollector::visit (ImplTraitType &type)
2592 : : {
2593 : : // Syntax:
2594 : : // impl TypeParamBounds
2595 : : // TypeParamBounds :
2596 : : // TypeParamBound ( + TypeParamBound )* +?
2597 : :
2598 : 0 : push (Rust::Token::make (IMPL, type.get_locus ()));
2599 : 0 : visit_items_joined_by_separator (type.get_type_param_bounds (), PLUS);
2600 : 0 : }
2601 : :
2602 : : void
2603 : 0 : TokenCollector::visit (TraitObjectType &type)
2604 : : {
2605 : : // Syntax:
2606 : : // dyn? TypeParamBounds
2607 : : // TypeParamBounds :
2608 : : // TypeParamBound ( + TypeParamBound )* +?
2609 : :
2610 : 0 : if (type.is_dyn ())
2611 : 0 : push (Rust::Token::make (DYN, type.get_locus ()));
2612 : 0 : visit_items_joined_by_separator (type.get_type_param_bounds (), PLUS);
2613 : 0 : }
2614 : :
2615 : : void
2616 : 0 : TokenCollector::visit (ParenthesisedType &type)
2617 : : {
2618 : : // Syntax:
2619 : : // ( Type )
2620 : :
2621 : 0 : push (Rust::Token::make (LEFT_PAREN, type.get_locus ()));
2622 : 0 : visit (type.get_type_in_parens ());
2623 : 0 : push (Rust::Token::make (RIGHT_PAREN, UNDEF_LOCATION));
2624 : 0 : }
2625 : :
2626 : : void
2627 : 0 : TokenCollector::visit (ImplTraitTypeOneBound &type)
2628 : : {
2629 : : // Syntax:
2630 : : // impl TraitBound
2631 : :
2632 : 0 : push (Rust::Token::make (IMPL, type.get_locus ()));
2633 : 0 : visit (type.get_trait_bound ());
2634 : 0 : }
2635 : :
2636 : : void
2637 : 8 : TokenCollector::visit (TraitObjectTypeOneBound &type)
2638 : : {
2639 : : // Syntax:
2640 : : // dyn? TraitBound
2641 : :
2642 : 8 : if (type.is_dyn ())
2643 : 16 : push (Rust::Token::make (DYN, type.get_locus ()));
2644 : 8 : visit (type.get_trait_bound ());
2645 : 8 : }
2646 : :
2647 : : void
2648 : 15 : TokenCollector::visit (TupleType &type)
2649 : : {
2650 : : // Syntax:
2651 : : // ( )
2652 : : // | ( ( Type , )+ Type? )
2653 : :
2654 : 15 : push (Rust::Token::make (LEFT_PAREN, type.get_locus ()));
2655 : 15 : visit_items_joined_by_separator (type.get_elems (), COMMA);
2656 : 15 : push (Rust::Token::make (RIGHT_PAREN, UNDEF_LOCATION));
2657 : 15 : }
2658 : :
2659 : : void
2660 : 0 : TokenCollector::visit (NeverType &type)
2661 : : {
2662 : : // Syntax:
2663 : : // !
2664 : :
2665 : 0 : push (Rust::Token::make (EXCLAM, type.get_locus ()));
2666 : 0 : }
2667 : :
2668 : : void
2669 : 194 : TokenCollector::visit (RawPointerType &type)
2670 : : {
2671 : : // Syntax:
2672 : : // * ( mut | const ) TypeNoBounds
2673 : :
2674 : 194 : push (Rust::Token::make (ASTERISK, type.get_locus ()));
2675 : 194 : if (type.get_pointer_type () == RawPointerType::MUT)
2676 : 16 : push (Rust::Token::make (MUT, UNDEF_LOCATION));
2677 : : else /* RawPointerType::CONST */
2678 : 372 : push (Rust::Token::make (CONST, UNDEF_LOCATION));
2679 : :
2680 : 194 : visit (type.get_type_pointed_to ());
2681 : 194 : }
2682 : :
2683 : : void
2684 : 372 : TokenCollector::visit (ReferenceType &type)
2685 : : {
2686 : : // Syntax:
2687 : : // & Lifetime? mut? TypeNoBounds
2688 : :
2689 : 372 : push (Rust::Token::make (AMP, type.get_locus ()));
2690 : :
2691 : 372 : if (type.has_lifetime ())
2692 : : {
2693 : 372 : visit (type.get_lifetime ());
2694 : : }
2695 : :
2696 : 372 : if (type.get_has_mut ())
2697 : 70 : push (Rust::Token::make (MUT, UNDEF_LOCATION));
2698 : :
2699 : 372 : visit (type.get_type_referenced ());
2700 : 372 : }
2701 : :
2702 : : void
2703 : 8 : TokenCollector::visit (ArrayType &type)
2704 : : {
2705 : : // Syntax:
2706 : : // [ Type ; Expression ]
2707 : :
2708 : 8 : push (Rust::Token::make (LEFT_SQUARE, type.get_locus ()));
2709 : 8 : visit (type.get_elem_type ());
2710 : 8 : push (Rust::Token::make (SEMICOLON, UNDEF_LOCATION));
2711 : 8 : visit (type.get_size_expr ());
2712 : 8 : push (Rust::Token::make (RIGHT_SQUARE, UNDEF_LOCATION));
2713 : 8 : }
2714 : :
2715 : : void
2716 : 4 : TokenCollector::visit (SliceType &type)
2717 : : {
2718 : : // Syntax:
2719 : : // [ Type ]
2720 : :
2721 : 4 : push (Rust::Token::make (LEFT_SQUARE, type.get_locus ()));
2722 : 4 : visit (type.get_elem_type ());
2723 : 4 : push (Rust::Token::make (RIGHT_SQUARE, UNDEF_LOCATION));
2724 : 4 : }
2725 : :
2726 : : void
2727 : 3 : TokenCollector::visit (InferredType &type)
2728 : : {
2729 : : // Syntax:
2730 : : // _
2731 : :
2732 : 3 : push (Rust::Token::make (UNDERSCORE, type.get_locus ()));
2733 : 3 : }
2734 : :
2735 : : void
2736 : 1 : TokenCollector::visit (BareFunctionType &type)
2737 : : {
2738 : : // Syntax:
2739 : : // ForLifetimes? FunctionTypeQualifiers fn
2740 : : // ( FunctionParametersMaybeNamedVariadic? ) BareFunctionReturnType?
2741 : : //
2742 : : // BareFunctionReturnType:
2743 : : // -> TypeNoBounds
2744 : : //
2745 : : // FunctionParametersMaybeNamedVariadic :
2746 : : // MaybeNamedFunctionParameters | MaybeNamedFunctionParametersVariadic
2747 : : //
2748 : : // MaybeNamedFunctionParameters :
2749 : : // MaybeNamedParam ( , MaybeNamedParam )* ,?
2750 : : //
2751 : : // MaybeNamedFunctionParametersVariadic :
2752 : : // ( MaybeNamedParam , )* MaybeNamedParam , OuterAttribute* ...
2753 : :
2754 : 1 : if (type.has_for_lifetimes ())
2755 : 0 : visit (type.get_for_lifetimes ());
2756 : :
2757 : 1 : visit (type.get_function_qualifiers ());
2758 : :
2759 : 1 : push (Rust::Token::make (FN_KW, type.get_locus ()));
2760 : 1 : push (Rust::Token::make (LEFT_PAREN, UNDEF_LOCATION));
2761 : :
2762 : 1 : visit_items_joined_by_separator (type.get_function_params (), COMMA);
2763 : :
2764 : 1 : if (type.is_variadic ())
2765 : : {
2766 : 0 : push (Rust::Token::make (COMMA, UNDEF_LOCATION));
2767 : 0 : for (auto &item : type.get_variadic_attr ())
2768 : : {
2769 : 0 : visit (item);
2770 : : }
2771 : 0 : push (Rust::Token::make (ELLIPSIS, UNDEF_LOCATION));
2772 : : }
2773 : :
2774 : 1 : push (Rust::Token::make (RIGHT_PAREN, UNDEF_LOCATION));
2775 : :
2776 : 1 : if (type.has_return_type ())
2777 : : {
2778 : 0 : push (Rust::Token::make (RETURN_TYPE, UNDEF_LOCATION));
2779 : 0 : visit (type.get_return_type ());
2780 : : }
2781 : 1 : }
2782 : :
2783 : : void
2784 : 0 : TokenCollector::visit (AST::FormatArgs &fmt)
2785 : : {
2786 : 0 : rust_sorry_at (fmt.get_locus (), "%s:%u: unimplemented FormatArgs visitor",
2787 : : __FILE__, __LINE__);
2788 : 0 : }
2789 : :
2790 : : } // namespace AST
2791 : : } // namespace Rust
|
