blob: a77de9771af80aa71c60ec829fe1172fab4a4d5a [file] [log] [blame]
use proc_macro2::{Span, TokenStream};
use syn::{Data, DeriveInput, Field, Fields, Ident};
use utils::{add_extra_ty_param_bound, named_to_vec, unnamed_to_vec};
/// Provides the hook to expand `#[derive(Index)]` into an implementation of `From`
pub fn expand(input: &DeriveInput, trait_name: &str) -> TokenStream {
let trait_ident = Ident::new(trait_name, Span::call_site());
let trait_path = &quote!(::std::ops::#trait_ident);
let input_type = &input.ident;
let field_vec: Vec<&Field>;
let member = match input.data {
Data::Struct(ref data_struct) => match data_struct.fields {
Fields::Unnamed(ref fields) => {
field_vec = unnamed_to_vec(fields);
tuple_from_str(trait_name, &field_vec)
}
Fields::Named(ref fields) => {
field_vec = named_to_vec(fields);
struct_from_str(trait_name, &field_vec)
}
Fields::Unit => panic_one_field(trait_name),
},
_ => panic_one_field(trait_name),
};
let field_type = &field_vec[0].ty;
let generics = add_extra_ty_param_bound(&input.generics, trait_path);
let (impl_generics, ty_generics, where_clause) = generics.split_for_impl();
// let generics = add_extra_ty_param_bound(&input.generics, trait_path);
let casted_trait = &quote!(<#field_type as #trait_path>);
quote!{
impl#impl_generics #trait_path for #input_type#ty_generics #where_clause
{
#[inline]
fn deref_mut(&mut self) -> &mut Self::Target {
#casted_trait::deref_mut(&mut #member)
}
}
}
}
fn panic_one_field(trait_name: &str) -> ! {
panic!(format!(
"Only structs with one field can derive({})",
trait_name
))
}
fn tuple_from_str<'a>(trait_name: &str, fields: &[&'a Field]) -> (TokenStream) {
if fields.len() != 1 {
panic_one_field(trait_name)
};
quote!(self.0)
}
fn struct_from_str<'a>(trait_name: &str, fields: &[&'a Field]) -> TokenStream {
if fields.len() != 1 {
panic_one_field(trait_name)
};
let field = &fields[0];
let field_ident = &field.ident;
quote!(self.#field_ident)
}