blob: 72bc3c11e0044add627ec5822de4951d05ff6b07 [file] [log] [blame]
David Tolnayc43b44e2017-12-30 23:55:54 -05001use std::hash::{Hash, Hasher};
2
Alex Crichton9a4dca22018-03-28 06:32:19 -07003use proc_macro2::{Delimiter, TokenStream, TokenTree};
David Tolnaycc543712018-01-08 11:29:54 -08004
David Tolnayc43b44e2017-12-30 23:55:54 -05005pub struct TokenTreeHelper<'a>(pub &'a TokenTree);
6
David Tolnayc43b44e2017-12-30 23:55:54 -05007impl<'a> PartialEq for TokenTreeHelper<'a> {
8 fn eq(&self, other: &Self) -> bool {
9 use proc_macro2::Spacing;
10
Alex Crichton9a4dca22018-03-28 06:32:19 -070011 match (self.0, other.0) {
12 (&TokenTree::Group(ref g1), &TokenTree::Group(ref g2)) => {
13 match (g1.delimiter(), g2.delimiter()) {
David Tolnayc43b44e2017-12-30 23:55:54 -050014 (Delimiter::Parenthesis, Delimiter::Parenthesis)
15 | (Delimiter::Brace, Delimiter::Brace)
16 | (Delimiter::Bracket, Delimiter::Bracket)
17 | (Delimiter::None, Delimiter::None) => {}
18 _ => return false,
19 }
20
Alex Crichton9a4dca22018-03-28 06:32:19 -070021 let s1 = g1.stream().clone().into_iter();
22 let mut s2 = g2.stream().clone().into_iter();
David Tolnayc43b44e2017-12-30 23:55:54 -050023
24 for item1 in s1 {
25 let item2 = match s2.next() {
26 Some(item) => item,
27 None => return false,
28 };
29 if TokenTreeHelper(&item1) != TokenTreeHelper(&item2) {
30 return false;
31 }
32 }
33 s2.next().is_none()
34 }
Alex Crichtona74a1c82018-05-16 10:20:44 -070035 (&TokenTree::Punct(ref o1), &TokenTree::Punct(ref o2)) => {
David Tolnaye614f282018-10-27 22:50:12 -070036 o1.as_char() == o2.as_char()
37 && match (o1.spacing(), o2.spacing()) {
38 (Spacing::Alone, Spacing::Alone) | (Spacing::Joint, Spacing::Joint) => true,
39 _ => false,
40 }
David Tolnayc43b44e2017-12-30 23:55:54 -050041 }
Alex Crichton9a4dca22018-03-28 06:32:19 -070042 (&TokenTree::Literal(ref l1), &TokenTree::Literal(ref l2)) => {
David Tolnayc43b44e2017-12-30 23:55:54 -050043 l1.to_string() == l2.to_string()
44 }
Alex Crichtona74a1c82018-05-16 10:20:44 -070045 (&TokenTree::Ident(ref s1), &TokenTree::Ident(ref s2)) => s1 == s2,
David Tolnayc43b44e2017-12-30 23:55:54 -050046 _ => false,
47 }
48 }
49}
50
David Tolnayc43b44e2017-12-30 23:55:54 -050051impl<'a> Hash for TokenTreeHelper<'a> {
52 fn hash<H: Hasher>(&self, h: &mut H) {
53 use proc_macro2::Spacing;
54
Alex Crichton9a4dca22018-03-28 06:32:19 -070055 match *self.0 {
56 TokenTree::Group(ref g) => {
David Tolnayc43b44e2017-12-30 23:55:54 -050057 0u8.hash(h);
Alex Crichton9a4dca22018-03-28 06:32:19 -070058 match g.delimiter() {
David Tolnayc43b44e2017-12-30 23:55:54 -050059 Delimiter::Parenthesis => 0u8.hash(h),
60 Delimiter::Brace => 1u8.hash(h),
61 Delimiter::Bracket => 2u8.hash(h),
62 Delimiter::None => 3u8.hash(h),
63 }
64
Alex Crichton9a4dca22018-03-28 06:32:19 -070065 for item in g.stream().clone() {
David Tolnayc43b44e2017-12-30 23:55:54 -050066 TokenTreeHelper(&item).hash(h);
67 }
68 0xffu8.hash(h); // terminator w/ a variant we don't normally hash
69 }
Alex Crichtona74a1c82018-05-16 10:20:44 -070070 TokenTree::Punct(ref op) => {
David Tolnayc43b44e2017-12-30 23:55:54 -050071 1u8.hash(h);
Alex Crichtona74a1c82018-05-16 10:20:44 -070072 op.as_char().hash(h);
Alex Crichton9a4dca22018-03-28 06:32:19 -070073 match op.spacing() {
David Tolnayc43b44e2017-12-30 23:55:54 -050074 Spacing::Alone => 0u8.hash(h),
75 Spacing::Joint => 1u8.hash(h),
76 }
77 }
Alex Crichton9a4dca22018-03-28 06:32:19 -070078 TokenTree::Literal(ref lit) => (2u8, lit.to_string()).hash(h),
Alex Crichtona74a1c82018-05-16 10:20:44 -070079 TokenTree::Ident(ref word) => (3u8, word).hash(h),
David Tolnayc43b44e2017-12-30 23:55:54 -050080 }
81 }
82}
83
David Tolnayc43b44e2017-12-30 23:55:54 -050084pub struct TokenStreamHelper<'a>(pub &'a TokenStream);
85
David Tolnayc43b44e2017-12-30 23:55:54 -050086impl<'a> PartialEq for TokenStreamHelper<'a> {
87 fn eq(&self, other: &Self) -> bool {
88 let left = self.0.clone().into_iter().collect::<Vec<_>>();
89 let right = other.0.clone().into_iter().collect::<Vec<_>>();
90 if left.len() != right.len() {
91 return false;
92 }
93 for (a, b) in left.into_iter().zip(right) {
94 if TokenTreeHelper(&a) != TokenTreeHelper(&b) {
95 return false;
96 }
97 }
98 true
99 }
100}
101
David Tolnayc43b44e2017-12-30 23:55:54 -0500102impl<'a> Hash for TokenStreamHelper<'a> {
103 fn hash<H: Hasher>(&self, state: &mut H) {
104 let tts = self.0.clone().into_iter().collect::<Vec<_>>();
105 tts.len().hash(state);
106 for tt in tts {
107 TokenTreeHelper(&tt).hash(state);
108 }
109 }
110}