blob: 83ddc4ed459a0de69f2d77260c46441fabeda15b [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 Tolnay485973a2019-02-15 14:42:48 -0800343 types::Type::Punctuated(p) => punctuated_visit(&p.element, features, defs, kind, name),
David Tolnay157c7eb2019-02-15 13:21:48 -0800344 types::Type::Option(t) => option_visit(&*t, features, defs, kind, name),
345 types::Type::Tuple(t) => tuple_visit(t, features, defs, kind, name),
Carl Lerche058ff472019-02-13 16:23:52 -0800346 types::Type::Token(t) => {
David Tolnay157c7eb2019-02-15 13:21:48 -0800347 let repr = &defs.tokens[t];
348 let is_keyword = repr.chars().next().unwrap().is_alphabetic();
349 if is_keyword {
350 Some(token_keyword_visit(repr, kind, name))
Carl Lerche058ff472019-02-13 16:23:52 -0800351 } else {
David Tolnay157c7eb2019-02-15 13:21:48 -0800352 Some(token_punct_visit(repr, kind, name))
Carl Lerche058ff472019-02-13 16:23:52 -0800353 }
354 }
David Tolnay295141b2019-02-15 12:45:33 -0800355 types::Type::Group(t) => Some(token_group_visit(&t[..], kind, name)),
David Tolnayd3076572019-02-15 13:32:44 -0800356 types::Type::Syn(t) => {
Carl Lerche058ff472019-02-13 16:23:52 -0800357 fn requires_full(features: &types::Features) -> bool {
358 features.contains("full") && features.len() == 1
359 }
360
361 let mut res = simple_visit(t, kind, name);
362
David Tolnayc2be7b22019-02-15 18:48:31 -0800363 let target = defs.types.iter().find(|ty| ty.ident == *t).unwrap();
Carl Lerche058ff472019-02-13 16:23:52 -0800364
365 Some(
David Tolnayc2be7b22019-02-15 18:48:31 -0800366 if requires_full(&target.features) && !requires_full(features) {
Carl Lerche058ff472019-02-13 16:23:52 -0800367 quote! {
368 full!(#res)
369 }
370 } else {
371 res
372 },
373 )
374 }
Carl Lerchecbf7cc12019-02-15 14:09:31 -0800375 types::Type::Ext(t) if super::TERMINAL_TYPES.contains(&&t[..]) => {
376 Some(simple_visit(t, kind, name))
377 }
Carl Lerche058ff472019-02-13 16:23:52 -0800378 types::Type::Ext(_) | types::Type::Std(_) => None,
379 }
380 }
381
382 fn visit_features(features: &types::Features) -> TokenStream {
383 match features.len() {
384 0 => quote!(),
385 1 => {
386 let feature = &features[0];
387 quote!(#[cfg(feature = #feature)])
388 }
389 _ => {
390 let features = features.iter().map(|feature| quote!(feature = #feature));
391
392 quote!(#[cfg(any( #(#features),* ))])
393 }
394 }
395 }
396
David Tolnay157c7eb2019-02-15 13:21:48 -0800397 pub fn generate(state: &mut State, s: &types::Node, defs: &types::Definitions) {
David Tolnayc2be7b22019-02-15 18:48:31 -0800398 let features = visit_features(&s.features);
399 let under_name = under_name(&s.ident);
400 let ty = Ident::new(&s.ident, Span::call_site());
Carl Lerche058ff472019-02-13 16:23:52 -0800401 let visit_fn = Ident::new(&format!("visit_{}", under_name), Span::call_site());
402 let visit_mut_fn = Ident::new(&format!("visit_{}_mut", under_name), Span::call_site());
403 let fold_fn = Ident::new(&format!("fold_{}", under_name), Span::call_site());
404
405 let mut visit_impl = TokenStream::new();
406 let mut visit_mut_impl = TokenStream::new();
407 let mut fold_impl = TokenStream::new();
408
David Tolnayc2be7b22019-02-15 18:48:31 -0800409 match &s.data {
410 types::Data::Enum(variants) => {
Carl Lerche058ff472019-02-13 16:23:52 -0800411 let mut visit_variants = TokenStream::new();
412 let mut visit_mut_variants = TokenStream::new();
413 let mut fold_variants = TokenStream::new();
414
David Tolnayc2be7b22019-02-15 18:48:31 -0800415 for variant in variants {
David Tolnay485973a2019-02-15 14:42:48 -0800416 let variant_ident = Ident::new(&variant.ident, Span::call_site());
Carl Lerche058ff472019-02-13 16:23:52 -0800417
David Tolnay485973a2019-02-15 14:42:48 -0800418 if variant.fields.is_empty() {
Carl Lerche058ff472019-02-13 16:23:52 -0800419 visit_variants.append_all(quote! {
420 #ty::#variant_ident => {}
421 });
422 visit_mut_variants.append_all(quote! {
423 #ty::#variant_ident => {}
424 });
425 fold_variants.append_all(quote! {
426 #ty::#variant_ident => {
427 #ty::#variant_ident
428 }
429 });
430 } else {
431 let mut bind_visit_fields = TokenStream::new();
432 let mut bind_visit_mut_fields = TokenStream::new();
433 let mut bind_fold_fields = TokenStream::new();
434
435 let mut visit_fields = TokenStream::new();
436 let mut visit_mut_fields = TokenStream::new();
437 let mut fold_fields = TokenStream::new();
438
David Tolnay485973a2019-02-15 14:42:48 -0800439 for (idx, ty) in variant.fields.iter().enumerate() {
Carl Lerche058ff472019-02-13 16:23:52 -0800440 let name = format!("_binding_{}", idx);
441 let binding = Ident::new(&name, Span::call_site());
442
443 bind_visit_fields.append_all(quote! {
444 ref #binding,
445 });
446 bind_visit_mut_fields.append_all(quote! {
447 ref mut #binding,
448 });
449 bind_fold_fields.append_all(quote! {
450 #binding,
451 });
452
453 let borrowed_binding = Borrowed(quote!(#binding));
454 let owned_binding = Owned(quote!(#binding));
455
456 visit_fields.append_all(
David Tolnayc2be7b22019-02-15 18:48:31 -0800457 visit(ty, &s.features, defs, Visit, &borrowed_binding)
Carl Lerche058ff472019-02-13 16:23:52 -0800458 .unwrap_or_else(|| noop_visit(Visit, &borrowed_binding)),
459 );
460 visit_mut_fields.append_all(
David Tolnayc2be7b22019-02-15 18:48:31 -0800461 visit(ty, &s.features, defs, VisitMut, &borrowed_binding)
Carl Lerche058ff472019-02-13 16:23:52 -0800462 .unwrap_or_else(|| noop_visit(VisitMut, &borrowed_binding)),
463 );
464 fold_fields.append_all(
David Tolnayc2be7b22019-02-15 18:48:31 -0800465 visit(ty, &s.features, defs, Fold, &owned_binding)
Carl Lerche058ff472019-02-13 16:23:52 -0800466 .unwrap_or_else(|| noop_visit(Fold, &owned_binding)),
467 );
468
469 visit_fields.append_all(quote!(;));
470 visit_mut_fields.append_all(quote!(;));
471 fold_fields.append_all(quote!(,));
472 }
473
474 visit_variants.append_all(quote! {
475 #ty::#variant_ident(#bind_visit_fields) => {
476 #visit_fields
477 }
478 });
479
480 visit_mut_variants.append_all(quote! {
481 #ty::#variant_ident(#bind_visit_mut_fields) => {
482 #visit_mut_fields
483 }
484 });
485
486 fold_variants.append_all(quote! {
487 #ty::#variant_ident(#bind_fold_fields) => {
488 #ty::#variant_ident(
489 #fold_fields
490 )
491 }
492 });
493 }
494 }
495
496 visit_impl.append_all(quote! {
497 match *_i {
498 #visit_variants
499 }
500 });
501
502 visit_mut_impl.append_all(quote! {
503 match *_i {
504 #visit_mut_variants
505 }
506 });
507
508 fold_impl.append_all(quote! {
509 match _i {
510 #fold_variants
511 }
512 });
513 }
David Tolnayc2be7b22019-02-15 18:48:31 -0800514 types::Data::Struct(fields) => {
Carl Lerche058ff472019-02-13 16:23:52 -0800515 let mut fold_fields = TokenStream::new();
516
David Tolnayc2be7b22019-02-15 18:48:31 -0800517 for (field, ty) in fields {
David Tolnay485973a2019-02-15 14:42:48 -0800518 let id = Ident::new(&field, Span::call_site());
Carl Lerche058ff472019-02-13 16:23:52 -0800519 let ref_toks = Owned(quote!(_i.#id));
David Tolnayc2be7b22019-02-15 18:48:31 -0800520 let visit_field = visit(&ty, &s.features, defs, Visit, &ref_toks)
Carl Lerche058ff472019-02-13 16:23:52 -0800521 .unwrap_or_else(|| noop_visit(Visit, &ref_toks));
522 visit_impl.append_all(quote! {
523 #visit_field;
524 });
David Tolnayc2be7b22019-02-15 18:48:31 -0800525 let visit_mut_field = visit(&ty, &s.features, defs, VisitMut, &ref_toks)
David Tolnay47fe7402019-02-15 14:35:25 -0800526 .unwrap_or_else(|| noop_visit(VisitMut, &ref_toks));
Carl Lerche058ff472019-02-13 16:23:52 -0800527 visit_mut_impl.append_all(quote! {
528 #visit_mut_field;
529 });
David Tolnayc2be7b22019-02-15 18:48:31 -0800530 let fold = visit(&ty, &s.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
David Tolnayc2be7b22019-02-15 18:48:31 -0800538 if !fields.is_empty() {
Carl Lerche058ff472019-02-13 16:23:52 -0800539 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 }
David Tolnayc2be7b22019-02-15 18:48:31 -0800557 types::Data::Private => {
558 if ty == "Ident" {
559 fold_impl.append_all(quote! {
560 let mut _i = _i;
561 let span = _visitor.fold_span(_i.span());
562 _i.set_span(span);
563 });
564 }
565 fold_impl.append_all(quote! {
566 _i
567 });
Carl Lerche058ff472019-02-13 16:23:52 -0800568 }
569 }
570
David Tolnayc2be7b22019-02-15 18:48:31 -0800571 let include_fold_impl = match &s.data {
572 types::Data::Private => super::TERMINAL_TYPES.contains(&s.ident.as_str()),
573 types::Data::Struct(_) | types::Data::Enum(_) => true,
574 };
575
Carl Lerche058ff472019-02-13 16:23:52 -0800576 state.visit_trait.append_all(quote! {
577 #features
578 fn #visit_fn(&mut self, i: &'ast #ty) {
579 #visit_fn(self, i)
580 }
581 });
582
583 state.visit_impl.append_all(quote! {
584 #features
585 pub fn #visit_fn<'ast, V: Visit<'ast> + ?Sized>(
586 _visitor: &mut V, _i: &'ast #ty
587 ) {
588 #visit_impl
589 }
590 });
591
592 state.visit_mut_trait.append_all(quote! {
593 #features
594 fn #visit_mut_fn(&mut self, i: &mut #ty) {
595 #visit_mut_fn(self, i)
596 }
597 });
598
599 state.visit_mut_impl.append_all(quote! {
600 #features
601 pub fn #visit_mut_fn<V: VisitMut + ?Sized>(
602 _visitor: &mut V, _i: &mut #ty
603 ) {
604 #visit_mut_impl
605 }
606 });
607
608 state.fold_trait.append_all(quote! {
609 #features
610 fn #fold_fn(&mut self, i: #ty) -> #ty {
611 #fold_fn(self, i)
612 }
613 });
614
615 if include_fold_impl {
616 state.fold_impl.append_all(quote! {
617 #features
618 pub fn #fold_fn<V: Fold + ?Sized>(
619 _visitor: &mut V, _i: #ty
620 ) -> #ty {
621 #fold_impl
622 }
623 });
624 }
625 }
626}
627
628fn write_file(path: &str, content: TokenStream) {
629 let mut file = File::create(path).unwrap();
630 write!(
631 file,
632 "// THIS FILE IS AUTOMATICALLY GENERATED; DO NOT EDIT\n\n"
633 )
634 .unwrap();
635 let mut config = rustfmt::Config::default();
636 config.set().emit_mode(rustfmt::EmitMode::Stdout);
637 config.set().verbose(rustfmt::Verbosity::Quiet);
638 config.set().format_macro_matchers(true);
639 config.set().normalize_doc_attributes(true);
640 let mut session = rustfmt::Session::new(config, Some(&mut file));
641 session
642 .format(rustfmt::Input::Text(content.to_string()))
643 .unwrap();
644}
645
Carl Lerchecbf7cc12019-02-15 14:09:31 -0800646const TERMINAL_TYPES: &[&str] = &["Span", "Ident"];
647
David Tolnayf9bb8ff2019-02-15 13:10:14 -0800648pub fn generate(defs: &types::Definitions) {
Carl Lerchecbf7cc12019-02-15 14:09:31 -0800649 let mut defs = defs.clone();
650
651 for &tt in TERMINAL_TYPES {
David Tolnayc2be7b22019-02-15 18:48:31 -0800652 defs.types.push(types::Node {
653 ident: tt.to_string(),
654 features: types::Features::default(),
655 data: types::Data::Private,
656 });
Carl Lerchecbf7cc12019-02-15 14:09:31 -0800657 }
658
Carl Lerche058ff472019-02-13 16:23:52 -0800659 let mut state = codegen::State::default();
David Tolnayf9bb8ff2019-02-15 13:10:14 -0800660 for s in &defs.types {
Carl Lerchecbf7cc12019-02-15 14:09:31 -0800661 codegen::generate(&mut state, s, &defs);
Carl Lerche058ff472019-02-13 16:23:52 -0800662 }
663
664 let full_macro = quote! {
665 #[cfg(feature = "full")]
666 macro_rules! full {
667 ($e:expr) => {
668 $e
669 };
670 }
671
672 #[cfg(all(feature = "derive", not(feature = "full")))]
673 macro_rules! full {
674 ($e:expr) => {
675 unreachable!()
676 };
677 }
678 };
679
680 let skip_macro = quote! {
681 #[cfg(any(feature = "full", feature = "derive"))]
682 macro_rules! skip {
683 ($($tt:tt)*) => {};
684 }
685 };
686
687 let fold_trait = state.fold_trait;
688 let fold_impl = state.fold_impl;
689 write_file(
690 FOLD_SRC,
691 quote! {
692 // Unreachable code is generated sometimes without the full feature.
693 #![allow(unreachable_code)]
694
695 use *;
696 #[cfg(any(feature = "full", feature = "derive"))]
697 use token::{Brace, Bracket, Paren, Group};
698 use proc_macro2::Span;
699 #[cfg(any(feature = "full", feature = "derive"))]
700 use gen::helper::fold::*;
701
702 #full_macro
703
704 /// Syntax tree traversal to transform the nodes of an owned syntax tree.
705 ///
706 /// See the [module documentation] for details.
707 ///
708 /// [module documentation]: index.html
709 ///
710 /// *This trait is available if Syn is built with the `"fold"` feature.*
711 pub trait Fold {
712 #fold_trait
713 }
714
715 #[cfg(any(feature = "full", feature = "derive"))]
716 macro_rules! fold_span_only {
717 ($f:ident : $t:ident) => {
718 pub fn $f<V: Fold + ?Sized>(_visitor: &mut V, mut _i: $t) -> $t {
719 let span = _visitor.fold_span(_i.span());
720 _i.set_span(span);
721 _i
722 }
723 }
724 }
725
726 #[cfg(any(feature = "full", feature = "derive"))]
727 fold_span_only!(fold_lit_byte: LitByte);
728 #[cfg(any(feature = "full", feature = "derive"))]
729 fold_span_only!(fold_lit_byte_str: LitByteStr);
730 #[cfg(any(feature = "full", feature = "derive"))]
731 fold_span_only!(fold_lit_char: LitChar);
732 #[cfg(any(feature = "full", feature = "derive"))]
733 fold_span_only!(fold_lit_float: LitFloat);
734 #[cfg(any(feature = "full", feature = "derive"))]
735 fold_span_only!(fold_lit_int: LitInt);
736 #[cfg(any(feature = "full", feature = "derive"))]
737 fold_span_only!(fold_lit_str: LitStr);
738
739 #fold_impl
740 },
741 );
742
743 let visit_trait = state.visit_trait;
744 let visit_impl = state.visit_impl;
745 write_file(
746 VISIT_SRC,
747 quote! {
748 #![cfg_attr(feature = "cargo-clippy", allow(trivially_copy_pass_by_ref))]
749
750 use *;
751 #[cfg(any(feature = "full", feature = "derive"))]
752 use punctuated::Punctuated;
753 use proc_macro2::Span;
754 #[cfg(any(feature = "full", feature = "derive"))]
755 use gen::helper::visit::*;
756
757 #full_macro
758 #skip_macro
759
760 /// Syntax tree traversal to walk a shared borrow of a syntax tree.
761 ///
762 /// See the [module documentation] for details.
763 ///
764 /// [module documentation]: index.html
765 ///
766 /// *This trait is available if Syn is built with the `"visit"` feature.*
767 pub trait Visit<'ast> {
768 #visit_trait
769 }
770
771 #visit_impl
772 },
773 );
774
775 let visit_mut_trait = state.visit_mut_trait;
776 let visit_mut_impl = state.visit_mut_impl;
777 write_file(
778 VISIT_MUT_SRC,
779 quote! {
780 use *;
781 #[cfg(any(feature = "full", feature = "derive"))]
782 use punctuated::Punctuated;
783 use proc_macro2::Span;
784 #[cfg(any(feature = "full", feature = "derive"))]
785 use gen::helper::visit_mut::*;
786
787 #full_macro
788 #skip_macro
789
790 /// Syntax tree traversal to mutate an exclusive borrow of a syntax tree in
791 /// place.
792 ///
793 /// See the [module documentation] for details.
794 ///
795 /// [module documentation]: index.html
796 ///
797 /// *This trait is available if Syn is built with the `"visit-mut"` feature.*
798 pub trait VisitMut {
799 #visit_mut_trait
800 }
801
802 #visit_mut_impl
803 },
804 );
805}