use crate::internals::attr;
use crate::internals::{Ctxt, Derive};
use syn;
use syn::punctuated::Punctuated;
use regex::Regex;
use proc_macro2::{TokenStream, Ident};
use proc_macro2::{Span};
pub struct Container<'a> {
pub ident: syn::Ident,
pub attrs: attr::Container,
pub data: Data<'a>,
pub generics: &'a syn::Generics,
pub original: &'a syn::DeriveInput,
}
pub enum Data<'a> {
Enum(Vec<Variant<'a>>),
Struct(Style, Vec<Field<'a>>),
}
pub struct Variant<'a> {
pub ident: syn::Ident,
pub attrs: attr::Variant,
pub style: Style,
pub fields: Vec<Field<'a>>,
pub original: &'a syn::Variant,
}
pub fn get_option_count(fields: &[Field]) -> u32 {
let mut count = 0u32;
for field in fields {
if field.is_option() {
count += 1;
}
}
count
}
pub struct Field<'a> {
pub member: syn::Member,
pub attrs: attr::Field,
pub ty: &'a syn::Type,
pub original: &'a syn::Field,
}
impl <'a> Field<'_> {
pub fn is_option(&self) -> bool {
let ty = self.ty;
let ty = quote!(#ty).to_string();
let re = Regex::new(r"^Option[ ]*<").unwrap();
re.is_match(ty.as_str())
}
pub fn get_option_type(&self) -> TokenStream {
let ty = self.ty;
let ty = quote!(#ty).to_string();
let re = Regex::new(r"^Option[ ]*<").unwrap();
let ret = re.replace(ty.as_str(), "").to_string();
let re = Regex::new(r">$").unwrap();
let ret = re.replace(ret.as_str(), "").to_string();
let ident = Ident::new(ret.trim(), Span::call_site());
quote! {#ident}
}
pub fn is_vec_u8(&self) -> bool {
let ty = self.ty;
let ty = quote!(#ty).to_string();
let re = Regex::new(r"Vec[ ]*<[ ]*u8[ ]*>$").unwrap();
re.is_match(ty.trim())
}
}
#[derive(Copy, Clone)]
pub enum Style {
Struct,
Tuple,
Newtype,
Unit,
}
impl<'a> Container<'a> {
pub fn from_ast(
cx: &Ctxt,
item: &'a syn::DeriveInput,
_: Derive,
) -> Option<Container<'a>> {
let attrs = attr::Container::from_ast(cx, item);
let data = match &item.data {
syn::Data::Enum(data) => Data::Enum(enum_from_ast(cx, &data.variants)),
syn::Data::Struct(data) => {
let (style, fields) = struct_from_ast(cx, &data.fields, None);
Data::Struct(style, fields)
}
syn::Data::Union(_) => {
cx.error_spanned_by(item, "bucky does not support derive for unions");
return None;
}
};
let item = Container {
ident: item.ident.clone(),
attrs,
data,
generics: &item.generics,
original: item,
};
Some(item)
}
}
fn enum_from_ast<'a>(
cx: &Ctxt,
variants: &'a Punctuated<syn::Variant, syn::Token![,]>,
) -> Vec<Variant<'a>> {
variants
.iter()
.map(|variant| {
let attrs = attr::Variant::from_ast(cx, variant);
let (style, fields) =
struct_from_ast(cx, &variant.fields, Some(&attrs));
Variant {
ident: variant.ident.clone(),
attrs,
style,
fields,
original: variant,
}
})
.collect()
}
fn struct_from_ast<'a>(
cx: &Ctxt,
fields: &'a syn::Fields,
attrs: Option<&attr::Variant>,
) -> (Style, Vec<Field<'a>>) {
match fields {
syn::Fields::Named(fields) => (
Style::Struct,
fields_from_ast(cx, &fields.named, attrs),
),
syn::Fields::Unnamed(fields) if fields.unnamed.len() == 1 => (
Style::Newtype,
fields_from_ast(cx, &fields.unnamed, attrs),
),
syn::Fields::Unnamed(fields) => (
Style::Tuple,
fields_from_ast(cx, &fields.unnamed, attrs),
),
syn::Fields::Unit => (Style::Unit, Vec::new()),
}
}
fn fields_from_ast<'a>(
cx: &Ctxt,
fields: &'a Punctuated<syn::Field, syn::Token![,]>,
attrs: Option<&attr::Variant>,
) -> Vec<Field<'a>> {
fields
.iter()
.enumerate()
.map(|(i, field)| Field {
member: match &field.ident {
Some(ident) => syn::Member::Named(ident.clone()),
None => syn::Member::Unnamed(i.into()),
},
attrs: attr::Field::from_ast(cx, i, field, attrs),
ty: &field.ty,
original: field,
})
.collect()
}