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