#![deny(missing_docs)]
use quote::quote;
use syn::{
Data, DeriveInput, Fields, GenericParam, Generics, TypeParamBound, parse_macro_input,
parse_quote,
};
#[proc_macro_derive(Parsable)]
pub fn derive_default_parsable(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
derive_parsable(input, false)
}
#[proc_macro_derive(SymbolParsable)]
pub fn derive_symbol_parsable(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
derive_parsable(input, true)
}
fn add_trait_bounds(mut generics: Generics, bound: TypeParamBound) -> Generics {
for param in &mut generics.params {
if let GenericParam::Type(ref mut type_param) = *param {
type_param.bounds.push(bound.clone());
}
}
generics
}
fn derive_parsable(input: proc_macro::TokenStream, symbol: bool) -> proc_macro::TokenStream {
let input = parse_macro_input!(input as DeriveInput);
let name = input.ident;
let trait_bound = if symbol {
parse_quote!(std::str::FromStr)
} else {
parse_quote!(token_parser::Parsable)
};
let generics = add_trait_bounds(input.generics.clone(), trait_bound);
let (_, ty_generics, where_clause) = generics.split_for_impl();
let mut generics = input.generics;
generics.params.push(parse_quote!(C: token_parser::Context));
let (impl_generics, _, _) = generics.split_for_impl();
let Data::Struct(data) = input.data else {
panic!("Deriving parser is only available for structs");
};
match data.fields {
Fields::Unnamed(fields) => {
let expression = if symbol {
quote! {
name.parse()
.map_err(|_| token_parser::ErrorKind::StringParsing)?
}
} else {
quote!(parser.parse_next(context)?)
};
let expressions = fields.unnamed.into_iter().map(|_| &expression);
let method = if symbol {
quote! {
fn parse_symbol(name: Box<str>, _span: token_parser::Span, context: &C) -> token_parser::Result<Self>
}
} else {
quote! {
fn parse_list(parser: &mut token_parser::Parser, context: &C) -> token_parser::Result<Self>
}
};
let expanded = quote! {
impl #impl_generics token_parser::Parsable<C> for #name #ty_generics #where_clause {
#method
{
Ok(#name(#( #expressions, )*))
}
}
};
proc_macro::TokenStream::from(expanded)
}
_ => panic!("Deriving parser is only available for tuple structs"),
}
}