| 1 | use proc_macro2::TokenStream; |
| 2 | use quote::quote; |
| 3 | use syn::{parse_quote, Data, DeriveInput, Fields}; |
| 4 | |
| 5 | use crate::helpers::{non_enum_error, HasStrumVariantProperties, HasTypeProperties}; |
| 6 | |
| 7 | fn get_arms(ast: &DeriveInput) -> syn::Result<Vec<TokenStream>> { |
| 8 | let name = &ast.ident; |
| 9 | let mut arms = Vec::new(); |
| 10 | let variants = match &ast.data { |
| 11 | Data::Enum(v) => &v.variants, |
| 12 | _ => return Err(non_enum_error()), |
| 13 | }; |
| 14 | |
| 15 | let type_properties = ast.get_type_properties()?; |
| 16 | |
| 17 | for variant in variants { |
| 18 | let ident = &variant.ident; |
| 19 | let variant_properties = variant.get_variant_properties()?; |
| 20 | |
| 21 | if variant_properties.disabled.is_some() { |
| 22 | continue; |
| 23 | } |
| 24 | |
| 25 | // Look at all the serialize attributes. |
| 26 | // Use `to_string` attribute (not `as_ref_str` or something) to keep things consistent |
| 27 | // (i.e. always `enum.as_ref().to_string() == enum.to_string()`). |
| 28 | let output = variant_properties.get_preferred_name(type_properties.case_style); |
| 29 | let params = match variant.fields { |
| 30 | Fields::Unit => quote! {}, |
| 31 | Fields::Unnamed(..) => quote! { (..) }, |
| 32 | Fields::Named(..) => quote! { {..} }, |
| 33 | }; |
| 34 | |
| 35 | arms.push(quote! { #name::#ident #params => #output }); |
| 36 | } |
| 37 | |
| 38 | if arms.len() < variants.len() { |
| 39 | arms.push(quote! { |
| 40 | _ => panic!( |
| 41 | "AsRef::<str>::as_ref() or AsStaticRef::<str>::as_static() \ |
| 42 | called on disabled variant." , |
| 43 | ) |
| 44 | }); |
| 45 | } |
| 46 | |
| 47 | Ok(arms) |
| 48 | } |
| 49 | |
| 50 | pub fn as_ref_str_inner(ast: &DeriveInput) -> syn::Result<TokenStream> { |
| 51 | let name: &Ident = &ast.ident; |
| 52 | let (impl_generics: ImplGenerics<'_>, ty_generics: TypeGenerics<'_>, where_clause: Option<&WhereClause>) = ast.generics.split_for_impl(); |
| 53 | let arms: Vec = get_arms(ast)?; |
| 54 | Ok(quote! { |
| 55 | impl #impl_generics ::core::convert::AsRef<str> for #name #ty_generics #where_clause { |
| 56 | fn as_ref(&self) -> &str { |
| 57 | match *self { |
| 58 | #(#arms),* |
| 59 | } |
| 60 | } |
| 61 | } |
| 62 | }) |
| 63 | } |
| 64 | |
| 65 | pub enum GenerateTraitVariant { |
| 66 | AsStaticStr, |
| 67 | From, |
| 68 | } |
| 69 | |
| 70 | pub fn as_static_str_inner( |
| 71 | ast: &DeriveInput, |
| 72 | trait_variant: &GenerateTraitVariant, |
| 73 | ) -> syn::Result<TokenStream> { |
| 74 | let name = &ast.ident; |
| 75 | let (impl_generics, ty_generics, where_clause) = ast.generics.split_for_impl(); |
| 76 | let arms = get_arms(ast)?; |
| 77 | let type_properties = ast.get_type_properties()?; |
| 78 | let strum_module_path = type_properties.crate_module_path(); |
| 79 | |
| 80 | let mut generics = ast.generics.clone(); |
| 81 | generics |
| 82 | .params |
| 83 | .push(syn::GenericParam::Lifetime(syn::LifetimeDef::new( |
| 84 | parse_quote!('_derivative_strum), |
| 85 | ))); |
| 86 | let (impl_generics2, _, _) = generics.split_for_impl(); |
| 87 | let arms2 = arms.clone(); |
| 88 | let arms3 = arms.clone(); |
| 89 | |
| 90 | Ok(match trait_variant { |
| 91 | GenerateTraitVariant::AsStaticStr => quote! { |
| 92 | impl #impl_generics #strum_module_path::AsStaticRef<str> for #name #ty_generics #where_clause { |
| 93 | fn as_static(&self) -> &'static str { |
| 94 | match *self { |
| 95 | #(#arms),* |
| 96 | } |
| 97 | } |
| 98 | } |
| 99 | }, |
| 100 | GenerateTraitVariant::From => quote! { |
| 101 | impl #impl_generics ::core::convert::From<#name #ty_generics> for &'static str #where_clause { |
| 102 | fn from(x: #name #ty_generics) -> &'static str { |
| 103 | match x { |
| 104 | #(#arms2),* |
| 105 | } |
| 106 | } |
| 107 | } |
| 108 | impl #impl_generics2 ::core::convert::From<&'_derivative_strum #name #ty_generics> for &'static str #where_clause { |
| 109 | fn from(x: &'_derivative_strum #name #ty_generics) -> &'static str { |
| 110 | match *x { |
| 111 | #(#arms3),* |
| 112 | } |
| 113 | } |
| 114 | } |
| 115 | }, |
| 116 | }) |
| 117 | } |
| 118 | |