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