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