David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 1 | use super::*; |
David Tolnay | ab91951 | 2017-12-30 23:31:51 -0500 | [diff] [blame^] | 2 | use proc_macro2::TokenStream; |
| 3 | use token::{Paren, Brace, Bracket}; |
David Tolnay | 9c76bcb | 2017-12-26 23:14:59 -0500 | [diff] [blame] | 4 | |
| 5 | #[cfg(feature = "extra-traits")] |
David Tolnay | ab91951 | 2017-12-30 23:31:51 -0500 | [diff] [blame^] | 6 | use proc_macro2::{TokenTree, TokenNode, Delimiter}; |
David Tolnay | c6d8404 | 2017-12-27 02:14:17 -0500 | [diff] [blame] | 7 | #[cfg(feature = "extra-traits")] |
David Tolnay | 9c76bcb | 2017-12-26 23:14:59 -0500 | [diff] [blame] | 8 | use std::hash::{Hash, Hasher}; |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 9 | |
Alex Crichton | 62a0a59 | 2017-05-22 13:58:53 -0700 | [diff] [blame] | 10 | ast_struct! { |
David Tolnay | ab91951 | 2017-12-30 23:31:51 -0500 | [diff] [blame^] | 11 | /// Represents a macro invocation. The Path indicates which macro is being |
| 12 | /// invoked, and the `TokenStream` contains the source of the macro |
| 13 | /// invocation. |
David Tolnay | 9c76bcb | 2017-12-26 23:14:59 -0500 | [diff] [blame] | 14 | pub struct Macro #manual_extra_traits { |
Alex Crichton | 62a0a59 | 2017-05-22 13:58:53 -0700 | [diff] [blame] | 15 | pub path: Path, |
David Tolnay | f8db7ba | 2017-11-11 22:52:16 -0800 | [diff] [blame] | 16 | pub bang_token: Token![!], |
David Tolnay | ab91951 | 2017-12-30 23:31:51 -0500 | [diff] [blame^] | 17 | pub delimiter: MacroDelimiter, |
| 18 | pub tts: TokenStream, |
| 19 | } |
| 20 | } |
| 21 | |
| 22 | ast_enum! { |
| 23 | pub enum MacroDelimiter { |
| 24 | /// `macro!(...)` |
| 25 | Paren(Paren), |
| 26 | /// `macro!{...}` |
| 27 | Brace(Brace), |
| 28 | /// `macro![...]` |
| 29 | Bracket(Bracket), |
Alex Crichton | 62a0a59 | 2017-05-22 13:58:53 -0700 | [diff] [blame] | 30 | } |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 31 | } |
| 32 | |
David Tolnay | 9c76bcb | 2017-12-26 23:14:59 -0500 | [diff] [blame] | 33 | #[cfg(feature = "extra-traits")] |
| 34 | impl Eq for Macro {} |
| 35 | |
| 36 | #[cfg(feature = "extra-traits")] |
| 37 | impl PartialEq for Macro { |
| 38 | fn eq(&self, other: &Self) -> bool { |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 39 | self.path == other.path && self.bang_token == other.bang_token |
David Tolnay | ab91951 | 2017-12-30 23:31:51 -0500 | [diff] [blame^] | 40 | && self.delimiter == other.delimiter |
| 41 | && TokenStreamHelper(&self.tts) == TokenStreamHelper(&other.tts) |
David Tolnay | 9c76bcb | 2017-12-26 23:14:59 -0500 | [diff] [blame] | 42 | } |
| 43 | } |
| 44 | |
| 45 | #[cfg(feature = "extra-traits")] |
| 46 | impl Hash for Macro { |
| 47 | fn hash<H>(&self, state: &mut H) |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 48 | where |
| 49 | H: Hasher, |
David Tolnay | 9c76bcb | 2017-12-26 23:14:59 -0500 | [diff] [blame] | 50 | { |
| 51 | self.path.hash(state); |
| 52 | self.bang_token.hash(state); |
David Tolnay | ab91951 | 2017-12-30 23:31:51 -0500 | [diff] [blame^] | 53 | self.delimiter.hash(state); |
| 54 | TokenStreamHelper(&self.tts).hash(state); |
David Tolnay | 9c76bcb | 2017-12-26 23:14:59 -0500 | [diff] [blame] | 55 | } |
| 56 | } |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 57 | |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 58 | #[cfg(feature = "extra-traits")] |
David Tolnay | 9c76bcb | 2017-12-26 23:14:59 -0500 | [diff] [blame] | 59 | pub struct TokenTreeHelper<'a>(pub &'a TokenTree); |
| 60 | |
| 61 | #[cfg(feature = "extra-traits")] |
| 62 | impl<'a> PartialEq for TokenTreeHelper<'a> { |
| 63 | fn eq(&self, other: &Self) -> bool { |
Alex Crichton | f9e8f1a | 2017-07-05 18:20:44 -0700 | [diff] [blame] | 64 | use proc_macro2::Spacing; |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 65 | |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 66 | match (&self.0.kind, &other.0.kind) { |
Alex Crichton | f9e8f1a | 2017-07-05 18:20:44 -0700 | [diff] [blame] | 67 | (&TokenNode::Group(d1, ref s1), &TokenNode::Group(d2, ref s2)) => { |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 68 | match (d1, d2) { |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 69 | (Delimiter::Parenthesis, Delimiter::Parenthesis) |
| 70 | | (Delimiter::Brace, Delimiter::Brace) |
| 71 | | (Delimiter::Bracket, Delimiter::Bracket) |
| 72 | | (Delimiter::None, Delimiter::None) => {} |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 73 | _ => return false, |
| 74 | } |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 75 | |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 76 | let s1 = s1.clone().into_iter(); |
| 77 | let mut s2 = s2.clone().into_iter(); |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 78 | |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 79 | for item1 in s1 { |
| 80 | let item2 = match s2.next() { |
| 81 | Some(item) => item, |
| 82 | None => return false, |
| 83 | }; |
David Tolnay | 9c76bcb | 2017-12-26 23:14:59 -0500 | [diff] [blame] | 84 | if TokenTreeHelper(&item1) != TokenTreeHelper(&item2) { |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 85 | return false; |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 86 | } |
| 87 | } |
| 88 | s2.next().is_none() |
| 89 | } |
Alex Crichton | f9e8f1a | 2017-07-05 18:20:44 -0700 | [diff] [blame] | 90 | (&TokenNode::Op(o1, k1), &TokenNode::Op(o2, k2)) => { |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 91 | o1 == o2 && match (k1, k2) { |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 92 | (Spacing::Alone, Spacing::Alone) | (Spacing::Joint, Spacing::Joint) => true, |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 93 | _ => false, |
| 94 | } |
| 95 | } |
Alex Crichton | f9e8f1a | 2017-07-05 18:20:44 -0700 | [diff] [blame] | 96 | (&TokenNode::Literal(ref l1), &TokenNode::Literal(ref l2)) => { |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 97 | l1.to_string() == l2.to_string() |
| 98 | } |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 99 | (&TokenNode::Term(ref s1), &TokenNode::Term(ref s2)) => s1.as_str() == s2.as_str(), |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 100 | _ => false, |
| 101 | } |
Alex Crichton | 62a0a59 | 2017-05-22 13:58:53 -0700 | [diff] [blame] | 102 | } |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 103 | } |
| 104 | |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 105 | #[cfg(feature = "extra-traits")] |
David Tolnay | 9c76bcb | 2017-12-26 23:14:59 -0500 | [diff] [blame] | 106 | impl<'a> Hash for TokenTreeHelper<'a> { |
| 107 | fn hash<H: Hasher>(&self, h: &mut H) { |
Alex Crichton | f9e8f1a | 2017-07-05 18:20:44 -0700 | [diff] [blame] | 108 | use proc_macro2::Spacing; |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 109 | |
| 110 | match self.0.kind { |
Alex Crichton | f9e8f1a | 2017-07-05 18:20:44 -0700 | [diff] [blame] | 111 | TokenNode::Group(delim, ref stream) => { |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 112 | 0u8.hash(h); |
| 113 | match delim { |
| 114 | Delimiter::Parenthesis => 0u8.hash(h), |
| 115 | Delimiter::Brace => 1u8.hash(h), |
| 116 | Delimiter::Bracket => 2u8.hash(h), |
| 117 | Delimiter::None => 3u8.hash(h), |
| 118 | } |
| 119 | |
David Tolnay | bb4ca9f | 2017-12-26 12:28:58 -0500 | [diff] [blame] | 120 | for item in stream.clone() { |
David Tolnay | 9c76bcb | 2017-12-26 23:14:59 -0500 | [diff] [blame] | 121 | TokenTreeHelper(&item).hash(h); |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 122 | } |
| 123 | 0xffu8.hash(h); // terminator w/ a variant we don't normally hash |
| 124 | } |
Alex Crichton | f9e8f1a | 2017-07-05 18:20:44 -0700 | [diff] [blame] | 125 | TokenNode::Op(op, kind) => { |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 126 | 1u8.hash(h); |
| 127 | op.hash(h); |
| 128 | match kind { |
Alex Crichton | f9e8f1a | 2017-07-05 18:20:44 -0700 | [diff] [blame] | 129 | Spacing::Alone => 0u8.hash(h), |
| 130 | Spacing::Joint => 1u8.hash(h), |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 131 | } |
| 132 | } |
Alex Crichton | f9e8f1a | 2017-07-05 18:20:44 -0700 | [diff] [blame] | 133 | TokenNode::Literal(ref lit) => (2u8, lit.to_string()).hash(h), |
| 134 | TokenNode::Term(ref word) => (3u8, word.as_str()).hash(h), |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 135 | } |
Alex Crichton | 62a0a59 | 2017-05-22 13:58:53 -0700 | [diff] [blame] | 136 | } |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 137 | } |
| 138 | |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 139 | #[cfg(feature = "extra-traits")] |
David Tolnay | 369f0c5 | 2017-12-27 01:50:45 -0500 | [diff] [blame] | 140 | pub struct TokenStreamHelper<'a>(pub &'a TokenStream); |
David Tolnay | 9c76bcb | 2017-12-26 23:14:59 -0500 | [diff] [blame] | 141 | |
| 142 | #[cfg(feature = "extra-traits")] |
David Tolnay | 369f0c5 | 2017-12-27 01:50:45 -0500 | [diff] [blame] | 143 | impl<'a> PartialEq for TokenStreamHelper<'a> { |
David Tolnay | 9c76bcb | 2017-12-26 23:14:59 -0500 | [diff] [blame] | 144 | fn eq(&self, other: &Self) -> bool { |
David Tolnay | 369f0c5 | 2017-12-27 01:50:45 -0500 | [diff] [blame] | 145 | let left = self.0.clone().into_iter().collect::<Vec<_>>(); |
| 146 | let right = other.0.clone().into_iter().collect::<Vec<_>>(); |
| 147 | if left.len() != right.len() { |
David Tolnay | 9c76bcb | 2017-12-26 23:14:59 -0500 | [diff] [blame] | 148 | return false; |
| 149 | } |
David Tolnay | 369f0c5 | 2017-12-27 01:50:45 -0500 | [diff] [blame] | 150 | for (a, b) in left.into_iter().zip(right) { |
| 151 | if TokenTreeHelper(&a) != TokenTreeHelper(&b) { |
David Tolnay | 9c76bcb | 2017-12-26 23:14:59 -0500 | [diff] [blame] | 152 | return false; |
| 153 | } |
| 154 | } |
| 155 | true |
| 156 | } |
| 157 | } |
| 158 | |
| 159 | #[cfg(feature = "extra-traits")] |
David Tolnay | 369f0c5 | 2017-12-27 01:50:45 -0500 | [diff] [blame] | 160 | impl<'a> Hash for TokenStreamHelper<'a> { |
David Tolnay | 9c76bcb | 2017-12-26 23:14:59 -0500 | [diff] [blame] | 161 | fn hash<H: Hasher>(&self, state: &mut H) { |
David Tolnay | 369f0c5 | 2017-12-27 01:50:45 -0500 | [diff] [blame] | 162 | let tts = self.0.clone().into_iter().collect::<Vec<_>>(); |
| 163 | tts.len().hash(state); |
| 164 | for tt in tts { |
| 165 | TokenTreeHelper(&tt).hash(state); |
David Tolnay | 9c76bcb | 2017-12-26 23:14:59 -0500 | [diff] [blame] | 166 | } |
Alex Crichton | 62a0a59 | 2017-05-22 13:58:53 -0700 | [diff] [blame] | 167 | } |
David Tolnay | 84aa075 | 2016-10-02 23:01:13 -0700 | [diff] [blame] | 168 | } |
| 169 | |
| 170 | #[cfg(feature = "parsing")] |
| 171 | pub mod parsing { |
| 172 | use super::*; |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 173 | |
David Tolnay | c5ab8c6 | 2017-12-26 16:43:39 -0500 | [diff] [blame] | 174 | use synom::Synom; |
David Tolnay | 84aa075 | 2016-10-02 23:01:13 -0700 | [diff] [blame] | 175 | |
David Tolnay | decf28d | 2017-11-11 11:56:45 -0800 | [diff] [blame] | 176 | impl Synom for Macro { |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 177 | named!(parse -> Self, do_parse!( |
| 178 | what: syn!(Path) >> |
David Tolnay | f8db7ba | 2017-11-11 22:52:16 -0800 | [diff] [blame] | 179 | bang: punct!(!) >> |
David Tolnay | e082403 | 2017-12-27 15:25:56 -0500 | [diff] [blame] | 180 | body: call!(tt::delimited) >> |
David Tolnay | decf28d | 2017-11-11 11:56:45 -0800 | [diff] [blame] | 181 | (Macro { |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 182 | path: what, |
| 183 | bang_token: bang, |
David Tolnay | ab91951 | 2017-12-30 23:31:51 -0500 | [diff] [blame^] | 184 | delimiter: body.0, |
| 185 | tts: body.1, |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 186 | }) |
| 187 | )); |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 188 | } |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 189 | } |
David Tolnay | f8cf963 | 2016-10-02 23:15:25 -0700 | [diff] [blame] | 190 | |
| 191 | #[cfg(feature = "printing")] |
| 192 | mod printing { |
| 193 | use super::*; |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 194 | use quote::{ToTokens, Tokens}; |
David Tolnay | f8cf963 | 2016-10-02 23:15:25 -0700 | [diff] [blame] | 195 | |
David Tolnay | decf28d | 2017-11-11 11:56:45 -0800 | [diff] [blame] | 196 | impl ToTokens for Macro { |
David Tolnay | f8cf963 | 2016-10-02 23:15:25 -0700 | [diff] [blame] | 197 | fn to_tokens(&self, tokens: &mut Tokens) { |
| 198 | self.path.to_tokens(tokens); |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 199 | self.bang_token.to_tokens(tokens); |
David Tolnay | ab91951 | 2017-12-30 23:31:51 -0500 | [diff] [blame^] | 200 | match self.delimiter { |
| 201 | MacroDelimiter::Paren(ref paren) => { |
| 202 | paren.surround(tokens, |tokens| self.tts.to_tokens(tokens)); |
| 203 | } |
| 204 | MacroDelimiter::Brace(ref brace) => { |
| 205 | brace.surround(tokens, |tokens| self.tts.to_tokens(tokens)); |
| 206 | } |
| 207 | MacroDelimiter::Bracket(ref bracket) => { |
| 208 | bracket.surround(tokens, |tokens| self.tts.to_tokens(tokens)); |
| 209 | } |
| 210 | } |
David Tolnay | f8cf963 | 2016-10-02 23:15:25 -0700 | [diff] [blame] | 211 | } |
| 212 | } |
David Tolnay | f8cf963 | 2016-10-02 23:15:25 -0700 | [diff] [blame] | 213 | } |