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