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 | 5608068 | 2018-01-06 14:01:52 -0800 | [diff] [blame^] | 11 | use punctuated::{Pair, Punctuated}; |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 12 | use fold::Fold; |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 13 | use proc_macro2::Span; |
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 | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 87 | pub fn tokens_helper<'ast, V: Visit<'ast> + ?Sized, S: Spans>( |
David Tolnay | 61037c6 | 2018-01-05 16:21:03 -0800 | [diff] [blame] | 88 | visitor: &mut V, |
| 89 | spans: &'ast S, |
| 90 | ) { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 91 | spans.visit(visitor); |
| 92 | } |
| 93 | |
| 94 | pub trait Spans { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 95 | fn visit<'ast, V: Visit<'ast> + ?Sized>(&'ast self, visitor: &mut V); |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 96 | } |
| 97 | |
| 98 | impl Spans for Span { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 99 | fn visit<'ast, V: Visit<'ast> + ?Sized>(&'ast self, visitor: &mut V) { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 100 | visitor.visit_span(self); |
| 101 | } |
| 102 | } |
| 103 | |
| 104 | impl Spans for [Span; 1] { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 105 | fn visit<'ast, V: Visit<'ast> + ?Sized>(&'ast self, visitor: &mut V) { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 106 | visitor.visit_span(&self[0]); |
| 107 | } |
| 108 | } |
| 109 | |
| 110 | impl Spans for [Span; 2] { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 111 | fn visit<'ast, V: Visit<'ast> + ?Sized>(&'ast self, visitor: &mut V) { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 112 | visitor.visit_span(&self[0]); |
| 113 | visitor.visit_span(&self[1]); |
| 114 | } |
| 115 | } |
| 116 | |
| 117 | impl Spans for [Span; 3] { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 118 | fn visit<'ast, V: Visit<'ast> + ?Sized>(&'ast self, visitor: &mut V) { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 119 | visitor.visit_span(&self[0]); |
| 120 | visitor.visit_span(&self[1]); |
| 121 | visitor.visit_span(&self[2]); |
| 122 | } |
| 123 | } |
| 124 | } |
| 125 | |
David Tolnay | 9df02c4 | 2018-01-06 13:52:48 -0800 | [diff] [blame] | 126 | #[cfg(feature = "visit-mut")] |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 127 | pub mod visit_mut { |
| 128 | use proc_macro2::Span; |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 129 | use visit_mut::VisitMut; |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 130 | |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 131 | 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] | 132 | spans.visit_mut(visitor); |
| 133 | } |
| 134 | |
| 135 | pub trait Spans { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 136 | fn visit_mut<V: VisitMut + ?Sized>(&mut self, visitor: &mut V); |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 137 | } |
| 138 | |
| 139 | impl Spans for Span { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 140 | fn visit_mut<V: VisitMut + ?Sized>(&mut self, visitor: &mut V) { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 141 | visitor.visit_span_mut(self); |
| 142 | } |
| 143 | } |
| 144 | |
| 145 | impl Spans for [Span; 1] { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 146 | fn visit_mut<V: VisitMut + ?Sized>(&mut self, visitor: &mut V) { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 147 | visitor.visit_span_mut(&mut self[0]); |
| 148 | } |
| 149 | } |
| 150 | |
| 151 | impl Spans for [Span; 2] { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 152 | fn visit_mut<V: VisitMut + ?Sized>(&mut self, visitor: &mut V) { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 153 | visitor.visit_span_mut(&mut self[0]); |
| 154 | visitor.visit_span_mut(&mut self[1]); |
| 155 | } |
| 156 | } |
| 157 | |
| 158 | impl Spans for [Span; 3] { |
David Tolnay | 4b4c4b6 | 2018-01-06 13:48:05 -0800 | [diff] [blame] | 159 | fn visit_mut<V: VisitMut + ?Sized>(&mut self, visitor: &mut V) { |
David Tolnay | cc0f037 | 2017-12-28 19:11:04 -0500 | [diff] [blame] | 160 | visitor.visit_span_mut(&mut self[0]); |
| 161 | visitor.visit_span_mut(&mut self[1]); |
| 162 | visitor.visit_span_mut(&mut self[2]); |
| 163 | } |
| 164 | } |
David Tolnay | f60f426 | 2017-12-28 19:17:58 -0500 | [diff] [blame] | 165 | } |