1 | use proc_macro2::Span; |
2 | use syn::{parse_quote, spanned::Spanned}; |
3 | |
4 | use crate::ast::NestedMeta; |
5 | use crate::error::Accumulator; |
6 | use crate::{Error, FromMeta, Result}; |
7 | |
8 | mod core; |
9 | mod forward_attrs; |
10 | mod from_attributes; |
11 | mod from_derive; |
12 | mod from_field; |
13 | mod from_meta; |
14 | mod from_type_param; |
15 | mod from_variant; |
16 | mod input_field; |
17 | mod input_variant; |
18 | mod outer_from; |
19 | mod shape; |
20 | |
21 | pub use self::core::Core; |
22 | pub use self::forward_attrs::{AttrsField, ForwardAttrsFilter}; |
23 | pub use self::from_attributes::FromAttributesOptions; |
24 | pub use self::from_derive::FdiOptions; |
25 | pub use self::from_field::FromFieldOptions; |
26 | pub use self::from_meta::FromMetaOptions; |
27 | pub use self::from_type_param::FromTypeParamOptions; |
28 | pub use self::from_variant::FromVariantOptions; |
29 | pub use self::input_field::InputField; |
30 | pub use self::input_variant::InputVariant; |
31 | pub use self::outer_from::OuterFrom; |
32 | pub use self::shape::{DataShape, DeriveInputShapeSet}; |
33 | |
34 | /// A default/fallback expression encountered in attributes during parsing. |
35 | #[derive (Debug, Clone)] |
36 | pub enum DefaultExpression { |
37 | /// The value should be taken from the `default` instance of the containing struct. |
38 | /// This is not valid in container options. |
39 | Inherit, |
40 | Explicit(syn::Path), |
41 | Trait { |
42 | /// The input span that is responsible for the use of `Default::default`. |
43 | span: Span, |
44 | }, |
45 | } |
46 | |
47 | #[doc (hidden)] |
48 | impl FromMeta for DefaultExpression { |
49 | // Note: This cannot use `from_word` as it needs to capture the span |
50 | // in the `Meta::Path` case. |
51 | fn from_meta(item: &syn::Meta) -> Result<Self> { |
52 | match item { |
53 | syn::Meta::Path(_) => Ok(DefaultExpression::Trait { span: item.span() }), |
54 | syn::Meta::List(nm: &MetaList) => Err(Error::unsupported_format("list" ).with_span(node:nm)), |
55 | syn::Meta::NameValue(nv: &MetaNameValue) => Self::from_expr(&nv.value), |
56 | } |
57 | } |
58 | |
59 | fn from_expr(expr: &syn::Expr) -> Result<Self> { |
60 | syn::Path::from_expr(expr).map(op:DefaultExpression::Explicit) |
61 | } |
62 | |
63 | fn from_value(value: &syn::Lit) -> Result<Self> { |
64 | syn::Path::from_value(value).map(op:DefaultExpression::Explicit) |
65 | } |
66 | } |
67 | |
68 | /// Middleware for extracting attribute values. Implementers are expected to override |
69 | /// `parse_nested` so they can apply individual items to themselves, while `parse_attributes` |
70 | /// is responsible for looping through distinct outer attributes and collecting errors. |
71 | pub trait ParseAttribute: Sized { |
72 | fn parse_attributes(mut self, attrs: &[syn::Attribute]) -> Result<Self> { |
73 | let mut errors: Accumulator = Error::accumulator(); |
74 | for attr: &Attribute in attrs { |
75 | if attr.meta.path() == &parse_quote!(darling) { |
76 | errors.handle(result:parse_attr(attr, &mut self)); |
77 | } |
78 | } |
79 | |
80 | errors.finish_with(self) |
81 | } |
82 | |
83 | /// Read a meta-item, and apply its values to the current instance. |
84 | fn parse_nested(&mut self, mi: &syn::Meta) -> Result<()>; |
85 | } |
86 | |
87 | fn parse_attr<T: ParseAttribute>(attr: &syn::Attribute, target: &mut T) -> Result<()> { |
88 | let mut errors: Accumulator = Error::accumulator(); |
89 | match &attr.meta { |
90 | syn::Meta::List(data: &MetaList) => { |
91 | for item: NestedMeta in NestedMeta::parse_meta_list(data.tokens.clone())? { |
92 | if let NestedMeta::Meta(ref mi: &Meta) = item { |
93 | errors.handle(result:target.parse_nested(mi)); |
94 | } else { |
95 | panic!("Wasn't able to parse: ` {:?}`" , item); |
96 | } |
97 | } |
98 | |
99 | errors.finish() |
100 | } |
101 | item: &Meta => panic!("Wasn't able to parse: ` {:?}`" , item), |
102 | } |
103 | } |
104 | |
105 | /// Middleware for extracting values from the body of the derive input. Implementers are |
106 | /// expected to override `parse_field` or `parse_variant` as appropriate for their use-case, |
107 | /// while `parse_body` dispatches to the appropriate methods and handles error collection. |
108 | pub trait ParseData: Sized { |
109 | fn parse_body(mut self, body: &syn::Data) -> Result<Self> { |
110 | use syn::{Data, Fields}; |
111 | |
112 | let mut errors = Error::accumulator(); |
113 | |
114 | match *body { |
115 | Data::Struct(ref data) => match data.fields { |
116 | Fields::Unit => {} |
117 | Fields::Named(ref fields) => { |
118 | for field in &fields.named { |
119 | errors.handle(self.parse_field(field)); |
120 | } |
121 | } |
122 | Fields::Unnamed(ref fields) => { |
123 | for field in &fields.unnamed { |
124 | errors.handle(self.parse_field(field)); |
125 | } |
126 | } |
127 | }, |
128 | Data::Enum(ref data) => { |
129 | for variant in &data.variants { |
130 | errors.handle(self.parse_variant(variant)); |
131 | } |
132 | } |
133 | Data::Union(_) => unreachable!(), |
134 | }; |
135 | |
136 | self.validate_body(&mut errors); |
137 | |
138 | errors.finish_with(self) |
139 | } |
140 | |
141 | /// Apply the next found variant to the object, returning an error |
142 | /// if parsing goes wrong. |
143 | fn parse_variant(&mut self, variant: &syn::Variant) -> Result<()> { |
144 | Err(Error::unsupported_format("enum variant" ).with_span(variant)) |
145 | } |
146 | |
147 | /// Apply the next found struct field to the object, returning an error |
148 | /// if parsing goes wrong. |
149 | fn parse_field(&mut self, field: &syn::Field) -> Result<()> { |
150 | Err(Error::unsupported_format("struct field" ).with_span(field)) |
151 | } |
152 | |
153 | /// Perform validation checks that require data from more than one field or variant. |
154 | /// The default implementation does no validations. |
155 | /// Implementors can override this method as appropriate for their use-case. |
156 | #[allow (unused_variables)] |
157 | fn validate_body(&self, errors: &mut Accumulator) {} |
158 | } |
159 | |