David Tolnay | c7a5d3d | 2017-06-04 12:11:05 -0700 | [diff] [blame] | 1 | extern crate proc_macro2; |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 2 | extern crate syn; |
David Tolnay | cfa5cc0 | 2017-11-13 01:05:11 -0800 | [diff] [blame] | 3 | extern crate syntax; |
David Tolnay | e959425 | 2017-12-17 21:53:42 -0800 | [diff] [blame] | 4 | extern crate syntax_pos; |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 5 | |
David Tolnay | cfa5cc0 | 2017-11-13 01:05:11 -0800 | [diff] [blame] | 6 | use self::syntax::ast; |
David Tolnay | eb7d79b | 2018-03-31 22:52:17 +0200 | [diff] [blame] | 7 | use self::syntax::parse::{self, ParseSess}; |
| 8 | use self::syntax::ptr::P; |
David Tolnay | d1c31cc | 2018-08-24 14:47:15 -0400 | [diff] [blame] | 9 | use self::syntax::source_map::FilePathMapping; |
David Tolnay | e6eb590 | 2019-05-23 00:00:18 -0700 | [diff] [blame^] | 10 | use self::syntax_pos::FileName; |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 11 | |
| 12 | use std::panic; |
| 13 | |
David Tolnay | cfa5cc0 | 2017-11-13 01:05:11 -0800 | [diff] [blame] | 14 | pub fn libsyntax_expr(input: &str) -> Option<P<ast::Expr>> { |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 15 | match panic::catch_unwind(|| { |
| 16 | let sess = ParseSess::new(FilePathMapping::empty()); |
| 17 | sess.span_diagnostic.set_continue_after_error(false); |
David Tolnay | 0bb614f | 2018-06-14 21:41:43 -0700 | [diff] [blame] | 18 | let e = parse::new_parser_from_source_str( |
| 19 | &sess, |
David Tolnay | e959425 | 2017-12-17 21:53:42 -0800 | [diff] [blame] | 20 | FileName::Custom("test_precedence".to_string()), |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 21 | input.to_string(), |
David Tolnay | fb84fc0 | 2018-10-02 21:01:30 -0700 | [diff] [blame] | 22 | ) |
| 23 | .parse_expr(); |
David Tolnay | 57a2886 | 2018-07-31 21:47:10 -0700 | [diff] [blame] | 24 | match e { |
| 25 | Ok(expr) => Some(expr), |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 26 | Err(mut diagnostic) => { |
David Tolnay | 57a2886 | 2018-07-31 21:47:10 -0700 | [diff] [blame] | 27 | diagnostic.emit(); |
| 28 | None |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 29 | } |
David Tolnay | 57a2886 | 2018-07-31 21:47:10 -0700 | [diff] [blame] | 30 | } |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 31 | }) { |
| 32 | Ok(Some(e)) => Some(e), |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 33 | Ok(None) => None, |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 34 | Err(_) => { |
David Tolnay | ee97dbf | 2017-11-19 14:24:38 -0800 | [diff] [blame] | 35 | errorf!("libsyntax panicked\n"); |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 36 | None |
| 37 | } |
| 38 | } |
| 39 | } |
| 40 | |
| 41 | pub fn syn_expr(input: &str) -> Option<syn::Expr> { |
David Tolnay | c7a5d3d | 2017-06-04 12:11:05 -0700 | [diff] [blame] | 42 | match syn::parse_str(input) { |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 43 | Ok(e) => Some(e), |
| 44 | Err(msg) => { |
| 45 | errorf!("syn failed to parse\n{:?}\n", msg); |
| 46 | None |
| 47 | } |
| 48 | } |
| 49 | } |