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 | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 9 | use super::*; |
Nika Layzell | 5680dcc | 2018-01-16 15:14:27 -0500 | [diff] [blame] | 10 | use punctuated::Punctuated; |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 11 | |
Alex Crichton | 62a0a59 | 2017-05-22 13:58:53 -0700 | [diff] [blame] | 12 | ast_struct! { |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 13 | /// Data structure sent to a `proc_macro_derive` macro. |
David Tolnay | 461d98e | 2018-01-07 11:07:19 -0800 | [diff] [blame] | 14 | /// |
| 15 | /// *This type is available if Syn is built with the `"derive"` feature.* |
Alex Crichton | 62a0a59 | 2017-05-22 13:58:53 -0700 | [diff] [blame] | 16 | pub struct DeriveInput { |
David Tolnay | 4a3f59a | 2017-12-28 21:21:12 -0500 | [diff] [blame] | 17 | /// Attributes tagged on the whole struct or enum. |
| 18 | pub attrs: Vec<Attribute>, |
Clar Charr | d22b570 | 2017-03-10 15:24:56 -0500 | [diff] [blame] | 19 | |
Alex Crichton | 62a0a59 | 2017-05-22 13:58:53 -0700 | [diff] [blame] | 20 | /// Visibility of the struct or enum. |
| 21 | pub vis: Visibility, |
Clar Charr | d22b570 | 2017-03-10 15:24:56 -0500 | [diff] [blame] | 22 | |
David Tolnay | 4a3f59a | 2017-12-28 21:21:12 -0500 | [diff] [blame] | 23 | /// Name of the struct or enum. |
| 24 | pub ident: Ident, |
Clar Charr | d22b570 | 2017-03-10 15:24:56 -0500 | [diff] [blame] | 25 | |
Alex Crichton | 62a0a59 | 2017-05-22 13:58:53 -0700 | [diff] [blame] | 26 | /// Generics required to complete the definition. |
| 27 | pub generics: Generics, |
Clar Charr | d22b570 | 2017-03-10 15:24:56 -0500 | [diff] [blame] | 28 | |
Alex Crichton | 62a0a59 | 2017-05-22 13:58:53 -0700 | [diff] [blame] | 29 | /// Data within the struct or enum. |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 30 | pub data: Data, |
Alex Crichton | 62a0a59 | 2017-05-22 13:58:53 -0700 | [diff] [blame] | 31 | } |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 32 | } |
| 33 | |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 34 | ast_enum_of_structs! { |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 35 | /// The storage of a struct, enum or union data structure. |
David Tolnay | 614a014 | 2018-01-07 10:25:43 -0800 | [diff] [blame] | 36 | /// |
David Tolnay | 461d98e | 2018-01-07 11:07:19 -0800 | [diff] [blame] | 37 | /// *This type is available if Syn is built with the `"derive"` feature.* |
| 38 | /// |
David Tolnay | 614a014 | 2018-01-07 10:25:43 -0800 | [diff] [blame] | 39 | /// # Syntax tree enum |
| 40 | /// |
| 41 | /// This type is a [syntax tree enum]. |
| 42 | /// |
| 43 | /// [syntax tree enum]: enum.Expr.html#syntax-tree-enums |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 44 | pub enum Data { |
David Tolnay | d2aa883 | 2018-01-07 01:05:09 -0800 | [diff] [blame] | 45 | /// A struct input to a `proc_macro_derive` macro. |
David Tolnay | 461d98e | 2018-01-07 11:07:19 -0800 | [diff] [blame] | 46 | /// |
| 47 | /// *This type is available if Syn is built with the `"derive"` |
| 48 | /// feature.* |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 49 | pub Struct(DataStruct { |
| 50 | pub struct_token: Token![struct], |
| 51 | pub fields: Fields, |
| 52 | pub semi_token: Option<Token![;]>, |
| 53 | }), |
| 54 | |
David Tolnay | d2aa883 | 2018-01-07 01:05:09 -0800 | [diff] [blame] | 55 | /// An enum input to a `proc_macro_derive` macro. |
David Tolnay | 461d98e | 2018-01-07 11:07:19 -0800 | [diff] [blame] | 56 | /// |
| 57 | /// *This type is available if Syn is built with the `"derive"` |
| 58 | /// feature.* |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 59 | pub Enum(DataEnum { |
David Tolnay | f8db7ba | 2017-11-11 22:52:16 -0800 | [diff] [blame] | 60 | pub enum_token: Token![enum], |
David Tolnay | 32954ef | 2017-12-26 22:43:16 -0500 | [diff] [blame] | 61 | pub brace_token: token::Brace, |
David Tolnay | f2cfd72 | 2017-12-31 18:02:51 -0500 | [diff] [blame] | 62 | pub variants: Punctuated<Variant, Token![,]>, |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 63 | }), |
Alex Crichton | 62a0a59 | 2017-05-22 13:58:53 -0700 | [diff] [blame] | 64 | |
David Tolnay | d2aa883 | 2018-01-07 01:05:09 -0800 | [diff] [blame] | 65 | /// A tagged union input to a `proc_macro_derive` macro. |
David Tolnay | 461d98e | 2018-01-07 11:07:19 -0800 | [diff] [blame] | 66 | /// |
| 67 | /// *This type is available if Syn is built with the `"derive"` |
| 68 | /// feature.* |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 69 | pub Union(DataUnion { |
| 70 | pub union_token: Token![union], |
| 71 | pub fields: FieldsNamed, |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 72 | }), |
Alex Crichton | 62a0a59 | 2017-05-22 13:58:53 -0700 | [diff] [blame] | 73 | } |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 74 | |
| 75 | do_not_generate_to_tokens |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 76 | } |
| 77 | |
| 78 | #[cfg(feature = "parsing")] |
| 79 | pub mod parsing { |
| 80 | use super::*; |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 81 | |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 82 | use parse::{Parse, ParseStream, Result}; |
Alex Crichton | 954046c | 2017-05-30 21:49:42 -0700 | [diff] [blame] | 83 | |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 84 | impl Parse for DeriveInput { |
| 85 | fn parse(input: ParseStream) -> Result<Self> { |
| 86 | let attrs = input.call(Attribute::parse_outer)?; |
| 87 | let vis = input.parse::<Visibility>()?; |
David Tolnay | b022d06 | 2018-07-21 18:59:36 -0700 | [diff] [blame] | 88 | |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 89 | let lookahead = input.lookahead1(); |
| 90 | if lookahead.peek(Token![struct]) { |
| 91 | let struct_token = input.parse::<Token![struct]>()?; |
| 92 | let ident = input.parse::<Ident>()?; |
David Tolnay | 1b8e285 | 2018-08-26 08:25:18 -0400 | [diff] [blame] | 93 | let generics = input.parse::<Generics>()?; |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 94 | let (where_clause, fields, semi) = data_struct(input)?; |
| 95 | Ok(DeriveInput { |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 96 | attrs: attrs, |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 97 | vis: vis, |
| 98 | ident: ident, |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 99 | generics: Generics { |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 100 | where_clause: where_clause, |
David Tolnay | d142fc5 | 2018-07-21 15:09:53 -0700 | [diff] [blame] | 101 | ..generics |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 102 | }, |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 103 | data: Data::Struct(DataStruct { |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 104 | struct_token: struct_token, |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 105 | fields: fields, |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 106 | semi_token: semi, |
| 107 | }), |
| 108 | }) |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 109 | } else if lookahead.peek(Token![enum]) { |
| 110 | let enum_token = input.parse::<Token![enum]>()?; |
| 111 | let ident = input.parse::<Ident>()?; |
David Tolnay | 1b8e285 | 2018-08-26 08:25:18 -0400 | [diff] [blame] | 112 | let generics = input.parse::<Generics>()?; |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 113 | let (where_clause, brace, variants) = data_enum(input)?; |
| 114 | Ok(DeriveInput { |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 115 | attrs: attrs, |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 116 | vis: vis, |
| 117 | ident: ident, |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 118 | generics: Generics { |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 119 | where_clause: where_clause, |
David Tolnay | d142fc5 | 2018-07-21 15:09:53 -0700 | [diff] [blame] | 120 | ..generics |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 121 | }, |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 122 | data: Data::Enum(DataEnum { |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 123 | enum_token: enum_token, |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 124 | brace_token: brace, |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 125 | variants: variants, |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 126 | }), |
| 127 | }) |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 128 | } else if lookahead.peek(Token![union]) { |
| 129 | let union_token = input.parse::<Token![union]>()?; |
| 130 | let ident = input.parse::<Ident>()?; |
David Tolnay | 1b8e285 | 2018-08-26 08:25:18 -0400 | [diff] [blame] | 131 | let generics = input.parse::<Generics>()?; |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 132 | let (where_clause, fields) = data_union(input)?; |
| 133 | Ok(DeriveInput { |
David Tolnay | b022d06 | 2018-07-21 18:59:36 -0700 | [diff] [blame] | 134 | attrs: attrs, |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 135 | vis: vis, |
| 136 | ident: ident, |
David Tolnay | b022d06 | 2018-07-21 18:59:36 -0700 | [diff] [blame] | 137 | generics: Generics { |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 138 | where_clause: where_clause, |
David Tolnay | b022d06 | 2018-07-21 18:59:36 -0700 | [diff] [blame] | 139 | ..generics |
| 140 | }, |
| 141 | data: Data::Union(DataUnion { |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 142 | union_token: union_token, |
David Tolnay | b022d06 | 2018-07-21 18:59:36 -0700 | [diff] [blame] | 143 | fields: fields, |
| 144 | }), |
| 145 | }) |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 146 | } else { |
| 147 | Err(lookahead.error()) |
| 148 | } |
Alex Crichton | 954046c | 2017-05-30 21:49:42 -0700 | [diff] [blame] | 149 | } |
| 150 | } |
| 151 | |
David Tolnay | 6a170ce | 2018-08-26 22:29:24 -0700 | [diff] [blame^] | 152 | pub fn data_struct( |
| 153 | input: ParseStream, |
| 154 | ) -> Result<(Option<WhereClause>, Fields, Option<Token![;]>)> { |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 155 | let mut lookahead = input.lookahead1(); |
| 156 | let mut where_clause = None; |
| 157 | if lookahead.peek(Token![where]) { |
David Tolnay | 1b8e285 | 2018-08-26 08:25:18 -0400 | [diff] [blame] | 158 | where_clause = Some(input.parse()?); |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 159 | lookahead = input.lookahead1(); |
| 160 | } |
Alex Crichton | 954046c | 2017-05-30 21:49:42 -0700 | [diff] [blame] | 161 | |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 162 | if where_clause.is_none() && lookahead.peek(token::Paren) { |
| 163 | let fields = input.parse()?; |
David Tolnay | b022d06 | 2018-07-21 18:59:36 -0700 | [diff] [blame] | 164 | |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 165 | lookahead = input.lookahead1(); |
| 166 | if lookahead.peek(Token![where]) { |
David Tolnay | 1b8e285 | 2018-08-26 08:25:18 -0400 | [diff] [blame] | 167 | where_clause = Some(input.parse()?); |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 168 | lookahead = input.lookahead1(); |
| 169 | } |
| 170 | |
| 171 | if lookahead.peek(Token![;]) { |
| 172 | let semi = input.parse()?; |
| 173 | Ok((where_clause, Fields::Unnamed(fields), Some(semi))) |
| 174 | } else { |
| 175 | Err(lookahead.error()) |
| 176 | } |
| 177 | } else if lookahead.peek(token::Brace) { |
| 178 | let fields = input.parse()?; |
| 179 | Ok((where_clause, Fields::Named(fields), None)) |
| 180 | } else if lookahead.peek(Token![;]) { |
| 181 | let semi = input.parse()?; |
| 182 | Ok((where_clause, Fields::Unit, Some(semi))) |
| 183 | } else { |
| 184 | Err(lookahead.error()) |
| 185 | } |
| 186 | } |
| 187 | |
David Tolnay | 6a170ce | 2018-08-26 22:29:24 -0700 | [diff] [blame^] | 188 | pub fn data_enum( |
David Tolnay | 4fb7123 | 2018-08-25 23:14:50 -0400 | [diff] [blame] | 189 | input: ParseStream, |
| 190 | ) -> Result<( |
| 191 | Option<WhereClause>, |
| 192 | token::Brace, |
| 193 | Punctuated<Variant, Token![,]>, |
| 194 | )> { |
David Tolnay | 1b8e285 | 2018-08-26 08:25:18 -0400 | [diff] [blame] | 195 | let where_clause = input.parse()?; |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 196 | |
| 197 | let content; |
| 198 | let brace = braced!(content in input); |
| 199 | let variants = content.parse_terminated(<Variant as Parse>::parse)?; |
| 200 | |
| 201 | Ok((where_clause, brace, variants)) |
| 202 | } |
| 203 | |
David Tolnay | 6a170ce | 2018-08-26 22:29:24 -0700 | [diff] [blame^] | 204 | pub fn data_union(input: ParseStream) -> Result<(Option<WhereClause>, FieldsNamed)> { |
David Tolnay | 1b8e285 | 2018-08-26 08:25:18 -0400 | [diff] [blame] | 205 | let where_clause = input.parse()?; |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 206 | let fields = input.parse()?; |
David Tolnay | 3ecbcaf | 2018-08-25 23:03:26 -0400 | [diff] [blame] | 207 | Ok((where_clause, fields)) |
| 208 | } |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 209 | } |
| 210 | |
David Tolnay | c2dfbf4 | 2016-09-23 23:52:15 -0700 | [diff] [blame] | 211 | #[cfg(feature = "printing")] |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 212 | mod printing { |
| 213 | use super::*; |
David Tolnay | 4a51dc7 | 2016-10-01 00:40:31 -0700 | [diff] [blame] | 214 | use attr::FilterAttrs; |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 215 | use proc_macro2::TokenStream; |
David Tolnay | 65fb566 | 2018-05-20 20:02:28 -0700 | [diff] [blame] | 216 | use quote::ToTokens; |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 217 | |
David Tolnay | 0e83740 | 2016-12-22 17:25:55 -0500 | [diff] [blame] | 218 | impl ToTokens for DeriveInput { |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 219 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | 4a51dc7 | 2016-10-01 00:40:31 -0700 | [diff] [blame] | 220 | for attr in self.attrs.outer() { |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 221 | attr.to_tokens(tokens); |
| 222 | } |
David Tolnay | 47a877c | 2016-10-01 16:50:55 -0700 | [diff] [blame] | 223 | self.vis.to_tokens(tokens); |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 224 | match self.data { |
| 225 | Data::Struct(ref d) => d.struct_token.to_tokens(tokens), |
| 226 | Data::Enum(ref d) => d.enum_token.to_tokens(tokens), |
| 227 | Data::Union(ref d) => d.union_token.to_tokens(tokens), |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 228 | } |
| 229 | self.ident.to_tokens(tokens); |
| 230 | self.generics.to_tokens(tokens); |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 231 | match self.data { |
David Tolnay | 61037c6 | 2018-01-05 16:21:03 -0800 | [diff] [blame] | 232 | Data::Struct(ref data) => match data.fields { |
| 233 | Fields::Named(ref fields) => { |
| 234 | self.generics.where_clause.to_tokens(tokens); |
| 235 | fields.to_tokens(tokens); |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 236 | } |
David Tolnay | 61037c6 | 2018-01-05 16:21:03 -0800 | [diff] [blame] | 237 | Fields::Unnamed(ref fields) => { |
| 238 | fields.to_tokens(tokens); |
| 239 | self.generics.where_clause.to_tokens(tokens); |
| 240 | TokensOrDefault(&data.semi_token).to_tokens(tokens); |
| 241 | } |
| 242 | Fields::Unit => { |
| 243 | self.generics.where_clause.to_tokens(tokens); |
| 244 | TokensOrDefault(&data.semi_token).to_tokens(tokens); |
| 245 | } |
| 246 | }, |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 247 | Data::Enum(ref data) => { |
David Tolnay | 28c1db6 | 2016-10-27 22:48:18 -0700 | [diff] [blame] | 248 | self.generics.where_clause.to_tokens(tokens); |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 249 | data.brace_token.surround(tokens, |tokens| { |
| 250 | data.variants.to_tokens(tokens); |
| 251 | }); |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 252 | } |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 253 | Data::Union(ref data) => { |
| 254 | self.generics.where_clause.to_tokens(tokens); |
| 255 | data.fields.to_tokens(tokens); |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 256 | } |
| 257 | } |
| 258 | } |
| 259 | } |
| 260 | } |