blob: 4d1877619d10feec189773fc16f985080f8f087f [file] [log] [blame]
Carl Lerche058ff472019-02-13 16:23:52 -08001//! This crate automatically generates the definition of the `Visit`,
2//! `VisitMut`, and `Fold` traits in `syn` based on the `syn` source. It
3//! discovers structs and enums declared with the `ast_*` macros and generates
4//! the functions for those types.
5//!
6//! It makes a few assumptions about the target crate:
7//! 1. All structs which are discovered must be re-exported in the root of the
8//! crate, even if they were declared in a submodule.
9//! 2. This code cannot discover submodules which are located in subdirectories
10//! - only submodules located in the same directory.
11//! 3. The path to `syn` is hardcoded.
12
13use crate::types;
14use proc_macro2::TokenStream;
15
16use std::fs::File;
17use std::io::Write;
18
19const FOLD_SRC: &str = "../src/gen/fold.rs";
20const VISIT_SRC: &str = "../src/gen/visit.rs";
21const VISIT_MUT_SRC: &str = "../src/gen/visit_mut.rs";
22
23mod codegen {
24 use crate::types;
25 use inflections::Inflect;
26 use proc_macro2::{Span, TokenStream};
27 use quote::TokenStreamExt;
28 use syn::*;
29
30 #[derive(Default)]
31 pub struct State {
32 pub visit_trait: TokenStream,
33 pub visit_impl: TokenStream,
34 pub visit_mut_trait: TokenStream,
35 pub visit_mut_impl: TokenStream,
36 pub fold_trait: TokenStream,
37 pub fold_impl: TokenStream,
38 }
39
40 fn under_name(name: &str) -> Ident {
41 Ident::new(&name.to_snake_case(), Span::call_site())
42 }
43
44 #[derive(Debug, Eq, PartialEq, Copy, Clone)]
45 enum Kind {
46 Visit,
47 VisitMut,
48 Fold,
49 }
50
51 enum Operand {
52 Borrowed(TokenStream),
53 Owned(TokenStream),
54 }
55
56 use self::Kind::*;
57 use self::Operand::*;
58
59 impl Operand {
60 fn tokens(&self) -> &TokenStream {
61 match *self {
62 Borrowed(ref n) | Owned(ref n) => n,
63 }
64 }
65
66 fn ref_tokens(&self) -> TokenStream {
67 match *self {
68 Borrowed(ref n) => n.clone(),
69 Owned(ref n) => quote!(&#n),
70 }
71 }
72
73 fn ref_mut_tokens(&self) -> TokenStream {
74 match *self {
75 Borrowed(ref n) => n.clone(),
76 Owned(ref n) => quote!(&mut #n),
77 }
78 }
79
80 fn owned_tokens(&self) -> TokenStream {
81 match *self {
82 Borrowed(ref n) => quote!(*#n),
83 Owned(ref n) => n.clone(),
84 }
85 }
86 }
87
88 fn simple_visit(item: &str, kind: Kind, name: &Operand) -> TokenStream {
89 let ident = under_name(item);
90
91 match kind {
92 Visit => {
93 let method = Ident::new(&format!("visit_{}", ident), Span::call_site());
94 let name = name.ref_tokens();
95 quote! {
96 _visitor.#method(#name)
97 }
98 }
99 VisitMut => {
100 let method = Ident::new(&format!("visit_{}_mut", ident), Span::call_site());
101 let name = name.ref_mut_tokens();
102 quote! {
103 _visitor.#method(#name)
104 }
105 }
106 Fold => {
107 let method = Ident::new(&format!("fold_{}", ident), Span::call_site());
108 let name = name.owned_tokens();
109 quote! {
110 _visitor.#method(#name)
111 }
112 }
113 }
114 }
115
116 fn box_visit(
117 elem: &types::Type,
118 features: &types::Features,
David Tolnay157c7eb2019-02-15 13:21:48 -0800119 defs: &types::Definitions,
Carl Lerche058ff472019-02-13 16:23:52 -0800120 kind: Kind,
121 name: &Operand,
122 ) -> Option<TokenStream> {
123 let name = name.owned_tokens();
David Tolnay157c7eb2019-02-15 13:21:48 -0800124 let res = visit(elem, features, defs, kind, &Owned(quote!(*#name)))?;
Carl Lerche058ff472019-02-13 16:23:52 -0800125 Some(match kind {
126 Fold => quote! {
127 Box::new(#res)
128 },
129 Visit | VisitMut => res,
130 })
131 }
132
133 fn vec_visit(
134 elem: &types::Type,
135 features: &types::Features,
David Tolnay157c7eb2019-02-15 13:21:48 -0800136 defs: &types::Definitions,
Carl Lerche058ff472019-02-13 16:23:52 -0800137 kind: Kind,
138 name: &Operand,
139 ) -> Option<TokenStream> {
140 let operand = match kind {
141 Visit | VisitMut => Borrowed(quote!(it)),
142 Fold => Owned(quote!(it)),
143 };
David Tolnay157c7eb2019-02-15 13:21:48 -0800144 let val = visit(elem, features, defs, kind, &operand)?;
Carl Lerche058ff472019-02-13 16:23:52 -0800145 Some(match kind {
146 Visit => {
147 let name = name.ref_tokens();
148 quote! {
149 for it in #name {
150 #val
151 }
152 }
153 }
154 VisitMut => {
155 let name = name.ref_mut_tokens();
156 quote! {
157 for it in #name {
158 #val
159 }
160 }
161 }
162 Fold => {
163 let name = name.owned_tokens();
164 quote! {
165 FoldHelper::lift(#name, |it| { #val })
166 }
167 }
168 })
169 }
170
171 fn punctuated_visit(
172 elem: &types::Type,
173 features: &types::Features,
David Tolnay157c7eb2019-02-15 13:21:48 -0800174 defs: &types::Definitions,
Carl Lerche058ff472019-02-13 16:23:52 -0800175 kind: Kind,
176 name: &Operand,
177 ) -> Option<TokenStream> {
178 let operand = match kind {
179 Visit | VisitMut => Borrowed(quote!(it)),
180 Fold => Owned(quote!(it)),
181 };
David Tolnay157c7eb2019-02-15 13:21:48 -0800182 let val = visit(elem, features, defs, kind, &operand)?;
Carl Lerche058ff472019-02-13 16:23:52 -0800183 Some(match kind {
184 Visit => {
185 let name = name.ref_tokens();
186 quote! {
187 for el in Punctuated::pairs(#name) {
188 let it = el.value();
189 #val
190 }
191 }
192 }
193 VisitMut => {
194 let name = name.ref_mut_tokens();
195 quote! {
196 for mut el in Punctuated::pairs_mut(#name) {
197 let it = el.value_mut();
198 #val
199 }
200 }
201 }
202 Fold => {
203 let name = name.owned_tokens();
204 quote! {
205 FoldHelper::lift(#name, |it| { #val })
206 }
207 }
208 })
209 }
210
211 fn option_visit(
212 elem: &types::Type,
213 features: &types::Features,
David Tolnay157c7eb2019-02-15 13:21:48 -0800214 defs: &types::Definitions,
Carl Lerche058ff472019-02-13 16:23:52 -0800215 kind: Kind,
216 name: &Operand,
217 ) -> Option<TokenStream> {
218 let it = match kind {
219 Visit | VisitMut => Borrowed(quote!(it)),
220 Fold => Owned(quote!(it)),
221 };
David Tolnay157c7eb2019-02-15 13:21:48 -0800222 let val = visit(elem, features, defs, kind, &it)?;
Carl Lerche058ff472019-02-13 16:23:52 -0800223 let name = name.owned_tokens();
224 Some(match kind {
225 Visit => quote! {
226 if let Some(ref it) = #name {
227 #val
228 }
229 },
230 VisitMut => quote! {
231 if let Some(ref mut it) = #name {
232 #val
233 }
234 },
235 Fold => quote! {
236 (#name).map(|it| { #val })
237 },
238 })
239 }
240
241 fn tuple_visit(
242 elems: &[types::Type],
243 features: &types::Features,
David Tolnay157c7eb2019-02-15 13:21:48 -0800244 defs: &types::Definitions,
Carl Lerche058ff472019-02-13 16:23:52 -0800245 kind: Kind,
246 name: &Operand,
247 ) -> Option<TokenStream> {
248 if elems.is_empty() {
249 return None;
250 }
251
252 let mut code = TokenStream::new();
253 for (i, elem) in elems.iter().enumerate() {
254 let name = name.tokens();
255 let i = Index::from(i);
256 let it = Owned(quote!((#name).#i));
257 let val =
David Tolnay157c7eb2019-02-15 13:21:48 -0800258 visit(elem, features, defs, kind, &it).unwrap_or_else(|| noop_visit(kind, &it));
Carl Lerche058ff472019-02-13 16:23:52 -0800259 code.append_all(val);
260 match kind {
261 Fold => code.append_all(quote!(,)),
262 Visit | VisitMut => code.append_all(quote!(;)),
263 }
264 }
265 Some(match kind {
266 Fold => quote! {
267 (#code)
268 },
269 Visit | VisitMut => code,
270 })
271 }
272
David Tolnay157c7eb2019-02-15 13:21:48 -0800273 fn token_punct_visit(repr: &str, kind: Kind, name: &Operand) -> TokenStream {
274 let ty: TokenStream = syn::parse_str(&format!("Token![{}]", repr)).unwrap();
Carl Lerche058ff472019-02-13 16:23:52 -0800275 let name = name.tokens();
276 match kind {
277 Fold => quote! {
278 #ty(tokens_helper(_visitor, &#name.spans))
279 },
280 Visit => quote! {
281 tokens_helper(_visitor, &#name.spans)
282 },
283 VisitMut => quote! {
284 tokens_helper(_visitor, &mut #name.spans)
285 },
286 }
287 }
288
David Tolnay157c7eb2019-02-15 13:21:48 -0800289 fn token_keyword_visit(repr: &str, kind: Kind, name: &Operand) -> TokenStream {
290 let ty: TokenStream = syn::parse_str(&format!("Token![{}]", repr)).unwrap();
Carl Lerche058ff472019-02-13 16:23:52 -0800291 let name = name.tokens();
292 match kind {
293 Fold => quote! {
294 #ty(tokens_helper(_visitor, &#name.span))
295 },
296 Visit => quote! {
297 tokens_helper(_visitor, &#name.span)
298 },
299 VisitMut => quote! {
300 tokens_helper(_visitor, &mut #name.span)
301 },
302 }
303 }
304
305 fn token_group_visit(ty: &str, kind: Kind, name: &Operand) -> TokenStream {
306 let ty = Ident::new(ty, Span::call_site());
307 let name = name.tokens();
308 match kind {
309 Fold => quote! {
310 #ty(tokens_helper(_visitor, &#name.span))
311 },
312 Visit => quote! {
313 tokens_helper(_visitor, &#name.span)
314 },
315 VisitMut => quote! {
316 tokens_helper(_visitor, &mut #name.span)
317 },
318 }
319 }
320
321 fn noop_visit(kind: Kind, name: &Operand) -> TokenStream {
322 match kind {
323 Fold => name.owned_tokens(),
324 Visit | VisitMut => {
325 let name = name.tokens();
326 quote! {
327 skip!(#name)
328 }
329 }
330 }
331 }
332
333 fn visit(
334 ty: &types::Type,
335 features: &types::Features,
David Tolnay157c7eb2019-02-15 13:21:48 -0800336 defs: &types::Definitions,
Carl Lerche058ff472019-02-13 16:23:52 -0800337 kind: Kind,
338 name: &Operand,
339 ) -> Option<TokenStream> {
340 match ty {
David Tolnay157c7eb2019-02-15 13:21:48 -0800341 types::Type::Box(t) => box_visit(&*t, features, defs, kind, name),
342 types::Type::Vec(t) => vec_visit(&*t, features, defs, kind, name),
David Tolnay295141b2019-02-15 12:45:33 -0800343 types::Type::Punctuated(p) => {
David Tolnay157c7eb2019-02-15 13:21:48 -0800344 punctuated_visit(p.element(), features, defs, kind, name)
David Tolnay295141b2019-02-15 12:45:33 -0800345 }
David Tolnay157c7eb2019-02-15 13:21:48 -0800346 types::Type::Option(t) => option_visit(&*t, features, defs, kind, name),
347 types::Type::Tuple(t) => tuple_visit(t, features, defs, kind, name),
Carl Lerche058ff472019-02-13 16:23:52 -0800348 types::Type::Token(t) => {
David Tolnay157c7eb2019-02-15 13:21:48 -0800349 let repr = &defs.tokens[t];
350 let is_keyword = repr.chars().next().unwrap().is_alphabetic();
351 if is_keyword {
352 Some(token_keyword_visit(repr, kind, name))
Carl Lerche058ff472019-02-13 16:23:52 -0800353 } else {
David Tolnay157c7eb2019-02-15 13:21:48 -0800354 Some(token_punct_visit(repr, kind, name))
Carl Lerche058ff472019-02-13 16:23:52 -0800355 }
356 }
David Tolnay295141b2019-02-15 12:45:33 -0800357 types::Type::Group(t) => Some(token_group_visit(&t[..], kind, name)),
David Tolnayd3076572019-02-15 13:32:44 -0800358 types::Type::Syn(t) => {
Carl Lerche058ff472019-02-13 16:23:52 -0800359 fn requires_full(features: &types::Features) -> bool {
360 features.contains("full") && features.len() == 1
361 }
362
363 let mut res = simple_visit(t, kind, name);
364
David Tolnay157c7eb2019-02-15 13:21:48 -0800365 let target = defs.types.iter().find(|ty| ty.ident() == t).unwrap();
Carl Lerche058ff472019-02-13 16:23:52 -0800366
367 Some(
368 if requires_full(target.features()) && !requires_full(features) {
369 quote! {
370 full!(#res)
371 }
372 } else {
373 res
374 },
375 )
376 }
377 types::Type::Ext(_) | types::Type::Std(_) => None,
378 }
379 }
380
381 fn visit_features(features: &types::Features) -> TokenStream {
382 match features.len() {
383 0 => quote!(),
384 1 => {
385 let feature = &features[0];
386 quote!(#[cfg(feature = #feature)])
387 }
388 _ => {
389 let features = features.iter().map(|feature| quote!(feature = #feature));
390
391 quote!(#[cfg(any( #(#features),* ))])
392 }
393 }
394 }
395
David Tolnay157c7eb2019-02-15 13:21:48 -0800396 pub fn generate(state: &mut State, s: &types::Node, defs: &types::Definitions) {
Carl Lerche058ff472019-02-13 16:23:52 -0800397 let features = visit_features(s.features());
398 let under_name = under_name(s.ident());
399 let ty = Ident::new(s.ident(), Span::call_site());
400 let visit_fn = Ident::new(&format!("visit_{}", under_name), Span::call_site());
401 let visit_mut_fn = Ident::new(&format!("visit_{}_mut", under_name), Span::call_site());
402 let fold_fn = Ident::new(&format!("fold_{}", under_name), Span::call_site());
403
404 let mut visit_impl = TokenStream::new();
405 let mut visit_mut_impl = TokenStream::new();
406 let mut fold_impl = TokenStream::new();
407
408 match s {
David Tolnayf9bb8ff2019-02-15 13:10:14 -0800409 types::Node::Enum(ref e) => {
Carl Lerche058ff472019-02-13 16:23:52 -0800410 let mut visit_variants = TokenStream::new();
411 let mut visit_mut_variants = TokenStream::new();
412 let mut fold_variants = TokenStream::new();
413
414 for variant in e.variants() {
415 let variant_ident = Ident::new(variant.ident(), Span::call_site());
416
417 if variant.fields().is_empty() {
418 visit_variants.append_all(quote! {
419 #ty::#variant_ident => {}
420 });
421 visit_mut_variants.append_all(quote! {
422 #ty::#variant_ident => {}
423 });
424 fold_variants.append_all(quote! {
425 #ty::#variant_ident => {
426 #ty::#variant_ident
427 }
428 });
429 } else {
430 let mut bind_visit_fields = TokenStream::new();
431 let mut bind_visit_mut_fields = TokenStream::new();
432 let mut bind_fold_fields = TokenStream::new();
433
434 let mut visit_fields = TokenStream::new();
435 let mut visit_mut_fields = TokenStream::new();
436 let mut fold_fields = TokenStream::new();
437
438 for (idx, ty) in variant.fields().iter().enumerate() {
439 let name = format!("_binding_{}", idx);
440 let binding = Ident::new(&name, Span::call_site());
441
442 bind_visit_fields.append_all(quote! {
443 ref #binding,
444 });
445 bind_visit_mut_fields.append_all(quote! {
446 ref mut #binding,
447 });
448 bind_fold_fields.append_all(quote! {
449 #binding,
450 });
451
452 let borrowed_binding = Borrowed(quote!(#binding));
453 let owned_binding = Owned(quote!(#binding));
454
455 visit_fields.append_all(
David Tolnay157c7eb2019-02-15 13:21:48 -0800456 visit(ty, s.features(), defs, Visit, &borrowed_binding)
Carl Lerche058ff472019-02-13 16:23:52 -0800457 .unwrap_or_else(|| noop_visit(Visit, &borrowed_binding)),
458 );
459 visit_mut_fields.append_all(
David Tolnay157c7eb2019-02-15 13:21:48 -0800460 visit(ty, s.features(), defs, VisitMut, &borrowed_binding)
Carl Lerche058ff472019-02-13 16:23:52 -0800461 .unwrap_or_else(|| noop_visit(VisitMut, &borrowed_binding)),
462 );
463 fold_fields.append_all(
David Tolnay157c7eb2019-02-15 13:21:48 -0800464 visit(ty, s.features(), defs, Fold, &owned_binding)
Carl Lerche058ff472019-02-13 16:23:52 -0800465 .unwrap_or_else(|| noop_visit(Fold, &owned_binding)),
466 );
467
468 visit_fields.append_all(quote!(;));
469 visit_mut_fields.append_all(quote!(;));
470 fold_fields.append_all(quote!(,));
471 }
472
473 visit_variants.append_all(quote! {
474 #ty::#variant_ident(#bind_visit_fields) => {
475 #visit_fields
476 }
477 });
478
479 visit_mut_variants.append_all(quote! {
480 #ty::#variant_ident(#bind_visit_mut_fields) => {
481 #visit_mut_fields
482 }
483 });
484
485 fold_variants.append_all(quote! {
486 #ty::#variant_ident(#bind_fold_fields) => {
487 #ty::#variant_ident(
488 #fold_fields
489 )
490 }
491 });
492 }
493 }
494
495 visit_impl.append_all(quote! {
496 match *_i {
497 #visit_variants
498 }
499 });
500
501 visit_mut_impl.append_all(quote! {
502 match *_i {
503 #visit_mut_variants
504 }
505 });
506
507 fold_impl.append_all(quote! {
508 match _i {
509 #fold_variants
510 }
511 });
512 }
David Tolnayf9bb8ff2019-02-15 13:10:14 -0800513 types::Node::Struct(ref v) => {
Carl Lerche058ff472019-02-13 16:23:52 -0800514 let mut fold_fields = TokenStream::new();
515
516 for field in v.fields() {
517 let id = Ident::new(field.ident(), Span::call_site());
518 let ref_toks = Owned(quote!(_i.#id));
David Tolnay157c7eb2019-02-15 13:21:48 -0800519 let visit_field = visit(field.ty(), v.features(), defs, Visit, &ref_toks)
Carl Lerche058ff472019-02-13 16:23:52 -0800520 .unwrap_or_else(|| noop_visit(Visit, &ref_toks));
521 visit_impl.append_all(quote! {
522 #visit_field;
523 });
524 let visit_mut_field =
David Tolnay157c7eb2019-02-15 13:21:48 -0800525 visit(field.ty(), v.features(), defs, VisitMut, &ref_toks)
Carl Lerche058ff472019-02-13 16:23:52 -0800526 .unwrap_or_else(|| noop_visit(VisitMut, &ref_toks));
527 visit_mut_impl.append_all(quote! {
528 #visit_mut_field;
529 });
David Tolnay157c7eb2019-02-15 13:21:48 -0800530 let fold = visit(field.ty(), v.features(), defs, Fold, &ref_toks)
Carl Lerche058ff472019-02-13 16:23:52 -0800531 .unwrap_or_else(|| noop_visit(Fold, &ref_toks));
532
533 fold_fields.append_all(quote! {
534 #id: #fold,
535 });
536 }
537
538 if !v.fields().is_empty() {
539 fold_impl.append_all(quote! {
540 #ty {
541 #fold_fields
542 }
543 })
544 } else {
545 if ty == "Ident" {
546 fold_impl.append_all(quote! {
547 let mut _i = _i;
548 let span = _visitor.fold_span(_i.span());
549 _i.set_span(span);
550 });
551 }
552 fold_impl.append_all(quote! {
553 _i
554 });
555 }
556 }
557 }
558
559 let mut include_fold_impl = true;
David Tolnayf9bb8ff2019-02-15 13:10:14 -0800560 if let types::Node::Struct(ref data) = s {
Carl Lerche058ff472019-02-13 16:23:52 -0800561 if !data.all_fields_pub() {
562 include_fold_impl = false;
563 }
564 }
565
566 state.visit_trait.append_all(quote! {
567 #features
568 fn #visit_fn(&mut self, i: &'ast #ty) {
569 #visit_fn(self, i)
570 }
571 });
572
573 state.visit_impl.append_all(quote! {
574 #features
575 pub fn #visit_fn<'ast, V: Visit<'ast> + ?Sized>(
576 _visitor: &mut V, _i: &'ast #ty
577 ) {
578 #visit_impl
579 }
580 });
581
582 state.visit_mut_trait.append_all(quote! {
583 #features
584 fn #visit_mut_fn(&mut self, i: &mut #ty) {
585 #visit_mut_fn(self, i)
586 }
587 });
588
589 state.visit_mut_impl.append_all(quote! {
590 #features
591 pub fn #visit_mut_fn<V: VisitMut + ?Sized>(
592 _visitor: &mut V, _i: &mut #ty
593 ) {
594 #visit_mut_impl
595 }
596 });
597
598 state.fold_trait.append_all(quote! {
599 #features
600 fn #fold_fn(&mut self, i: #ty) -> #ty {
601 #fold_fn(self, i)
602 }
603 });
604
605 if include_fold_impl {
606 state.fold_impl.append_all(quote! {
607 #features
608 pub fn #fold_fn<V: Fold + ?Sized>(
609 _visitor: &mut V, _i: #ty
610 ) -> #ty {
611 #fold_impl
612 }
613 });
614 }
615 }
616}
617
618fn write_file(path: &str, content: TokenStream) {
619 let mut file = File::create(path).unwrap();
620 write!(
621 file,
622 "// THIS FILE IS AUTOMATICALLY GENERATED; DO NOT EDIT\n\n"
623 )
624 .unwrap();
625 let mut config = rustfmt::Config::default();
626 config.set().emit_mode(rustfmt::EmitMode::Stdout);
627 config.set().verbose(rustfmt::Verbosity::Quiet);
628 config.set().format_macro_matchers(true);
629 config.set().normalize_doc_attributes(true);
630 let mut session = rustfmt::Session::new(config, Some(&mut file));
631 session
632 .format(rustfmt::Input::Text(content.to_string()))
633 .unwrap();
634}
635
David Tolnayf9bb8ff2019-02-15 13:10:14 -0800636pub fn generate(defs: &types::Definitions) {
Carl Lerche058ff472019-02-13 16:23:52 -0800637 let mut state = codegen::State::default();
David Tolnayf9bb8ff2019-02-15 13:10:14 -0800638 for s in &defs.types {
David Tolnay157c7eb2019-02-15 13:21:48 -0800639 codegen::generate(&mut state, s, defs);
Carl Lerche058ff472019-02-13 16:23:52 -0800640 }
641
642 let full_macro = quote! {
643 #[cfg(feature = "full")]
644 macro_rules! full {
645 ($e:expr) => {
646 $e
647 };
648 }
649
650 #[cfg(all(feature = "derive", not(feature = "full")))]
651 macro_rules! full {
652 ($e:expr) => {
653 unreachable!()
654 };
655 }
656 };
657
658 let skip_macro = quote! {
659 #[cfg(any(feature = "full", feature = "derive"))]
660 macro_rules! skip {
661 ($($tt:tt)*) => {};
662 }
663 };
664
665 let fold_trait = state.fold_trait;
666 let fold_impl = state.fold_impl;
667 write_file(
668 FOLD_SRC,
669 quote! {
670 // Unreachable code is generated sometimes without the full feature.
671 #![allow(unreachable_code)]
672
673 use *;
674 #[cfg(any(feature = "full", feature = "derive"))]
675 use token::{Brace, Bracket, Paren, Group};
676 use proc_macro2::Span;
677 #[cfg(any(feature = "full", feature = "derive"))]
678 use gen::helper::fold::*;
679
680 #full_macro
681
682 /// Syntax tree traversal to transform the nodes of an owned syntax tree.
683 ///
684 /// See the [module documentation] for details.
685 ///
686 /// [module documentation]: index.html
687 ///
688 /// *This trait is available if Syn is built with the `"fold"` feature.*
689 pub trait Fold {
690 #fold_trait
691 }
692
693 #[cfg(any(feature = "full", feature = "derive"))]
694 macro_rules! fold_span_only {
695 ($f:ident : $t:ident) => {
696 pub fn $f<V: Fold + ?Sized>(_visitor: &mut V, mut _i: $t) -> $t {
697 let span = _visitor.fold_span(_i.span());
698 _i.set_span(span);
699 _i
700 }
701 }
702 }
703
704 #[cfg(any(feature = "full", feature = "derive"))]
705 fold_span_only!(fold_lit_byte: LitByte);
706 #[cfg(any(feature = "full", feature = "derive"))]
707 fold_span_only!(fold_lit_byte_str: LitByteStr);
708 #[cfg(any(feature = "full", feature = "derive"))]
709 fold_span_only!(fold_lit_char: LitChar);
710 #[cfg(any(feature = "full", feature = "derive"))]
711 fold_span_only!(fold_lit_float: LitFloat);
712 #[cfg(any(feature = "full", feature = "derive"))]
713 fold_span_only!(fold_lit_int: LitInt);
714 #[cfg(any(feature = "full", feature = "derive"))]
715 fold_span_only!(fold_lit_str: LitStr);
716
717 #fold_impl
718 },
719 );
720
721 let visit_trait = state.visit_trait;
722 let visit_impl = state.visit_impl;
723 write_file(
724 VISIT_SRC,
725 quote! {
726 #![cfg_attr(feature = "cargo-clippy", allow(trivially_copy_pass_by_ref))]
727
728 use *;
729 #[cfg(any(feature = "full", feature = "derive"))]
730 use punctuated::Punctuated;
731 use proc_macro2::Span;
732 #[cfg(any(feature = "full", feature = "derive"))]
733 use gen::helper::visit::*;
734
735 #full_macro
736 #skip_macro
737
738 /// Syntax tree traversal to walk a shared borrow of a syntax tree.
739 ///
740 /// See the [module documentation] for details.
741 ///
742 /// [module documentation]: index.html
743 ///
744 /// *This trait is available if Syn is built with the `"visit"` feature.*
745 pub trait Visit<'ast> {
746 #visit_trait
747 }
748
749 #visit_impl
750 },
751 );
752
753 let visit_mut_trait = state.visit_mut_trait;
754 let visit_mut_impl = state.visit_mut_impl;
755 write_file(
756 VISIT_MUT_SRC,
757 quote! {
758 use *;
759 #[cfg(any(feature = "full", feature = "derive"))]
760 use punctuated::Punctuated;
761 use proc_macro2::Span;
762 #[cfg(any(feature = "full", feature = "derive"))]
763 use gen::helper::visit_mut::*;
764
765 #full_macro
766 #skip_macro
767
768 /// Syntax tree traversal to mutate an exclusive borrow of a syntax tree in
769 /// place.
770 ///
771 /// See the [module documentation] for details.
772 ///
773 /// [module documentation]: index.html
774 ///
775 /// *This trait is available if Syn is built with the `"visit-mut"` feature.*
776 pub trait VisitMut {
777 #visit_mut_trait
778 }
779
780 #visit_mut_impl
781 },
782 );
783}