1 | use quote::{quote, quote_spanned, ToTokens, TokenStreamExt}; |
2 | use syn::spanned::Spanned; |
3 | |
4 | use crate::options::{AttrsField, ForwardAttrsFilter}; |
5 | |
6 | #[derive (Default)] |
7 | pub struct ForwardAttrs<'a> { |
8 | pub filter: Option<&'a ForwardAttrsFilter>, |
9 | pub field: Option<&'a AttrsField>, |
10 | } |
11 | |
12 | impl ForwardAttrs<'_> { |
13 | /// Check if this will forward any attributes; this requires both that |
14 | /// there be a filter which can match some attributes and a field to receive them. |
15 | pub fn will_forward_any(&self) -> bool { |
16 | if let Some(filter) = self.filter { |
17 | !filter.is_empty() && self.field.is_some() |
18 | } else { |
19 | false |
20 | } |
21 | } |
22 | |
23 | /// Get the field declarations to support attribute forwarding |
24 | pub fn as_declaration(&self) -> Option<Declaration<'_>> { |
25 | self.field.map(Declaration) |
26 | } |
27 | |
28 | /// Get the match arms for attribute matching |
29 | pub fn as_match_arms(&self) -> MatchArms<'_> { |
30 | MatchArms(self) |
31 | } |
32 | |
33 | /// Get the statement that will try to transform forwarded attributes into |
34 | /// the result expected by the receiver field. |
35 | pub fn as_value_populator(&self) -> Option<ValuePopulator<'_>> { |
36 | self.field.map(ValuePopulator) |
37 | } |
38 | |
39 | /// Get the field initializer for use when building the deriving struct. |
40 | pub fn as_initializer(&self) -> Option<Initializer<'_>> { |
41 | self.field.map(Initializer) |
42 | } |
43 | } |
44 | |
45 | pub struct Declaration<'a>(pub &'a AttrsField); |
46 | |
47 | impl ToTokens for Declaration<'_> { |
48 | fn to_tokens(&self, tokens: &mut proc_macro2::TokenStream) { |
49 | let ident: &Ident = &self.0.ident; |
50 | tokens.append_all(iter:quote! { |
51 | let mut __fwd_attrs: ::darling::export::Vec<::darling::export::syn::Attribute> = vec![]; |
52 | let mut #ident: ::darling::export::Option<_> = None; |
53 | }); |
54 | } |
55 | } |
56 | |
57 | pub struct ValuePopulator<'a>(pub &'a AttrsField); |
58 | |
59 | impl ToTokens for ValuePopulator<'_> { |
60 | fn to_tokens(&self, tokens: &mut proc_macro2::TokenStream) { |
61 | let AttrsField { ident: &Ident, with: &Option } = self.0; |
62 | let initializer_expr: TokenStream = match with { |
63 | Some(with: &Path) => quote_spanned!(with.span()=> __errors.handle(#with(__fwd_attrs))), |
64 | None => quote!(::darling::export::Some(__fwd_attrs)), |
65 | }; |
66 | tokens.append_all(iter:quote!(#ident = #initializer_expr;)); |
67 | } |
68 | } |
69 | |
70 | pub struct Initializer<'a>(pub &'a AttrsField); |
71 | |
72 | impl ToTokens for Initializer<'_> { |
73 | fn to_tokens(&self, tokens: &mut proc_macro2::TokenStream) { |
74 | let ident: &Ident = &self.0.ident; |
75 | tokens.append_all(iter:quote!(#ident: #ident.expect("Errors were already checked" ),)); |
76 | } |
77 | } |
78 | |
79 | pub struct MatchArms<'a>(&'a ForwardAttrs<'a>); |
80 | |
81 | impl ToTokens for MatchArms<'_> { |
82 | fn to_tokens(&self, tokens: &mut proc_macro2::TokenStream) { |
83 | if !self.0.will_forward_any() { |
84 | tokens.append_all(quote!(_ => continue)); |
85 | return; |
86 | } |
87 | |
88 | let push_command = quote!(__fwd_attrs.push(__attr.clone())); |
89 | |
90 | tokens.append_all( |
91 | match self |
92 | .0 |
93 | .filter |
94 | .expect("Can only forward attributes if filter is defined" ) |
95 | { |
96 | ForwardAttrsFilter::All => quote!(_ => #push_command), |
97 | ForwardAttrsFilter::Only(idents) => { |
98 | let names = idents.to_strings(); |
99 | quote! { |
100 | #(#names)|* => #push_command, |
101 | _ => continue, |
102 | } |
103 | } |
104 | }, |
105 | ); |
106 | } |
107 | } |
108 | |