David Tolnay | 5553501 | 2018-01-05 16:39:23 -0800 | [diff] [blame] | 1 | // Copyright 2018 Syn Developers |
| 2 | // |
| 3 | // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or |
| 4 | // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license |
| 5 | // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your |
| 6 | // option. This file may not be copied, modified, or distributed |
| 7 | // except according to those terms. |
| 8 | |
David Tolnay | f60f426 | 2017-12-28 19:17:58 -0500 | [diff] [blame] | 9 | #[cfg(feature = "fold")] |
| 10 | pub mod fold { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 11 | use fold::Fold; |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 12 | use proc_macro2::Span; |
David Tolnay | 94d2b79 | 2018-04-29 12:26:10 -0700 | [diff] [blame] | 13 | use punctuated::{Pair, Punctuated}; |
David Tolnay | f60f426 | 2017-12-28 19:17:58 -0500 | [diff] [blame] | 14 | |
| 15 | pub trait FoldHelper { |
| 16 | type Item; |
David Tolnay | 61037c6 | 2018-01-05 16:21:03 -0800 | [diff] [blame] | 17 | fn lift<F>(self, f: F) -> Self |
| 18 | where |
| 19 | F: FnMut(Self::Item) -> Self::Item; |
David Tolnay | f60f426 | 2017-12-28 19:17:58 -0500 | [diff] [blame] | 20 | } |
| 21 | |
| 22 | impl<T> FoldHelper for Vec<T> { |
| 23 | type Item = T; |
David Tolnay | 61037c6 | 2018-01-05 16:21:03 -0800 | [diff] [blame] | 24 | fn lift<F>(self, f: F) -> Self |
| 25 | where |
| 26 | F: FnMut(Self::Item) -> Self::Item, |
| 27 | { |
David Tolnay | f60f426 | 2017-12-28 19:17:58 -0500 | [diff] [blame] | 28 | self.into_iter().map(f).collect() |
| 29 | } |
| 30 | } |
| 31 | |
David Tolnay | f2cfd72 | 2017-12-31 18:02:51 -0500 | [diff] [blame] | 32 | impl<T, U> FoldHelper for Punctuated<T, U> { |
David Tolnay | f60f426 | 2017-12-28 19:17:58 -0500 | [diff] [blame] | 33 | type Item = T; |
David Tolnay | 61037c6 | 2018-01-05 16:21:03 -0800 | [diff] [blame] | 34 | fn lift<F>(self, mut f: F) -> Self |
| 35 | where |
| 36 | F: FnMut(Self::Item) -> Self::Item, |
| 37 | { |
David Tolnay | 5608068 | 2018-01-06 14:01:52 -0800 | [diff] [blame] | 38 | self.into_pairs() |
| 39 | .map(Pair::into_tuple) |
| 40 | .map(|(t, u)| Pair::new(f(t), u)) |
David Tolnay | 660fd1f | 2017-12-31 01:52:57 -0500 | [diff] [blame] | 41 | .collect() |
David Tolnay | f60f426 | 2017-12-28 19:17:58 -0500 | [diff] [blame] | 42 | } |
| 43 | } |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 44 | |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 45 | pub fn tokens_helper<F: Fold + ?Sized, S: Spans>(folder: &mut F, spans: &S) -> S { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 46 | spans.fold(folder) |
| 47 | } |
| 48 | |
| 49 | pub trait Spans { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 50 | fn fold<F: Fold + ?Sized>(&self, folder: &mut F) -> Self; |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 51 | } |
| 52 | |
| 53 | impl Spans for Span { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 54 | fn fold<F: Fold + ?Sized>(&self, folder: &mut F) -> Self { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 55 | folder.fold_span(*self) |
| 56 | } |
| 57 | } |
| 58 | |
| 59 | impl Spans for [Span; 1] { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 60 | fn fold<F: Fold + ?Sized>(&self, folder: &mut F) -> Self { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 61 | [folder.fold_span(self[0])] |
| 62 | } |
| 63 | } |
| 64 | |
| 65 | impl Spans for [Span; 2] { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 66 | fn fold<F: Fold + ?Sized>(&self, folder: &mut F) -> Self { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 67 | [folder.fold_span(self[0]), folder.fold_span(self[1])] |
| 68 | } |
| 69 | } |
| 70 | |
| 71 | impl Spans for [Span; 3] { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 72 | fn fold<F: Fold + ?Sized>(&self, folder: &mut F) -> Self { |
David Tolnay | 61037c6 | 2018-01-05 16:21:03 -0800 | [diff] [blame] | 73 | [ |
| 74 | folder.fold_span(self[0]), |
| 75 | folder.fold_span(self[1]), |
| 76 | folder.fold_span(self[2]), |
| 77 | ] |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 78 | } |
| 79 | } |
| 80 | } |
| 81 | |
| 82 | #[cfg(feature = "visit")] |
| 83 | pub mod visit { |
| 84 | use proc_macro2::Span; |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 85 | use visit::Visit; |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 86 | |
David Tolnay | 94d2b79 | 2018-04-29 12:26:10 -0700 | [diff] [blame] | 87 | pub fn tokens_helper<'ast, V: Visit<'ast> + ?Sized, S: Spans>(visitor: &mut V, spans: &'ast S) { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 88 | spans.visit(visitor); |
| 89 | } |
| 90 | |
| 91 | pub trait Spans { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 92 | fn visit<'ast, V: Visit<'ast> + ?Sized>(&'ast self, visitor: &mut V); |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 93 | } |
| 94 | |
| 95 | impl Spans for Span { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 96 | fn visit<'ast, V: Visit<'ast> + ?Sized>(&'ast self, visitor: &mut V) { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 97 | visitor.visit_span(self); |
| 98 | } |
| 99 | } |
| 100 | |
| 101 | impl Spans for [Span; 1] { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 102 | fn visit<'ast, V: Visit<'ast> + ?Sized>(&'ast self, visitor: &mut V) { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 103 | visitor.visit_span(&self[0]); |
| 104 | } |
| 105 | } |
| 106 | |
| 107 | impl Spans for [Span; 2] { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 108 | fn visit<'ast, V: Visit<'ast> + ?Sized>(&'ast self, visitor: &mut V) { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 109 | visitor.visit_span(&self[0]); |
| 110 | visitor.visit_span(&self[1]); |
| 111 | } |
| 112 | } |
| 113 | |
| 114 | impl Spans for [Span; 3] { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 115 | fn visit<'ast, V: Visit<'ast> + ?Sized>(&'ast self, visitor: &mut V) { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 116 | visitor.visit_span(&self[0]); |
| 117 | visitor.visit_span(&self[1]); |
| 118 | visitor.visit_span(&self[2]); |
| 119 | } |
| 120 | } |
| 121 | } |
| 122 | |
David Tolnay | 9df02c4 | 2018-01-06 13:52:48 -0800 | [diff] [blame] | 123 | #[cfg(feature = "visit-mut")] |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 124 | pub mod visit_mut { |
| 125 | use proc_macro2::Span; |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 126 | use visit_mut::VisitMut; |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 127 | |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 128 | pub fn tokens_helper<V: VisitMut + ?Sized, S: Spans>(visitor: &mut V, spans: &mut S) { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 129 | spans.visit_mut(visitor); |
| 130 | } |
| 131 | |
| 132 | pub trait Spans { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 133 | fn visit_mut<V: VisitMut + ?Sized>(&mut self, visitor: &mut V); |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 134 | } |
| 135 | |
| 136 | impl Spans for Span { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 137 | fn visit_mut<V: VisitMut + ?Sized>(&mut self, visitor: &mut V) { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 138 | visitor.visit_span_mut(self); |
| 139 | } |
| 140 | } |
| 141 | |
| 142 | impl Spans for [Span; 1] { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 143 | fn visit_mut<V: VisitMut + ?Sized>(&mut self, visitor: &mut V) { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 144 | visitor.visit_span_mut(&mut self[0]); |
| 145 | } |
| 146 | } |
| 147 | |
| 148 | impl Spans for [Span; 2] { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 149 | fn visit_mut<V: VisitMut + ?Sized>(&mut self, visitor: &mut V) { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 150 | visitor.visit_span_mut(&mut self[0]); |
| 151 | visitor.visit_span_mut(&mut self[1]); |
| 152 | } |
| 153 | } |
| 154 | |
| 155 | impl Spans for [Span; 3] { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 156 | fn visit_mut<V: VisitMut + ?Sized>(&mut self, visitor: &mut V) { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 157 | visitor.visit_span_mut(&mut self[0]); |
| 158 | visitor.visit_span_mut(&mut self[1]); |
| 159 | visitor.visit_span_mut(&mut self[2]); |
| 160 | } |
| 161 | } |
David Tolnay | f60f426 | 2017-12-28 19:17:58 -0500 | [diff] [blame] | 162 | } |