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 | |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 82 | use synom::Synom; |
Alex Crichton | 954046c | 2017-05-30 21:49:42 -0700 | [diff] [blame] | 83 | |
| 84 | impl Synom for DeriveInput { |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 85 | named!(parse -> Self, do_parse!( |
David Tolnay | 2c13645 | 2017-12-27 14:13:32 -0500 | [diff] [blame] | 86 | attrs: many0!(Attribute::parse_outer) >> |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 87 | vis: syn!(Visibility) >> |
| 88 | which: alt!( |
David Tolnay | f8db7ba | 2017-11-11 22:52:16 -0800 | [diff] [blame] | 89 | keyword!(struct) => { Ok } |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 90 | | |
David Tolnay | f8db7ba | 2017-11-11 22:52:16 -0800 | [diff] [blame] | 91 | keyword!(enum) => { Err } |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 92 | ) >> |
| 93 | id: syn!(Ident) >> |
| 94 | generics: syn!(Generics) >> |
| 95 | item: switch!(value!(which), |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 96 | Ok(s) => map!(data_struct, move |(wh, fields, semi)| DeriveInput { |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 97 | ident: id, |
| 98 | vis: vis, |
| 99 | attrs: attrs, |
| 100 | generics: Generics { |
| 101 | where_clause: wh, |
| 102 | .. generics |
| 103 | }, |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 104 | data: Data::Struct(DataStruct { |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 105 | struct_token: s, |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 106 | fields: fields, |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 107 | semi_token: semi, |
| 108 | }), |
| 109 | }) |
| 110 | | |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 111 | Err(e) => map!(data_enum, move |(wh, brace, variants)| DeriveInput { |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 112 | ident: id, |
| 113 | vis: vis, |
| 114 | attrs: attrs, |
| 115 | generics: Generics { |
| 116 | where_clause: wh, |
| 117 | .. generics |
| 118 | }, |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 119 | data: Data::Enum(DataEnum { |
| 120 | variants: variants, |
Michael Layzell | 92639a5 | 2017-06-01 00:07:44 -0400 | [diff] [blame] | 121 | brace_token: brace, |
| 122 | enum_token: e, |
| 123 | }), |
| 124 | }) |
| 125 | ) >> |
| 126 | (item) |
| 127 | )); |
Alex Crichton | 954046c | 2017-05-30 21:49:42 -0700 | [diff] [blame] | 128 | |
| 129 | fn description() -> Option<&'static str> { |
| 130 | Some("derive input") |
| 131 | } |
| 132 | } |
| 133 | |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 134 | named!(data_struct -> (Option<WhereClause>, Fields, Option<Token![;]>), alt!( |
Alex Crichton | 954046c | 2017-05-30 21:49:42 -0700 | [diff] [blame] | 135 | do_parse!( |
David Tolnay | ac997dd | 2017-12-27 23:18:22 -0500 | [diff] [blame] | 136 | wh: option!(syn!(WhereClause)) >> |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 137 | fields: syn!(FieldsNamed) >> |
| 138 | (wh, Fields::Named(fields), None) |
Alex Crichton | 954046c | 2017-05-30 21:49:42 -0700 | [diff] [blame] | 139 | ) |
| 140 | | |
| 141 | do_parse!( |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 142 | fields: syn!(FieldsUnnamed) >> |
David Tolnay | ac997dd | 2017-12-27 23:18:22 -0500 | [diff] [blame] | 143 | wh: option!(syn!(WhereClause)) >> |
David Tolnay | f8db7ba | 2017-11-11 22:52:16 -0800 | [diff] [blame] | 144 | semi: punct!(;) >> |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 145 | (wh, Fields::Unnamed(fields), Some(semi)) |
Alex Crichton | 954046c | 2017-05-30 21:49:42 -0700 | [diff] [blame] | 146 | ) |
| 147 | | |
| 148 | do_parse!( |
David Tolnay | ac997dd | 2017-12-27 23:18:22 -0500 | [diff] [blame] | 149 | wh: option!(syn!(WhereClause)) >> |
David Tolnay | f8db7ba | 2017-11-11 22:52:16 -0800 | [diff] [blame] | 150 | semi: punct!(;) >> |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 151 | (wh, Fields::Unit, Some(semi)) |
Alex Crichton | 954046c | 2017-05-30 21:49:42 -0700 | [diff] [blame] | 152 | ) |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 153 | )); |
Alex Crichton | 954046c | 2017-05-30 21:49:42 -0700 | [diff] [blame] | 154 | |
David Tolnay | f2cfd72 | 2017-12-31 18:02:51 -0500 | [diff] [blame] | 155 | named!(data_enum -> (Option<WhereClause>, token::Brace, Punctuated<Variant, Token![,]>), do_parse!( |
David Tolnay | ac997dd | 2017-12-27 23:18:22 -0500 | [diff] [blame] | 156 | wh: option!(syn!(WhereClause)) >> |
David Tolnay | f2cfd72 | 2017-12-31 18:02:51 -0500 | [diff] [blame] | 157 | data: braces!(Punctuated::parse_terminated) >> |
Alex Crichton | 954046c | 2017-05-30 21:49:42 -0700 | [diff] [blame] | 158 | (wh, data.0, data.1) |
| 159 | )); |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 160 | } |
| 161 | |
David Tolnay | c2dfbf4 | 2016-09-23 23:52:15 -0700 | [diff] [blame] | 162 | #[cfg(feature = "printing")] |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 163 | mod printing { |
| 164 | use super::*; |
David Tolnay | 4a51dc7 | 2016-10-01 00:40:31 -0700 | [diff] [blame] | 165 | use attr::FilterAttrs; |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 166 | use proc_macro2::TokenStream; |
David Tolnay | 65fb566 | 2018-05-20 20:02:28 -0700 | [diff] [blame^] | 167 | use quote::ToTokens; |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 168 | |
David Tolnay | 0e83740 | 2016-12-22 17:25:55 -0500 | [diff] [blame] | 169 | impl ToTokens for DeriveInput { |
Alex Crichton | a74a1c8 | 2018-05-16 10:20:44 -0700 | [diff] [blame] | 170 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | 4a51dc7 | 2016-10-01 00:40:31 -0700 | [diff] [blame] | 171 | for attr in self.attrs.outer() { |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 172 | attr.to_tokens(tokens); |
| 173 | } |
David Tolnay | 47a877c | 2016-10-01 16:50:55 -0700 | [diff] [blame] | 174 | self.vis.to_tokens(tokens); |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 175 | match self.data { |
| 176 | Data::Struct(ref d) => d.struct_token.to_tokens(tokens), |
| 177 | Data::Enum(ref d) => d.enum_token.to_tokens(tokens), |
| 178 | Data::Union(ref d) => d.union_token.to_tokens(tokens), |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 179 | } |
| 180 | self.ident.to_tokens(tokens); |
| 181 | self.generics.to_tokens(tokens); |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 182 | match self.data { |
David Tolnay | 61037c6 | 2018-01-05 16:21:03 -0800 | [diff] [blame] | 183 | Data::Struct(ref data) => match data.fields { |
| 184 | Fields::Named(ref fields) => { |
| 185 | self.generics.where_clause.to_tokens(tokens); |
| 186 | fields.to_tokens(tokens); |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 187 | } |
David Tolnay | 61037c6 | 2018-01-05 16:21:03 -0800 | [diff] [blame] | 188 | Fields::Unnamed(ref fields) => { |
| 189 | fields.to_tokens(tokens); |
| 190 | self.generics.where_clause.to_tokens(tokens); |
| 191 | TokensOrDefault(&data.semi_token).to_tokens(tokens); |
| 192 | } |
| 193 | Fields::Unit => { |
| 194 | self.generics.where_clause.to_tokens(tokens); |
| 195 | TokensOrDefault(&data.semi_token).to_tokens(tokens); |
| 196 | } |
| 197 | }, |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 198 | Data::Enum(ref data) => { |
David Tolnay | 28c1db6 | 2016-10-27 22:48:18 -0700 | [diff] [blame] | 199 | self.generics.where_clause.to_tokens(tokens); |
Alex Crichton | ccbb45d | 2017-05-23 10:58:24 -0700 | [diff] [blame] | 200 | data.brace_token.surround(tokens, |tokens| { |
| 201 | data.variants.to_tokens(tokens); |
| 202 | }); |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 203 | } |
David Tolnay | e3d41b7 | 2017-12-31 15:24:00 -0500 | [diff] [blame] | 204 | Data::Union(ref data) => { |
| 205 | self.generics.where_clause.to_tokens(tokens); |
| 206 | data.fields.to_tokens(tokens); |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 207 | } |
| 208 | } |
| 209 | } |
| 210 | } |
| 211 | } |