David Tolnay | 5553501 | 2018-01-05 16:39:23 -0800 | [diff] [blame] | 1 | // Copyright 2018 Syn Developers |
| 2 | // |
| 3 | // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or |
| 4 | // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license |
| 5 | // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your |
| 6 | // option. This file may not be copied, modified, or distributed |
| 7 | // except according to those terms. |
| 8 | |
David Tolnay | c7a5d3d | 2017-06-04 12:11:05 -0700 | [diff] [blame] | 9 | extern crate proc_macro2; |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 10 | extern crate syn; |
David Tolnay | cfa5cc0 | 2017-11-13 01:05:11 -0800 | [diff] [blame] | 11 | extern crate syntax; |
David Tolnay | e959425 | 2017-12-17 21:53:42 -0800 | [diff] [blame] | 12 | extern crate syntax_pos; |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 13 | |
David Tolnay | cfa5cc0 | 2017-11-13 01:05:11 -0800 | [diff] [blame] | 14 | use self::syntax::ast; |
David Tolnay | cfa5cc0 | 2017-11-13 01:05:11 -0800 | [diff] [blame] | 15 | use self::syntax::codemap::FilePathMapping; |
David Tolnay | eb7d79b | 2018-03-31 22:52:17 +0200 | [diff] [blame] | 16 | use self::syntax::parse::{self, ParseSess}; |
| 17 | use self::syntax::ptr::P; |
David Tolnay | 5d871d9 | 2018-07-31 21:43:00 -0700 | [diff] [blame] | 18 | use self::syntax_pos::edition::Edition; |
David Tolnay | a25d1dc | 2018-07-31 21:46:19 -0700 | [diff] [blame] | 19 | use self::syntax_pos::{hygiene, FileName}; |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 20 | |
| 21 | use std::panic; |
| 22 | |
David Tolnay | dfc886b | 2018-01-06 08:03:09 -0800 | [diff] [blame] | 23 | use self::syn::buffer::TokenBuffer; |
| 24 | use self::syn::synom::Synom; |
David Tolnay | c7a5d3d | 2017-06-04 12:11:05 -0700 | [diff] [blame] | 25 | |
David Tolnay | cfa5cc0 | 2017-11-13 01:05:11 -0800 | [diff] [blame] | 26 | pub fn libsyntax_expr(input: &str) -> Option<P<ast::Expr>> { |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 27 | match panic::catch_unwind(|| { |
David Tolnay | 5d871d9 | 2018-07-31 21:43:00 -0700 | [diff] [blame] | 28 | hygiene::set_default_edition(Edition::Edition2018); |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 29 | let sess = ParseSess::new(FilePathMapping::empty()); |
| 30 | sess.span_diagnostic.set_continue_after_error(false); |
David Tolnay | 0bb614f | 2018-06-14 21:41:43 -0700 | [diff] [blame] | 31 | let e = parse::new_parser_from_source_str( |
| 32 | &sess, |
David Tolnay | e959425 | 2017-12-17 21:53:42 -0800 | [diff] [blame] | 33 | FileName::Custom("test_precedence".to_string()), |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 34 | input.to_string(), |
David Tolnay | 0bb614f | 2018-06-14 21:41:43 -0700 | [diff] [blame] | 35 | ).parse_expr(); |
David Tolnay | 57a2886 | 2018-07-31 21:47:10 -0700 | [diff] [blame] | 36 | match e { |
| 37 | Ok(expr) => Some(expr), |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 38 | Err(mut diagnostic) => { |
David Tolnay | 57a2886 | 2018-07-31 21:47:10 -0700 | [diff] [blame] | 39 | diagnostic.emit(); |
| 40 | None |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 41 | } |
David Tolnay | 57a2886 | 2018-07-31 21:47:10 -0700 | [diff] [blame] | 42 | } |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 43 | }) { |
| 44 | Ok(Some(e)) => Some(e), |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 45 | Ok(None) => None, |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 46 | Err(_) => { |
David Tolnay | ee97dbf | 2017-11-19 14:24:38 -0800 | [diff] [blame] | 47 | errorf!("libsyntax panicked\n"); |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 48 | None |
| 49 | } |
| 50 | } |
| 51 | } |
| 52 | |
| 53 | pub fn syn_expr(input: &str) -> Option<syn::Expr> { |
David Tolnay | c7a5d3d | 2017-06-04 12:11:05 -0700 | [diff] [blame] | 54 | match syn::parse_str(input) { |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 55 | Ok(e) => Some(e), |
| 56 | Err(msg) => { |
| 57 | errorf!("syn failed to parse\n{:?}\n", msg); |
| 58 | None |
| 59 | } |
| 60 | } |
| 61 | } |
David Tolnay | c7a5d3d | 2017-06-04 12:11:05 -0700 | [diff] [blame] | 62 | |
| 63 | pub fn syn<T: Synom>(tokens: proc_macro2::TokenStream) -> T { |
David Tolnay | d5ddbb4 | 2018-01-06 18:55:45 -0800 | [diff] [blame] | 64 | let buf = TokenBuffer::new2(tokens); |
David Tolnay | c7a5d3d | 2017-06-04 12:11:05 -0700 | [diff] [blame] | 65 | let result = T::parse(buf.begin()); |
| 66 | match result { |
David Tolnay | f4aa6b4 | 2017-12-31 16:40:33 -0500 | [diff] [blame] | 67 | Ok((t, rest)) => { |
David Tolnay | c7a5d3d | 2017-06-04 12:11:05 -0700 | [diff] [blame] | 68 | if rest.eof() { |
| 69 | t |
| 70 | } else if rest == buf.begin() { |
| 71 | panic!("failed to parse anything") |
| 72 | } else { |
| 73 | panic!("failed to parse all tokens") |
| 74 | } |
| 75 | } |
| 76 | Err(err) => panic!("failed to parse: {}", err), |
| 77 | } |
| 78 | } |