Michael Layzell | be1e24d | 2017-06-04 21:15:23 -0400 | [diff] [blame] | 1 | #![cfg(all(feature = "extra-traits", feature = "full"))] |
Nika Layzell | a2a1a4a | 2017-11-19 11:33:17 -0500 | [diff] [blame] | 2 | #![feature(rustc_private)] |
| 3 | |
David Tolnay | c5ab8c6 | 2017-12-26 16:43:39 -0500 | [diff] [blame] | 4 | #[macro_use] |
Michael Layzell | be1e24d | 2017-06-04 21:15:23 -0400 | [diff] [blame] | 5 | extern crate syn; |
David Tolnay | 8c91b88 | 2017-12-28 23:04:32 -0500 | [diff] [blame^] | 6 | use syn::{BinOp, Expr, ExprBinary, ExprGroup, ExprLit, Lit, LitKind}; |
David Tolnay | 42eaae1 | 2017-12-26 23:05:18 -0500 | [diff] [blame] | 7 | use syn::token::Group; |
Michael Layzell | be1e24d | 2017-06-04 21:15:23 -0400 | [diff] [blame] | 8 | |
| 9 | extern crate proc_macro2; |
| 10 | use proc_macro2::*; |
| 11 | |
David Tolnay | c7a5d3d | 2017-06-04 12:11:05 -0700 | [diff] [blame] | 12 | mod common; |
| 13 | |
Alex Crichton | f9e8f1a | 2017-07-05 18:20:44 -0700 | [diff] [blame] | 14 | fn tt(k: TokenNode) -> TokenTree { |
Michael Layzell | be1e24d | 2017-06-04 21:15:23 -0400 | [diff] [blame] | 15 | TokenTree { |
| 16 | span: Span::default(), |
| 17 | kind: k, |
| 18 | } |
| 19 | } |
| 20 | |
David Tolnay | 8c91b88 | 2017-12-28 23:04:32 -0500 | [diff] [blame^] | 21 | fn expr<T: Into<Expr>>(t: T) -> Expr { |
| 22 | t.into() |
Michael Layzell | be1e24d | 2017-06-04 21:15:23 -0400 | [diff] [blame] | 23 | } |
| 24 | |
| 25 | fn lit<T: Into<Literal>>(t: T) -> Expr { |
David Tolnay | 8c91b88 | 2017-12-28 23:04:32 -0500 | [diff] [blame^] | 26 | Expr::Lit(ExprLit { |
| 27 | attrs: Vec::new(), |
| 28 | lit: Lit { |
| 29 | value: LitKind::Other(t.into()), |
| 30 | span: Span::default(), |
| 31 | }, |
Michael Layzell | be1e24d | 2017-06-04 21:15:23 -0400 | [diff] [blame] | 32 | }) |
| 33 | } |
| 34 | |
| 35 | #[test] |
| 36 | fn test_grouping() { |
| 37 | let raw: TokenStream = vec![ |
Alex Crichton | 605643b | 2017-07-05 18:35:14 -0700 | [diff] [blame] | 38 | tt(TokenNode::Literal(Literal::i32(1))), |
Alex Crichton | f9e8f1a | 2017-07-05 18:20:44 -0700 | [diff] [blame] | 39 | tt(TokenNode::Op('+', Spacing::Alone)), |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 40 | tt(TokenNode::Group( |
| 41 | Delimiter::None, |
| 42 | vec![ |
| 43 | tt(TokenNode::Literal(Literal::i32(2))), |
| 44 | tt(TokenNode::Op('+', Spacing::Alone)), |
| 45 | tt(TokenNode::Literal(Literal::i32(3))), |
| 46 | ].into_iter() |
| 47 | .collect(), |
| 48 | )), |
Alex Crichton | f9e8f1a | 2017-07-05 18:20:44 -0700 | [diff] [blame] | 49 | tt(TokenNode::Op('*', Spacing::Alone)), |
Alex Crichton | 605643b | 2017-07-05 18:35:14 -0700 | [diff] [blame] | 50 | tt(TokenNode::Literal(Literal::i32(4))), |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 51 | ].into_iter() |
| 52 | .collect(); |
Michael Layzell | be1e24d | 2017-06-04 21:15:23 -0400 | [diff] [blame] | 53 | |
| 54 | assert_eq!(raw.to_string(), "1i32 + 2i32 + 3i32 * 4i32"); |
| 55 | |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 56 | assert_eq!( |
| 57 | common::parse::syn::<Expr>(raw), |
| 58 | expr(ExprBinary { |
David Tolnay | 8c91b88 | 2017-12-28 23:04:32 -0500 | [diff] [blame^] | 59 | attrs: Vec::new(), |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 60 | left: Box::new(lit(Literal::i32(1))), |
| 61 | op: BinOp::Add(<Token![+]>::default()), |
| 62 | right: Box::new(expr(ExprBinary { |
David Tolnay | 8c91b88 | 2017-12-28 23:04:32 -0500 | [diff] [blame^] | 63 | attrs: Vec::new(), |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 64 | left: Box::new(expr(ExprGroup { |
David Tolnay | 8c91b88 | 2017-12-28 23:04:32 -0500 | [diff] [blame^] | 65 | attrs: Vec::new(), |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 66 | group_token: Group::default(), |
| 67 | expr: Box::new(expr(ExprBinary { |
David Tolnay | 8c91b88 | 2017-12-28 23:04:32 -0500 | [diff] [blame^] | 68 | attrs: Vec::new(), |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 69 | left: Box::new(lit(Literal::i32(2))), |
| 70 | op: BinOp::Add(<Token![+]>::default()), |
| 71 | right: Box::new(lit(Literal::i32(3))), |
| 72 | })), |
Michael Layzell | be1e24d | 2017-06-04 21:15:23 -0400 | [diff] [blame] | 73 | })), |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 74 | op: BinOp::Mul(<Token![*]>::default()), |
| 75 | right: Box::new(lit(Literal::i32(4))), |
Michael Layzell | be1e24d | 2017-06-04 21:15:23 -0400 | [diff] [blame] | 76 | })), |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 77 | }) |
| 78 | ); |
Michael Layzell | be1e24d | 2017-06-04 21:15:23 -0400 | [diff] [blame] | 79 | } |
| 80 | |
| 81 | #[test] |
| 82 | fn test_invalid_grouping() { |
| 83 | let raw: TokenStream = vec![ |
Alex Crichton | 605643b | 2017-07-05 18:35:14 -0700 | [diff] [blame] | 84 | tt(TokenNode::Literal(Literal::i32(1))), |
Alex Crichton | f9e8f1a | 2017-07-05 18:20:44 -0700 | [diff] [blame] | 85 | tt(TokenNode::Op('+', Spacing::Alone)), |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 86 | tt(TokenNode::Group( |
| 87 | Delimiter::None, |
| 88 | vec![ |
| 89 | tt(TokenNode::Literal(Literal::i32(2))), |
| 90 | tt(TokenNode::Op('+', Spacing::Alone)), |
| 91 | ].into_iter() |
| 92 | .collect(), |
| 93 | )), |
Alex Crichton | 605643b | 2017-07-05 18:35:14 -0700 | [diff] [blame] | 94 | tt(TokenNode::Literal(Literal::i32(3))), |
Alex Crichton | f9e8f1a | 2017-07-05 18:20:44 -0700 | [diff] [blame] | 95 | tt(TokenNode::Op('*', Spacing::Alone)), |
Alex Crichton | 605643b | 2017-07-05 18:35:14 -0700 | [diff] [blame] | 96 | tt(TokenNode::Literal(Literal::i32(4))), |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 97 | ].into_iter() |
| 98 | .collect(); |
Michael Layzell | be1e24d | 2017-06-04 21:15:23 -0400 | [diff] [blame] | 99 | |
| 100 | assert_eq!(raw.to_string(), "1i32 + 2i32 + 3i32 * 4i32"); |
| 101 | |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 102 | assert_eq!( |
| 103 | common::parse::syn::<Expr>(raw), |
| 104 | expr(ExprBinary { |
David Tolnay | 8c91b88 | 2017-12-28 23:04:32 -0500 | [diff] [blame^] | 105 | attrs: Vec::new(), |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 106 | left: Box::new(expr(ExprBinary { |
David Tolnay | 8c91b88 | 2017-12-28 23:04:32 -0500 | [diff] [blame^] | 107 | attrs: Vec::new(), |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 108 | left: Box::new(lit(Literal::i32(1))), |
| 109 | op: BinOp::Add(<Token![+]>::default()), |
| 110 | right: Box::new(lit(Literal::i32(2))), |
| 111 | })), |
David Tolnay | f8db7ba | 2017-11-11 22:52:16 -0800 | [diff] [blame] | 112 | op: BinOp::Add(<Token![+]>::default()), |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 113 | right: Box::new(expr(ExprBinary { |
David Tolnay | 8c91b88 | 2017-12-28 23:04:32 -0500 | [diff] [blame^] | 114 | attrs: Vec::new(), |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 115 | left: Box::new(lit(Literal::i32(3))), |
| 116 | op: BinOp::Mul(<Token![*]>::default()), |
| 117 | right: Box::new(lit(Literal::i32(4))), |
| 118 | })), |
| 119 | }) |
| 120 | ); |
Michael Layzell | be1e24d | 2017-06-04 21:15:23 -0400 | [diff] [blame] | 121 | } |