blob: 9d619b61b04d0b8cf24b72f6523dbb31dc268dd9 [file] [log] [blame]
use proc_macro2::TokenStream;
use syn::{Data, DeriveInput, Field, Fields, Ident, Type};
use utils::{add_extra_ty_param_bound, named_to_vec, unnamed_to_vec};
/// Provides the hook to expand `#[derive(FromStr)]` into an implementation of `From`
pub fn expand(input: &DeriveInput, trait_name: &str) -> TokenStream {
let trait_path = &quote!(::std::str::FromStr);
let generics = add_extra_ty_param_bound(&input.generics, trait_path);
let (impl_generics, ty_generics, where_clause) = generics.split_for_impl();
let input_type = &input.ident;
let (result, field_type) = match input.data {
Data::Struct(ref data_struct) => match data_struct.fields {
Fields::Unnamed(ref fields) => {
tuple_from_str(input_type, trait_name, &unnamed_to_vec(fields))
}
Fields::Named(ref fields) => {
struct_from_str(input_type, trait_name, &named_to_vec(fields))
}
Fields::Unit => panic_one_field(trait_name),
},
_ => panic_one_field(trait_name),
};
quote!{
impl#impl_generics #trait_path for #input_type#ty_generics #where_clause
{
type Err = <#field_type as #trait_path>::Err;
#[inline]
fn from_str(src: &str) -> ::std::result::Result<Self, Self::Err> {
return ::std::result::Result::Ok(#result)
}
}
}
}
fn panic_one_field(trait_name: &str) -> ! {
panic!(format!(
"Only structs with one field can derive({})",
trait_name
))
}
fn tuple_from_str<'a>(
input_type: &Ident,
trait_name: &str,
fields: &[&'a Field],
) -> (TokenStream, &'a Type) {
if fields.len() != 1 {
panic_one_field(trait_name)
};
let field = &fields[0];
let field_type = &field.ty;
(quote!(#input_type(#field_type::from_str(src)?)), field_type)
}
fn struct_from_str<'a>(
input_type: &Ident,
trait_name: &str,
fields: &[&'a Field],
) -> (TokenStream, &'a Type) {
if fields.len() != 1 {
panic_one_field(trait_name)
};
let field = &fields[0];
let field_type = &field.ty;
let field_ident = &field.ident;
(
quote!(#input_type{#field_ident: #field_type::from_str(src)?}),
field_type,
)
}