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