David Tolnay | e83ef5a | 2018-01-11 15:18:36 -0800 | [diff] [blame] | 1 | /// Quasi-quotation macro that accepts input like the [`quote!`] macro but uses |
| 2 | /// type inference to figure out a return type for those tokens. |
| 3 | /// |
David Tolnay | 442cf76 | 2018-08-31 11:08:24 -0700 | [diff] [blame] | 4 | /// [`quote!`]: https://docs.rs/quote/0.6/quote/index.html |
David Tolnay | e83ef5a | 2018-01-11 15:18:36 -0800 | [diff] [blame] | 5 | /// |
David Tolnay | d85a881 | 2018-08-31 11:09:57 -0700 | [diff] [blame] | 6 | /// The return type can be any syntax tree node that implements the [`Parse`] |
David Tolnay | e83ef5a | 2018-01-11 15:18:36 -0800 | [diff] [blame] | 7 | /// trait. |
| 8 | /// |
David Tolnay | d85a881 | 2018-08-31 11:09:57 -0700 | [diff] [blame] | 9 | /// [`Parse`]: parse/trait.Parse.html |
David Tolnay | e83ef5a | 2018-01-11 15:18:36 -0800 | [diff] [blame] | 10 | /// |
David Tolnay | 95989db | 2019-01-01 15:05:57 -0500 | [diff] [blame] | 11 | /// ```edition2018 |
David Tolnay | fd5b117 | 2018-12-31 17:54:36 -0500 | [diff] [blame] | 12 | /// use quote::quote; |
| 13 | /// use syn::{parse_quote, Stmt}; |
David Tolnay | e83ef5a | 2018-01-11 15:18:36 -0800 | [diff] [blame] | 14 | /// |
| 15 | /// fn main() { |
| 16 | /// let name = quote!(v); |
| 17 | /// let ty = quote!(u8); |
| 18 | /// |
| 19 | /// let stmt: Stmt = parse_quote! { |
| 20 | /// let #name: #ty = Default::default(); |
| 21 | /// }; |
| 22 | /// |
| 23 | /// println!("{:#?}", stmt); |
| 24 | /// } |
| 25 | /// ``` |
| 26 | /// |
David Tolnay | 491680a | 2018-01-23 00:34:40 -0800 | [diff] [blame] | 27 | /// *This macro is available if Syn is built with the `"parsing"` feature, |
| 28 | /// although interpolation of syntax tree nodes into the quoted tokens is only |
| 29 | /// supported if Syn is built with the `"printing"` feature as well.* |
David Tolnay | e83ef5a | 2018-01-11 15:18:36 -0800 | [diff] [blame] | 30 | /// |
| 31 | /// # Example |
| 32 | /// |
| 33 | /// The following helper function adds a bound `T: HeapSize` to every type |
| 34 | /// parameter `T` in the input generics. |
| 35 | /// |
David Tolnay | 95989db | 2019-01-01 15:05:57 -0500 | [diff] [blame] | 36 | /// ```edition2018 |
David Tolnay | fd5b117 | 2018-12-31 17:54:36 -0500 | [diff] [blame] | 37 | /// use syn::{parse_quote, Generics, GenericParam}; |
David Tolnay | 9b00f65 | 2018-09-01 10:31:02 -0700 | [diff] [blame] | 38 | /// |
David Tolnay | e83ef5a | 2018-01-11 15:18:36 -0800 | [diff] [blame] | 39 | /// // Add a bound `T: HeapSize` to every type parameter T. |
| 40 | /// fn add_trait_bounds(mut generics: Generics) -> Generics { |
| 41 | /// for param in &mut generics.params { |
| 42 | /// if let GenericParam::Type(ref mut type_param) = *param { |
| 43 | /// type_param.bounds.push(parse_quote!(HeapSize)); |
| 44 | /// } |
| 45 | /// } |
| 46 | /// generics |
| 47 | /// } |
David Tolnay | e83ef5a | 2018-01-11 15:18:36 -0800 | [diff] [blame] | 48 | /// ``` |
| 49 | /// |
| 50 | /// # Special cases |
| 51 | /// |
| 52 | /// This macro can parse the following additional types as a special case even |
David Tolnay | d85a881 | 2018-08-31 11:09:57 -0700 | [diff] [blame] | 53 | /// though they do not implement the `Parse` trait. |
David Tolnay | e83ef5a | 2018-01-11 15:18:36 -0800 | [diff] [blame] | 54 | /// |
| 55 | /// - [`Attribute`] — parses one attribute, allowing either outer like `#[...]` |
| 56 | /// or inner like `#![...]` |
| 57 | /// - [`Punctuated<T, P>`] — parses zero or more `T` separated by punctuation |
| 58 | /// `P` with optional trailing punctuation |
| 59 | /// |
| 60 | /// [`Attribute`]: struct.Attribute.html |
| 61 | /// [`Punctuated<T, P>`]: punctuated/struct.Punctuated.html |
| 62 | /// |
| 63 | /// # Panics |
| 64 | /// |
| 65 | /// Panics if the tokens fail to parse as the expected syntax tree type. The |
| 66 | /// caller is responsible for ensuring that the input tokens are syntactically |
| 67 | /// valid. |
David Tolnay | e0ba920 | 2018-10-06 20:09:08 -0700 | [diff] [blame] | 68 | #[macro_export(local_inner_macros)] |
David Tolnay | e83ef5a | 2018-01-11 15:18:36 -0800 | [diff] [blame] | 69 | macro_rules! parse_quote { |
| 70 | ($($tt:tt)*) => { |
David Tolnay | e0ba920 | 2018-10-06 20:09:08 -0700 | [diff] [blame] | 71 | $crate::parse_quote::parse($crate::export::From::from(quote_impl!($($tt)*))) |
| 72 | }; |
| 73 | } |
| 74 | |
| 75 | #[cfg(not(syn_can_call_macro_by_path))] |
| 76 | #[doc(hidden)] |
| 77 | #[macro_export] |
| 78 | macro_rules! quote_impl { |
| 79 | ($($tt:tt)*) => { |
| 80 | // Require caller to have their own `#[macro_use] extern crate quote`. |
| 81 | quote!($($tt)*) |
| 82 | }; |
| 83 | } |
| 84 | |
| 85 | #[cfg(syn_can_call_macro_by_path)] |
| 86 | #[doc(hidden)] |
| 87 | #[macro_export] |
| 88 | macro_rules! quote_impl { |
| 89 | ($($tt:tt)*) => { |
| 90 | $crate::export::quote::quote!($($tt)*) |
David Tolnay | e83ef5a | 2018-01-11 15:18:36 -0800 | [diff] [blame] | 91 | }; |
| 92 | } |
| 93 | |
| 94 | //////////////////////////////////////////////////////////////////////////////// |
David Tolnay | 06faaca | 2018-09-01 20:25:04 -0700 | [diff] [blame] | 95 | // Can parse any type that implements Parse. |
David Tolnay | e83ef5a | 2018-01-11 15:18:36 -0800 | [diff] [blame] | 96 | |
David Tolnay | 4ac232d | 2018-08-31 10:18:03 -0700 | [diff] [blame] | 97 | use parse::{Parse, ParseStream, Parser, Result}; |
David Tolnay | e82a2b1 | 2018-08-30 16:31:10 -0700 | [diff] [blame] | 98 | use proc_macro2::TokenStream; |
David Tolnay | e83ef5a | 2018-01-11 15:18:36 -0800 | [diff] [blame] | 99 | |
| 100 | // Not public API. |
| 101 | #[doc(hidden)] |
David Tolnay | 7d6a7b8 | 2018-01-23 00:42:22 -0800 | [diff] [blame] | 102 | pub fn parse<T: ParseQuote>(token_stream: TokenStream) -> T { |
David Tolnay | e83ef5a | 2018-01-11 15:18:36 -0800 | [diff] [blame] | 103 | let parser = T::parse; |
| 104 | match parser.parse2(token_stream) { |
| 105 | Ok(t) => t, |
David Tolnay | 40c0611 | 2018-08-30 16:14:50 -0700 | [diff] [blame] | 106 | Err(err) => panic!("{}", err), |
David Tolnay | e83ef5a | 2018-01-11 15:18:36 -0800 | [diff] [blame] | 107 | } |
| 108 | } |
| 109 | |
| 110 | // Not public API. |
| 111 | #[doc(hidden)] |
| 112 | pub trait ParseQuote: Sized { |
David Tolnay | 40c0611 | 2018-08-30 16:14:50 -0700 | [diff] [blame] | 113 | fn parse(input: ParseStream) -> Result<Self>; |
David Tolnay | e83ef5a | 2018-01-11 15:18:36 -0800 | [diff] [blame] | 114 | } |
| 115 | |
David Tolnay | 40c0611 | 2018-08-30 16:14:50 -0700 | [diff] [blame] | 116 | impl<T: Parse> ParseQuote for T { |
| 117 | fn parse(input: ParseStream) -> Result<Self> { |
| 118 | <T as Parse>::parse(input) |
David Tolnay | e83ef5a | 2018-01-11 15:18:36 -0800 | [diff] [blame] | 119 | } |
| 120 | } |
| 121 | |
| 122 | //////////////////////////////////////////////////////////////////////////////// |
| 123 | // Any other types that we want `parse_quote!` to be able to parse. |
| 124 | |
David Tolnay | 70f30e9 | 2018-09-01 02:04:17 -0700 | [diff] [blame] | 125 | use punctuated::Punctuated; |
David Tolnay | e83ef5a | 2018-01-11 15:18:36 -0800 | [diff] [blame] | 126 | #[cfg(any(feature = "full", feature = "derive"))] |
David Tolnay | 40c0611 | 2018-08-30 16:14:50 -0700 | [diff] [blame] | 127 | use {attr, Attribute}; |
David Tolnay | e83ef5a | 2018-01-11 15:18:36 -0800 | [diff] [blame] | 128 | |
David Tolnay | e83ef5a | 2018-01-11 15:18:36 -0800 | [diff] [blame] | 129 | #[cfg(any(feature = "full", feature = "derive"))] |
| 130 | impl ParseQuote for Attribute { |
David Tolnay | 40c0611 | 2018-08-30 16:14:50 -0700 | [diff] [blame] | 131 | fn parse(input: ParseStream) -> Result<Self> { |
| 132 | if input.peek(Token![#]) && input.peek2(Token![!]) { |
| 133 | attr::parsing::single_parse_inner(input) |
| 134 | } else { |
| 135 | attr::parsing::single_parse_outer(input) |
| 136 | } |
David Tolnay | e83ef5a | 2018-01-11 15:18:36 -0800 | [diff] [blame] | 137 | } |
| 138 | } |
David Tolnay | 024b576 | 2018-08-31 11:11:53 -0700 | [diff] [blame] | 139 | |
| 140 | impl<T: Parse, P: Parse> ParseQuote for Punctuated<T, P> { |
| 141 | fn parse(input: ParseStream) -> Result<Self> { |
| 142 | Self::parse_terminated(input) |
| 143 | } |
| 144 | } |