2019-10-20 14:49:53 +00:00
|
|
|
use proc_macro::TokenStream;
|
2020-04-08 21:53:57 +02:00
|
|
|
use proc_macro2::TokenStream as TokenStream2;
|
2020-04-19 22:26:29 +02:00
|
|
|
use quote::{format_ident, quote};
|
2020-04-29 21:00:06 +02:00
|
|
|
use std::cmp::min;
|
2019-10-20 14:49:53 +00:00
|
|
|
use syn::{
|
2020-05-03 23:25:48 +02:00
|
|
|
parse_macro_input,
|
2020-05-03 23:10:19 +02:00
|
|
|
spanned::Spanned,
|
|
|
|
Data,
|
|
|
|
DeriveInput,
|
2020-04-08 21:53:57 +02:00
|
|
|
Error,
|
2020-04-19 22:26:29 +02:00
|
|
|
Field,
|
2019-10-20 14:49:53 +00:00
|
|
|
Fields,
|
2020-04-19 22:26:29 +02:00
|
|
|
Ident,
|
2020-05-03 23:25:48 +02:00
|
|
|
Type
|
2019-10-20 14:49:53 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
pub fn expand_from_body(tokens : TokenStream) -> TokenStream
|
2020-04-08 21:53:57 +02:00
|
|
|
{
|
|
|
|
expand(tokens)
|
|
|
|
.unwrap_or_else(|err| err.to_compile_error())
|
|
|
|
.into()
|
|
|
|
}
|
|
|
|
|
2020-04-19 22:26:29 +02:00
|
|
|
struct ParsedFields
|
|
|
|
{
|
|
|
|
fields : Vec<(Ident, Type)>,
|
|
|
|
named : bool
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ParsedFields
|
|
|
|
{
|
2020-05-03 23:25:48 +02:00
|
|
|
fn from_named<I>(fields : I) -> Result<Self, Error>
|
|
|
|
where
|
|
|
|
I : Iterator<Item = Field>
|
2020-04-19 22:26:29 +02:00
|
|
|
{
|
2020-05-03 23:25:48 +02:00
|
|
|
let fields = fields.map(|field| (field.ident.unwrap(), field.ty)).collect();
|
2020-04-19 22:26:29 +02:00
|
|
|
Ok(Self { fields, named: true })
|
|
|
|
}
|
|
|
|
|
2020-05-03 23:25:48 +02:00
|
|
|
fn from_unnamed<I>(fields : I) -> Result<Self, Error>
|
|
|
|
where
|
|
|
|
I : Iterator<Item = Field>
|
2020-04-19 22:26:29 +02:00
|
|
|
{
|
|
|
|
let fields = fields.into_iter().enumerate().map(|(i, field)| (format_ident!("arg{}", i), field.ty)).collect();
|
|
|
|
Ok(Self { fields, named: false })
|
|
|
|
}
|
|
|
|
|
|
|
|
fn from_unit() -> Result<Self, Error>
|
|
|
|
{
|
|
|
|
Ok(Self { fields: Vec::new(), named: false })
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-04-08 21:53:57 +02:00
|
|
|
fn expand(tokens : TokenStream) -> Result<TokenStream2, Error>
|
2019-10-20 14:49:53 +00:00
|
|
|
{
|
|
|
|
let krate = super::krate();
|
2020-05-03 23:10:19 +02:00
|
|
|
let input = parse_macro_input::parse::<DeriveInput>(tokens)?;
|
2019-10-20 14:49:53 +00:00
|
|
|
let ident = input.ident;
|
|
|
|
let generics = input.generics;
|
|
|
|
|
2020-05-03 23:10:19 +02:00
|
|
|
let strukt = match input.data {
|
|
|
|
Data::Enum(inum) => Err(inum.enum_token.span()),
|
|
|
|
Data::Struct(strukt) => Ok(strukt),
|
|
|
|
Data::Union(uni) => Err(uni.union_token.span())
|
|
|
|
}.map_err(|span| Error::new(span, "#[derive(FromBody)] only works for enums"))?;
|
|
|
|
|
|
|
|
let fields = match strukt.fields {
|
2020-05-03 23:25:48 +02:00
|
|
|
Fields::Named(named) => ParsedFields::from_named(named.named.into_iter())?,
|
|
|
|
Fields::Unnamed(unnamed) => ParsedFields::from_unnamed(unnamed.unnamed.into_iter())?,
|
2020-04-19 22:26:29 +02:00
|
|
|
Fields::Unit => ParsedFields::from_unit()?
|
|
|
|
};
|
|
|
|
|
|
|
|
let mut where_clause = quote!();
|
|
|
|
let mut block = quote!();
|
|
|
|
let mut body_ident = format_ident!("_body");
|
|
|
|
let mut type_ident = format_ident!("_type");
|
|
|
|
|
|
|
|
if let Some(body_field) = fields.fields.get(0)
|
|
|
|
{
|
|
|
|
body_ident = body_field.0.clone();
|
|
|
|
let body_ty = &body_field.1;
|
|
|
|
where_clause = quote! {
|
|
|
|
#where_clause
|
|
|
|
#body_ty : for<'a> From<&'a [u8]>,
|
|
|
|
};
|
|
|
|
block = quote! {
|
|
|
|
#block
|
|
|
|
let #body_ident : &[u8] = &#body_ident;
|
|
|
|
let #body_ident : #body_ty = #body_ident.into();
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
if let Some(type_field) = fields.fields.get(1)
|
|
|
|
{
|
|
|
|
type_ident = type_field.0.clone();
|
|
|
|
let type_ty = &type_field.1;
|
|
|
|
where_clause = quote! {
|
|
|
|
#where_clause
|
|
|
|
#type_ty : From<#krate::Mime>,
|
|
|
|
};
|
|
|
|
block = quote! {
|
|
|
|
#block
|
|
|
|
let #type_ident : #type_ty = #type_ident.into();
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2020-04-29 21:00:06 +02:00
|
|
|
for field in &fields.fields[min(2, fields.fields.len())..]
|
2020-04-19 22:26:29 +02:00
|
|
|
{
|
|
|
|
let field_ident = &field.0;
|
|
|
|
let field_ty = &field.1;
|
|
|
|
where_clause = quote! {
|
|
|
|
#where_clause
|
|
|
|
#field_ty : Default,
|
|
|
|
};
|
|
|
|
block = quote! {
|
|
|
|
#block
|
|
|
|
let #field_ident : #field_ty = Default::default();
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
let field_names : Vec<&Ident> = fields.fields.iter().map(|field| &field.0).collect();
|
|
|
|
let ctor = if fields.named {
|
|
|
|
quote!(Self { #(#field_names),* })
|
|
|
|
} else {
|
|
|
|
quote!(Self ( #(#field_names),* ))
|
2019-10-20 14:49:53 +00:00
|
|
|
};
|
|
|
|
|
2020-04-08 21:53:57 +02:00
|
|
|
Ok(quote! {
|
2019-10-20 14:49:53 +00:00
|
|
|
impl #generics #krate::FromBody for #ident #generics
|
2020-04-19 22:26:29 +02:00
|
|
|
where #where_clause
|
2019-10-20 14:49:53 +00:00
|
|
|
{
|
2020-05-01 14:48:11 +00:00
|
|
|
type Err = #krate::FromBodyNoError;
|
2019-10-20 14:49:53 +00:00
|
|
|
|
2020-05-03 23:10:19 +02:00
|
|
|
fn from_body(#body_ident : #krate::gotham::hyper::body::Bytes, #type_ident : #krate::Mime) -> Result<Self, #krate::FromBodyNoError>
|
2019-10-20 14:49:53 +00:00
|
|
|
{
|
2020-04-19 22:26:29 +02:00
|
|
|
#block
|
|
|
|
Ok(#ctor)
|
2019-10-20 14:49:53 +00:00
|
|
|
}
|
|
|
|
}
|
2020-04-08 21:53:57 +02:00
|
|
|
})
|
2019-10-20 14:49:53 +00:00
|
|
|
}
|