David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 1 | use super::*; |
| 2 | |
Clar Charr | d22b570 | 2017-03-10 15:24:56 -0500 | [diff] [blame^] | 3 | /// Struct or enum sent to a `proc_macro_derive` macro. |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 4 | #[derive(Debug, Clone, Eq, PartialEq, Hash)] |
David Tolnay | 0e83740 | 2016-12-22 17:25:55 -0500 | [diff] [blame] | 5 | pub struct DeriveInput { |
Clar Charr | d22b570 | 2017-03-10 15:24:56 -0500 | [diff] [blame^] | 6 | /// Name of the struct or enum. |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 7 | pub ident: Ident, |
Clar Charr | d22b570 | 2017-03-10 15:24:56 -0500 | [diff] [blame^] | 8 | |
| 9 | /// Visibility of the struct or enum. |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 10 | pub vis: Visibility, |
Clar Charr | d22b570 | 2017-03-10 15:24:56 -0500 | [diff] [blame^] | 11 | |
| 12 | /// Attributes tagged on the whole struct or enum. |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 13 | pub attrs: Vec<Attribute>, |
Clar Charr | d22b570 | 2017-03-10 15:24:56 -0500 | [diff] [blame^] | 14 | |
| 15 | /// Generics required to complete the definition. |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 16 | pub generics: Generics, |
Clar Charr | d22b570 | 2017-03-10 15:24:56 -0500 | [diff] [blame^] | 17 | |
| 18 | /// Data within the struct or enum. |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 19 | pub body: Body, |
| 20 | } |
| 21 | |
Clar Charr | d22b570 | 2017-03-10 15:24:56 -0500 | [diff] [blame^] | 22 | /// Body of a derived struct or enum. |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 23 | #[derive(Debug, Clone, Eq, PartialEq, Hash)] |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 24 | pub enum Body { |
Clar Charr | d22b570 | 2017-03-10 15:24:56 -0500 | [diff] [blame^] | 25 | /// It's an enum. |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 26 | Enum(Vec<Variant>), |
Clar Charr | d22b570 | 2017-03-10 15:24:56 -0500 | [diff] [blame^] | 27 | |
| 28 | /// It's a struct. |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 29 | Struct(VariantData), |
| 30 | } |
| 31 | |
| 32 | #[cfg(feature = "parsing")] |
| 33 | pub mod parsing { |
| 34 | use super::*; |
David Tolnay | 3cf5298 | 2016-10-01 17:11:37 -0700 | [diff] [blame] | 35 | use Generics; |
David Tolnay | 4a51dc7 | 2016-10-01 00:40:31 -0700 | [diff] [blame] | 36 | use attr::parsing::outer_attr; |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 37 | use data::parsing::{visibility, struct_body, enum_body}; |
David Tolnay | 28c1db6 | 2016-10-27 22:48:18 -0700 | [diff] [blame] | 38 | use generics::parsing::generics; |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 39 | use ident::parsing::ident; |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 40 | |
David Tolnay | 0e83740 | 2016-12-22 17:25:55 -0500 | [diff] [blame] | 41 | named!(pub derive_input -> DeriveInput, do_parse!( |
David Tolnay | 4a51dc7 | 2016-10-01 00:40:31 -0700 | [diff] [blame] | 42 | attrs: many0!(outer_attr) >> |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 43 | vis: visibility >> |
David Tolnay | 10413f0 | 2016-09-30 09:12:02 -0700 | [diff] [blame] | 44 | which: alt!(keyword!("struct") | keyword!("enum")) >> |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 45 | id: ident >> |
| 46 | generics: generics >> |
| 47 | item: switch!(value!(which), |
David Tolnay | 0e83740 | 2016-12-22 17:25:55 -0500 | [diff] [blame] | 48 | "struct" => map!(struct_body, move |(wh, body)| DeriveInput { |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 49 | ident: id, |
| 50 | vis: vis, |
| 51 | attrs: attrs, |
David Tolnay | 3cf5298 | 2016-10-01 17:11:37 -0700 | [diff] [blame] | 52 | generics: Generics { |
David Tolnay | 28c1db6 | 2016-10-27 22:48:18 -0700 | [diff] [blame] | 53 | where_clause: wh, |
David Tolnay | 3cf5298 | 2016-10-01 17:11:37 -0700 | [diff] [blame] | 54 | .. generics |
| 55 | }, |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 56 | body: Body::Struct(body), |
| 57 | }) |
| 58 | | |
David Tolnay | 0e83740 | 2016-12-22 17:25:55 -0500 | [diff] [blame] | 59 | "enum" => map!(enum_body, move |(wh, body)| DeriveInput { |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 60 | ident: id, |
| 61 | vis: vis, |
| 62 | attrs: attrs, |
David Tolnay | 3cf5298 | 2016-10-01 17:11:37 -0700 | [diff] [blame] | 63 | generics: Generics { |
David Tolnay | 28c1db6 | 2016-10-27 22:48:18 -0700 | [diff] [blame] | 64 | where_clause: wh, |
David Tolnay | 3cf5298 | 2016-10-01 17:11:37 -0700 | [diff] [blame] | 65 | .. generics |
| 66 | }, |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 67 | body: Body::Enum(body), |
| 68 | }) |
| 69 | ) >> |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 70 | (item) |
| 71 | )); |
| 72 | } |
| 73 | |
David Tolnay | c2dfbf4 | 2016-09-23 23:52:15 -0700 | [diff] [blame] | 74 | #[cfg(feature = "printing")] |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 75 | mod printing { |
| 76 | use super::*; |
David Tolnay | 4a51dc7 | 2016-10-01 00:40:31 -0700 | [diff] [blame] | 77 | use attr::FilterAttrs; |
David Tolnay | 47a877c | 2016-10-01 16:50:55 -0700 | [diff] [blame] | 78 | use data::VariantData; |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 79 | use quote::{Tokens, ToTokens}; |
| 80 | |
David Tolnay | 0e83740 | 2016-12-22 17:25:55 -0500 | [diff] [blame] | 81 | impl ToTokens for DeriveInput { |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 82 | fn to_tokens(&self, tokens: &mut Tokens) { |
David Tolnay | 4a51dc7 | 2016-10-01 00:40:31 -0700 | [diff] [blame] | 83 | for attr in self.attrs.outer() { |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 84 | attr.to_tokens(tokens); |
| 85 | } |
David Tolnay | 47a877c | 2016-10-01 16:50:55 -0700 | [diff] [blame] | 86 | self.vis.to_tokens(tokens); |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 87 | match self.body { |
| 88 | Body::Enum(_) => tokens.append("enum"), |
| 89 | Body::Struct(_) => tokens.append("struct"), |
| 90 | } |
| 91 | self.ident.to_tokens(tokens); |
| 92 | self.generics.to_tokens(tokens); |
David Tolnay | 28c1db6 | 2016-10-27 22:48:18 -0700 | [diff] [blame] | 93 | match self.body { |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 94 | Body::Enum(ref variants) => { |
David Tolnay | 28c1db6 | 2016-10-27 22:48:18 -0700 | [diff] [blame] | 95 | self.generics.where_clause.to_tokens(tokens); |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 96 | tokens.append("{"); |
| 97 | for variant in variants { |
| 98 | variant.to_tokens(tokens); |
| 99 | tokens.append(","); |
| 100 | } |
| 101 | tokens.append("}"); |
| 102 | } |
| 103 | Body::Struct(ref variant_data) => { |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 104 | match *variant_data { |
David Tolnay | daaf774 | 2016-10-03 11:11:43 -0700 | [diff] [blame] | 105 | VariantData::Struct(_) => { |
David Tolnay | 28c1db6 | 2016-10-27 22:48:18 -0700 | [diff] [blame] | 106 | self.generics.where_clause.to_tokens(tokens); |
| 107 | variant_data.to_tokens(tokens); |
David Tolnay | daaf774 | 2016-10-03 11:11:43 -0700 | [diff] [blame] | 108 | // no semicolon |
| 109 | } |
David Tolnay | 28c1db6 | 2016-10-27 22:48:18 -0700 | [diff] [blame] | 110 | VariantData::Tuple(_) => { |
| 111 | variant_data.to_tokens(tokens); |
| 112 | self.generics.where_clause.to_tokens(tokens); |
| 113 | tokens.append(";"); |
| 114 | } |
| 115 | VariantData::Unit => { |
| 116 | self.generics.where_clause.to_tokens(tokens); |
| 117 | tokens.append(";"); |
| 118 | } |
David Tolnay | f38cdf6 | 2016-09-23 19:07:09 -0700 | [diff] [blame] | 119 | } |
| 120 | } |
| 121 | } |
| 122 | } |
| 123 | } |
| 124 | } |