David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 1 | use super::*; |
| 2 | |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 3 | #[derive(Debug, Clone, Eq, PartialEq)] |
| 4 | pub struct Item { |
| 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>), |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 15 | Struct(VariantData), |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 16 | } |
| 17 | |
| 18 | #[derive(Debug, Clone, Eq, PartialEq)] |
| 19 | pub struct Variant { |
| 20 | pub ident: Ident, |
| 21 | pub attrs: Vec<Attribute>, |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 22 | pub data: VariantData, |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 23 | } |
| 24 | |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 25 | #[derive(Debug, Clone, Eq, PartialEq)] |
| 26 | pub enum VariantData { |
| 27 | Struct(Vec<Field>), |
| 28 | Tuple(Vec<Field>), |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 29 | Unit, |
| 30 | } |
| 31 | |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 32 | impl VariantData { |
| 33 | pub fn fields(&self) -> &[Field] { |
| 34 | match *self { |
| 35 | VariantData::Struct(ref fields) | |
| 36 | VariantData::Tuple(ref fields) => fields, |
| 37 | VariantData::Unit => &[], |
| 38 | } |
| 39 | } |
| 40 | } |
| 41 | |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 42 | #[derive(Debug, Clone, Eq, PartialEq)] |
| 43 | pub struct Field { |
| 44 | pub ident: Option<Ident>, |
| 45 | pub vis: Visibility, |
| 46 | pub attrs: Vec<Attribute>, |
| 47 | pub ty: Ty, |
| 48 | } |
| 49 | |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 50 | #[derive(Debug, Copy, Clone, Eq, PartialEq)] |
| 51 | pub enum Visibility { |
| 52 | Public, |
| 53 | Inherited, |
| 54 | } |
| 55 | |
David Tolnay | 86eca75 | 2016-09-04 11:26:41 -0700 | [diff] [blame] | 56 | #[cfg(feature = "parsing")] |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 57 | pub mod parsing { |
| 58 | use super::*; |
| 59 | use attr::parsing::attribute; |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 60 | use generics::parsing::generics; |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 61 | use ident::parsing::ident; |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 62 | use ty::parsing::ty; |
| 63 | use nom::multispace; |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 64 | |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame^] | 65 | named!(pub item -> Item, do_parse!( |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 66 | attrs: many0!(attribute) >> |
| 67 | vis: visibility >> |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame^] | 68 | which: alt!(punct!("struct") | punct!("enum")) >> |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 69 | multispace >> |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 70 | id: ident >> |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 71 | generics: generics >> |
| 72 | item: switch!(value!(which), |
David Tolnay | c94c38a | 2016-09-05 17:02:03 -0700 | [diff] [blame] | 73 | "struct" => map!(struct_body, move |body| Item { |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 74 | ident: id, |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 75 | vis: vis, |
| 76 | attrs: attrs, |
| 77 | generics: generics, |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 78 | body: Body::Struct(body), |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 79 | }) |
| 80 | | |
| 81 | "enum" => map!(enum_body, move |body| Item { |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 82 | ident: id, |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 83 | vis: vis, |
| 84 | attrs: attrs, |
| 85 | generics: generics, |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 86 | body: Body::Enum(body), |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 87 | }) |
| 88 | ) >> |
David Tolnay | f6ccb83 | 2016-09-04 15:00:56 -0700 | [diff] [blame] | 89 | option!(multispace) >> |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 90 | (item) |
| 91 | )); |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 92 | |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame^] | 93 | named!(struct_body -> VariantData, alt!( |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 94 | struct_like_body => { VariantData::Struct } |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 95 | | |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 96 | terminated!(tuple_like_body, punct!(";")) => { VariantData::Tuple } |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 97 | | |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 98 | punct!(";") => { |_| VariantData::Unit } |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 99 | )); |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 100 | |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame^] | 101 | named!(enum_body -> Vec<Variant>, do_parse!( |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 102 | punct!("{") >> |
| 103 | variants: separated_list!(punct!(","), variant) >> |
David Tolnay | f6ccb83 | 2016-09-04 15:00:56 -0700 | [diff] [blame] | 104 | option!(punct!(",")) >> |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 105 | punct!("}") >> |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 106 | (variants) |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 107 | )); |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 108 | |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame^] | 109 | named!(variant -> Variant, do_parse!( |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 110 | attrs: many0!(attribute) >> |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 111 | id: ident >> |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame^] | 112 | data: alt!( |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 113 | struct_like_body => { VariantData::Struct } |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 114 | | |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 115 | tuple_like_body => { VariantData::Tuple } |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 116 | | |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 117 | epsilon!() => { |_| VariantData::Unit } |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 118 | ) >> |
| 119 | (Variant { |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 120 | ident: id, |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 121 | attrs: attrs, |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 122 | data: data, |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 123 | }) |
| 124 | )); |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 125 | |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame^] | 126 | named!(struct_like_body -> Vec<Field>, do_parse!( |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 127 | punct!("{") >> |
| 128 | fields: separated_list!(punct!(","), struct_field) >> |
David Tolnay | f6ccb83 | 2016-09-04 15:00:56 -0700 | [diff] [blame] | 129 | option!(punct!(",")) >> |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 130 | punct!("}") >> |
| 131 | (fields) |
| 132 | )); |
David Tolnay | b79ee96 | 2016-09-04 09:39:20 -0700 | [diff] [blame] | 133 | |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame^] | 134 | named!(tuple_like_body -> Vec<Field>, do_parse!( |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 135 | punct!("(") >> |
| 136 | fields: separated_list!(punct!(","), tuple_field) >> |
David Tolnay | f6ccb83 | 2016-09-04 15:00:56 -0700 | [diff] [blame] | 137 | option!(punct!(",")) >> |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 138 | punct!(")") >> |
| 139 | (fields) |
| 140 | )); |
| 141 | |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame^] | 142 | named!(struct_field -> Field, do_parse!( |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 143 | attrs: many0!(attribute) >> |
| 144 | vis: visibility >> |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 145 | id: ident >> |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 146 | punct!(":") >> |
| 147 | ty: ty >> |
| 148 | (Field { |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 149 | ident: Some(id), |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 150 | vis: vis, |
| 151 | attrs: attrs, |
| 152 | ty: ty, |
| 153 | }) |
| 154 | )); |
| 155 | |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame^] | 156 | named!(tuple_field -> Field, do_parse!( |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 157 | attrs: many0!(attribute) >> |
| 158 | vis: visibility >> |
| 159 | ty: ty >> |
| 160 | (Field { |
| 161 | ident: None, |
| 162 | vis: vis, |
| 163 | attrs: attrs, |
| 164 | ty: ty, |
| 165 | }) |
| 166 | )); |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 167 | |
David Tolnay | b5a7b14 | 2016-09-13 22:46:39 -0700 | [diff] [blame^] | 168 | named!(pub visibility -> Visibility, alt!( |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 169 | do_parse!( |
| 170 | punct!("pub") >> |
| 171 | multispace >> |
| 172 | (Visibility::Public) |
| 173 | ) |
| 174 | | |
| 175 | epsilon!() => { |_| Visibility::Inherited } |
| 176 | )); |
David Tolnay | 9d8f197 | 2016-09-04 11:58:48 -0700 | [diff] [blame] | 177 | } |
David Tolnay | d502581 | 2016-09-04 14:21:46 -0700 | [diff] [blame] | 178 | |
| 179 | #[cfg(feature = "printing")] |
| 180 | mod printing { |
| 181 | use super::*; |
David Tolnay | d502581 | 2016-09-04 14:21:46 -0700 | [diff] [blame] | 182 | use quote::{Tokens, ToTokens}; |
| 183 | |
| 184 | impl ToTokens for Item { |
| 185 | fn to_tokens(&self, tokens: &mut Tokens) { |
| 186 | for attr in &self.attrs { |
| 187 | attr.to_tokens(tokens); |
| 188 | } |
| 189 | if let Visibility::Public = self.vis { |
| 190 | tokens.append("pub"); |
| 191 | } |
| 192 | match self.body { |
| 193 | Body::Enum(_) => tokens.append("enum"), |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 194 | Body::Struct(_) => tokens.append("struct"), |
David Tolnay | d502581 | 2016-09-04 14:21:46 -0700 | [diff] [blame] | 195 | } |
| 196 | self.ident.to_tokens(tokens); |
| 197 | self.generics.to_tokens(tokens); |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 198 | self.generics.where_clause.to_tokens(tokens); |
David Tolnay | d502581 | 2016-09-04 14:21:46 -0700 | [diff] [blame] | 199 | self.body.to_tokens(tokens); |
| 200 | } |
| 201 | } |
| 202 | |
| 203 | impl ToTokens for Body { |
| 204 | fn to_tokens(&self, tokens: &mut Tokens) { |
| 205 | match *self { |
| 206 | Body::Enum(ref variants) => { |
| 207 | tokens.append("{"); |
| 208 | for variant in variants { |
| 209 | variant.to_tokens(tokens); |
David Tolnay | 812c200 | 2016-09-04 14:32:19 -0700 | [diff] [blame] | 210 | tokens.append(","); |
David Tolnay | d502581 | 2016-09-04 14:21:46 -0700 | [diff] [blame] | 211 | } |
| 212 | tokens.append("}"); |
| 213 | } |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 214 | Body::Struct(ref variant_data) => { |
| 215 | variant_data_to_tokens(variant_data, tokens); |
| 216 | match *variant_data { |
| 217 | VariantData::Struct(_) => { /* no semicolon */ } |
| 218 | VariantData::Tuple(_) | |
| 219 | VariantData::Unit => tokens.append(";"), |
David Tolnay | d502581 | 2016-09-04 14:21:46 -0700 | [diff] [blame] | 220 | } |
| 221 | } |
| 222 | } |
| 223 | } |
| 224 | } |
| 225 | |
| 226 | impl ToTokens for Variant { |
| 227 | fn to_tokens(&self, tokens: &mut Tokens) { |
| 228 | for attr in &self.attrs { |
| 229 | attr.to_tokens(tokens); |
| 230 | } |
| 231 | self.ident.to_tokens(tokens); |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 232 | variant_data_to_tokens(&self.data, tokens); |
David Tolnay | d502581 | 2016-09-04 14:21:46 -0700 | [diff] [blame] | 233 | } |
| 234 | } |
| 235 | |
| 236 | impl ToTokens for Field { |
| 237 | fn to_tokens(&self, tokens: &mut Tokens) { |
| 238 | for attr in &self.attrs { |
| 239 | attr.to_tokens(tokens); |
| 240 | } |
| 241 | if let Visibility::Public = self.vis { |
| 242 | tokens.append("pub"); |
| 243 | } |
| 244 | if let Some(ref ident) = self.ident { |
| 245 | ident.to_tokens(tokens); |
| 246 | tokens.append(":"); |
| 247 | } |
| 248 | self.ty.to_tokens(tokens); |
| 249 | } |
| 250 | } |
| 251 | |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 252 | fn variant_data_to_tokens(data: &VariantData, tokens: &mut Tokens) { |
| 253 | match *data { |
| 254 | VariantData::Struct(ref fields) => { |
David Tolnay | d502581 | 2016-09-04 14:21:46 -0700 | [diff] [blame] | 255 | tokens.append("{"); |
| 256 | tokens.append_separated(fields, ","); |
| 257 | tokens.append("}"); |
| 258 | } |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 259 | VariantData::Tuple(ref fields) => { |
David Tolnay | d502581 | 2016-09-04 14:21:46 -0700 | [diff] [blame] | 260 | tokens.append("("); |
| 261 | tokens.append_separated(fields, ","); |
| 262 | tokens.append(")"); |
| 263 | } |
David Tolnay | 5533772 | 2016-09-11 12:58:56 -0700 | [diff] [blame] | 264 | VariantData::Unit => {} |
David Tolnay | d502581 | 2016-09-04 14:21:46 -0700 | [diff] [blame] | 265 | } |
| 266 | } |
| 267 | } |