bon_macros/builder/builder_gen/setters/
mod.rs1use super::member::WithConfig;
2use super::{BuilderGenCtx, NamedMember};
3use crate::parsing::ItemSigConfig;
4use crate::util::prelude::*;
5use std::iter;
6
7pub(crate) struct SettersCtx<'a> {
8 base: &'a BuilderGenCtx,
9 member: &'a NamedMember,
10}
11
12impl<'a> SettersCtx<'a> {
13 pub(crate) fn new(base: &'a BuilderGenCtx, member: &'a NamedMember) -> Self {
14 Self { base, member }
15 }
16
17 pub(crate) fn setter_methods(&self) -> Result<TokenStream> {
18 match SettersItems::new(self) {
19 SettersItems::Required(item) => self.setter_for_required_member(item),
20 SettersItems::Optional(setters) => self.setters_for_optional_member(setters),
21 }
22 }
23
24 fn setter_for_required_member(&self, item: SetterItem) -> Result<TokenStream> {
25 let inputs;
26 let expr;
27
28 let member_type = self.member.ty.norm.as_ref();
29
30 if let Some(with) = &self.member.config.with {
31 inputs = self.underlying_inputs_from_with(with)?;
32 expr = self.member_expr_from_with(with);
33 } else if self.member.config.into.is_present() {
34 inputs = vec![(
35 pat_ident("value"),
36 syn::parse_quote!(impl Into<#member_type>),
37 )];
38 expr = quote!(Into::into(value));
39 } else {
40 inputs = vec![(pat_ident("value"), member_type.clone())];
41 expr = quote!(value);
42 }
43
44 let body = SetterBody::SetMember {
45 expr: quote!(::core::option::Option::Some(#expr)),
46 };
47
48 Ok(self.setter_method(Setter {
49 item,
50 imp: SetterImpl { inputs, body },
51 }))
52 }
53
54 fn setters_for_optional_member(&self, items: OptionalSettersItems) -> Result<TokenStream> {
55 if let Some(with) = &self.member.config.with {
56 return self.setters_for_optional_member_having_with(with, items);
57 }
58
59 let underlying_ty = self.member.underlying_norm_ty();
60 let underlying_ty: syn::Type = if self.member.config.into.is_present() {
61 syn::parse_quote!(impl Into<#underlying_ty>)
62 } else {
63 underlying_ty.clone()
64 };
65
66 let some_fn = Setter {
67 item: items.some_fn,
68 imp: SetterImpl {
69 inputs: vec![(pat_ident("value"), underlying_ty.clone())],
70 body: SetterBody::Forward {
71 body: {
72 let option_fn_name = &items.option_fn.name;
73 quote! {
74 self.#option_fn_name(Some(value))
75 }
76 },
77 },
78 },
79 };
80
81 let option_fn = Setter {
82 item: items.option_fn,
83 imp: SetterImpl {
84 inputs: vec![(
85 pat_ident("value"),
86 syn::parse_quote!(Option<#underlying_ty>),
87 )],
88 body: SetterBody::SetMember {
89 expr: if self.member.config.into.is_present() {
90 quote! {
91 Option::map(value, Into::into)
92 }
93 } else {
94 quote!(value)
95 },
96 },
97 },
98 };
99
100 Ok([self.setter_method(some_fn), self.setter_method(option_fn)].concat())
101 }
102
103 fn setters_for_optional_member_having_with(
104 &self,
105 with: &WithConfig,
106 items: OptionalSettersItems,
107 ) -> Result<TokenStream> {
108 let inputs = self.underlying_inputs_from_with(with)?;
109
110 let idents = inputs.iter().map(|(pat, _)| &pat.ident);
111
112 let tuple_if_many = |val: TokenStream| -> TokenStream {
115 if inputs.len() == 1 {
116 val
117 } else {
118 quote!((#val))
119 }
120 };
121
122 let ident_maybe_tuple = tuple_if_many(quote!( #( #idents ),* ));
123
124 let some_fn = Setter {
125 item: items.some_fn,
126 imp: SetterImpl {
127 inputs: inputs.clone(),
128 body: SetterBody::Forward {
129 body: {
130 let option_fn_name = &items.option_fn.name;
131 quote! {
132 self.#option_fn_name(Some(#ident_maybe_tuple))
133 }
134 },
135 },
136 },
137 };
138
139 let option_fn_impl = SetterImpl {
140 inputs: {
141 let input_types = inputs.iter().map(|(_, ty)| ty);
142 let input_types = tuple_if_many(quote!(#( #input_types, )*));
143
144 vec![(pat_ident("value"), syn::parse_quote!(Option<#input_types>))]
145 },
146 body: SetterBody::SetMember {
147 expr: {
148 let expr = self.member_expr_from_with(with);
149 quote! {
150 match value {
153 Some(#ident_maybe_tuple) => Some(#expr),
154 None => None,
155 }
156 }
157 },
158 },
159 };
160
161 let option_fn = Setter {
162 item: items.option_fn,
163 imp: option_fn_impl,
164 };
165
166 Ok([self.setter_method(some_fn), self.setter_method(option_fn)].concat())
167 }
168
169 fn underlying_inputs_from_with(
179 &self,
180 with: &WithConfig,
181 ) -> Result<Vec<(syn::PatIdent, syn::Type)>> {
182 let inputs = match with {
183 WithConfig::Closure(closure) => closure
184 .inputs
185 .iter()
186 .map(|input| (input.pat.clone(), (*input.ty).clone()))
187 .collect(),
188 WithConfig::Some(some) => {
189 let input_ty = self
190 .member
191 .underlying_norm_ty()
192 .option_type_param()
193 .ok_or_else(|| {
194 if self.member.ty.norm.is_option() {
195 err!(
196 some,
197 "the underlying type of this member is not `Option`; \
198 by default, members of type `Option` are optional and their \
199 'underlying type' is the type under the `Option`; \
200 you might be missing #[builder(required)]` annotation \
201 for this member"
202 )
203 } else {
204 err!(
205 &self.member.underlying_norm_ty(),
206 "`with = Some` only works for members with the underlying \
207 type of `Option`;"
208 )
209 }
210 })?;
211
212 vec![(pat_ident("value"), input_ty.clone())]
213 }
214 WithConfig::FromIter(from_iter) => {
215 let collection_ty = self.member.underlying_norm_ty();
216
217 let well_known_single_arg_suffixes = ["Vec", "Set", "Deque", "Heap", "List"];
218
219 let err = || {
220 let mut from_iter_path = quote!(#from_iter).to_string();
221 from_iter_path.retain(|c| !c.is_whitespace());
222
223 err!(
224 collection_ty,
225 "the underlying type of this member is not a known collection type; \
226 only a collection type that matches the following patterns will be \
227 accepted by `#[builder(with = {from_iter_path})], where * at \
228 the beginning means the collection type may start with any prefix:\n\
229 - *Map<K, V>\n\
230 {}",
231 well_known_single_arg_suffixes
232 .iter()
233 .map(|suffix| { format!("- *{suffix}<T>") })
234 .join("\n")
235 )
236 };
237
238 let path = collection_ty.as_path_no_qself().ok_or_else(err)?;
239
240 let last_segment = path.segments.last().ok_or_else(err)?;
241 let args = match &last_segment.arguments {
242 syn::PathArguments::AngleBracketed(args) => &args.args,
243 _ => return Err(err()),
244 };
245
246 let last_segment_ident_str = last_segment.ident.to_string();
247
248 let item_ty = if well_known_single_arg_suffixes
249 .iter()
250 .any(|suffix| last_segment_ident_str.ends_with(suffix))
251 {
252 if args.is_empty() {
255 return Err(err());
256 }
257
258 let arg = args.first().ok_or_else(err)?;
259
260 quote!(#arg)
261 } else if last_segment_ident_str.ends_with("Map") {
262 if args.len() < 2 {
265 return Err(err());
266 }
267
268 let mut args = args.iter();
269 let key = args.next().ok_or_else(err)?;
270 let value = args.next().ok_or_else(err)?;
271
272 quote!((#key, #value))
273 } else {
274 return Err(err());
275 };
276
277 vec![(
278 pat_ident("iter"),
279 syn::parse_quote!(impl IntoIterator<Item = #item_ty>),
280 )]
281 }
282 };
283
284 Ok(inputs)
285 }
286
287 fn member_expr_from_with(&self, with: &WithConfig) -> TokenStream {
288 match with {
289 WithConfig::Closure(closure) => {
290 let body = &closure.body;
291
292 let ty = self.member.underlying_norm_ty().to_token_stream();
293
294 let output = Self::maybe_wrap_in_result(with, ty);
295
296 let body = if matches!(body.as_ref(), syn::Expr::Block(_)) {
298 body.to_token_stream()
299 } else {
300 quote!({ #body })
301 };
302
303 let question_mark = closure
304 .output
305 .is_some()
306 .then(|| syn::Token));
307
308 quote! {
309 (move || -> #output #body)() #question_mark
310 }
311 }
312 WithConfig::Some(some) => quote!(#some(value)),
313 WithConfig::FromIter(from_iter) => quote!(#from_iter(iter)),
314 }
315 }
316
317 fn maybe_wrap_in_result(with: &WithConfig, ty: TokenStream) -> TokenStream {
318 let closure = match with {
319 WithConfig::Closure(closure) => closure,
320 _ => return ty,
321 };
322
323 let output = match closure.output.as_ref() {
324 Some(output) => output,
325 None => return ty,
326 };
327 let result_path = &output.result_path;
328 let err_ty = output.err_ty.iter();
329 quote! {
330 #result_path< #ty #(, #err_ty )* >
331 }
332 }
333
334 fn setter_method(&self, setter: Setter) -> TokenStream {
335 let Setter { item, imp } = setter;
336
337 let maybe_mut = match imp.body {
338 SetterBody::Forward { .. } => None,
339 SetterBody::SetMember { .. } => Some(syn::Token)),
340 };
341
342 let body = match imp.body {
343 SetterBody::Forward { body } => body,
344 SetterBody::SetMember { expr } => {
345 let mut output = if !self.member.is_stateful() {
346 quote! {
347 self
348 }
349 } else {
350 let builder_ident = &self.base.builder_type.ident;
351
352 let maybe_receiver_field = self.base.receiver().map(|receiver| {
353 let ident = &receiver.field_ident;
354 quote!(#ident: self.#ident,)
355 });
356
357 let start_fn_args_fields_idents =
358 self.base.start_fn_args().map(|member| &member.ident);
359
360 let custom_fields_idents = self.base.custom_fields().map(|field| &field.ident);
361
362 quote! {
363 #builder_ident {
364 __unsafe_private_phantom: ::core::marker::PhantomData,
365 #( #custom_fields_idents: self.#custom_fields_idents, )*
366 #maybe_receiver_field
367 #( #start_fn_args_fields_idents: self.#start_fn_args_fields_idents, )*
368 __unsafe_private_named: self.__unsafe_private_named,
369 }
370 }
371 };
372
373 let result_output = self
374 .member
375 .config
376 .with
377 .as_ref()
378 .and_then(|with| with.as_closure()?.output.as_ref());
379
380 if let Some(result_output) = result_output {
381 let result_path = &result_output.result_path;
382 output = quote!(#result_path::Ok(#output));
383 }
384
385 let index = &self.member.index;
386 quote! {
387 self.__unsafe_private_named.#index = #expr;
388 #output
389 }
390 }
391 };
392
393 let state_mod = &self.base.state_mod.ident;
394
395 let mut return_type = if !self.member.is_stateful() {
396 quote! { Self }
397 } else {
398 let state_transition = format_ident!("Set{}", self.member.name.pascal_str);
399 let builder_ident = &self.base.builder_type.ident;
400 let generic_args = &self.base.generics.args;
401 let state_var = &self.base.state_var;
402
403 quote! {
404 #builder_ident<#(#generic_args,)* #state_mod::#state_transition<#state_var>>
405 }
406 };
407
408 if let Some(with) = &self.member.config.with {
409 return_type = Self::maybe_wrap_in_result(with, return_type);
410 }
411
412 let where_clause = (!self.member.config.overwritable.is_present()).then(|| {
413 let state_var = &self.base.state_var;
414 let member_pascal = &self.member.name.pascal;
415 quote! {
416 where #state_var::#member_pascal: #state_mod::IsUnset,
417 }
418 });
419
420 let SetterItem { name, vis, docs } = item;
421 let pats = imp.inputs.iter().map(|(pat, _)| pat);
422 let types = imp.inputs.iter().map(|(_, ty)| ty);
423
424 quote! {
425 #( #docs )*
426 #[allow(
427 clippy::inline_always,
429 clippy::impl_trait_in_params,
434 clippy::missing_const_for_fn,
435 )]
436 #[inline(always)]
437 #vis fn #name(#maybe_mut self, #( #pats: #types ),*) -> #return_type
438 #where_clause
439 {
440 #body
441 }
442 }
443 }
444}
445
446struct Setter {
447 item: SetterItem,
448 imp: SetterImpl,
449}
450
451struct SetterImpl {
452 inputs: Vec<(syn::PatIdent, syn::Type)>,
453 body: SetterBody,
454}
455
456enum SetterBody {
457 Forward { body: TokenStream },
459
460 SetMember { expr: TokenStream },
462}
463
464enum SettersItems {
465 Required(SetterItem),
466 Optional(OptionalSettersItems),
467}
468
469struct OptionalSettersItems {
470 some_fn: SetterItem,
471 option_fn: SetterItem,
472}
473
474struct SetterItem {
475 name: syn::Ident,
476 vis: syn::Visibility,
477 docs: Vec<syn::Attribute>,
478}
479
480impl SettersItems {
481 fn new(ctx: &SettersCtx<'_>) -> Self {
482 let SettersCtx { member, base } = ctx;
483 let builder_type = &base.builder_type;
484
485 let config = member.config.setters.as_ref();
486
487 let common_name = config.and_then(|config| config.name.as_deref());
488 let common_vis = config.and_then(|config| config.vis.as_deref());
489 let common_docs =
490 config.and_then(|config| config.doc.content.as_deref().map(Vec::as_slice));
491
492 let doc = |docs: &str| iter::once(syn::parse_quote!(#[doc = #docs]));
493
494 if member.is_required() {
495 let docs = common_docs.unwrap_or(&member.docs);
496
497 let header = "_**Required.**_\n\n";
498
499 let docs = doc(header).chain(docs.iter().cloned()).collect();
500
501 return Self::Required(SetterItem {
502 name: common_name.unwrap_or(&member.name.snake).clone(),
503 vis: common_vis.unwrap_or(&builder_type.vis).clone(),
504 docs,
505 });
506 }
507
508 let some_fn = config.and_then(|config| config.fns.some_fn.as_deref());
509 let some_fn_name = some_fn
510 .and_then(ItemSigConfig::name)
511 .or(common_name)
512 .unwrap_or(&member.name.snake)
513 .clone();
514
515 let option_fn = config.and_then(|config| config.fns.option_fn.as_deref());
516 let option_fn_name = option_fn
517 .and_then(ItemSigConfig::name)
518 .cloned()
519 .unwrap_or_else(|| {
520 let base_name = common_name.unwrap_or(&member.name.snake);
521 syn::Ident::new(&format!("maybe_{}", base_name.raw_name()), base_name.span())
526 });
527
528 let default = member.config.default.as_deref().and_then(|default| {
529 if let Some(setters) = &member.config.setters {
530 if let Some(default) = &setters.doc.default {
531 if default.skip.is_present() {
532 return None;
533 }
534 }
535 }
536
537 let default = default
538 .clone()
539 .or_else(|| well_known_default(&member.ty.norm))
540 .unwrap_or_else(|| {
541 let ty = &member.ty.norm;
542 syn::parse_quote!(<#ty as Default>::default())
543 });
544
545 let file = syn::parse_quote!(const _: () = #default;);
546 let file = prettyplease::unparse(&file);
547
548 let begin = file.find('=')?;
549 let default = file.get(begin + 1..)?.trim();
550 let default = default.strip_suffix(';')?;
551
552 Some(default.to_owned())
553 });
554
555 let default = default.as_deref();
556
557 let some_fn_docs = some_fn
560 .and_then(ItemSigConfig::docs)
561 .or(common_docs)
562 .unwrap_or(&member.docs);
563
564 let setter_names = (&some_fn_name, &option_fn_name);
565
566 let some_fn_docs = {
567 let header = optional_setter_docs(default, setter_names);
568
569 doc(&header).chain(some_fn_docs.iter().cloned()).collect()
570 };
571
572 let option_fn_docs = option_fn
573 .and_then(ItemSigConfig::docs)
574 .or(common_docs)
575 .unwrap_or(&member.docs);
576
577 let option_fn_docs = {
578 let header = optional_setter_docs(default, setter_names);
579
580 doc(&header).chain(option_fn_docs.iter().cloned()).collect()
581 };
582
583 let some_fn = SetterItem {
584 name: some_fn_name,
585 vis: some_fn
586 .and_then(ItemSigConfig::vis)
587 .or(common_vis)
588 .unwrap_or(&builder_type.vis)
589 .clone(),
590
591 docs: some_fn_docs,
592 };
593
594 let option_fn = config.and_then(|config| config.fns.option_fn.as_deref());
595 let option_fn = SetterItem {
596 name: option_fn_name,
597
598 vis: option_fn
599 .and_then(ItemSigConfig::vis)
600 .or(common_vis)
601 .unwrap_or(&builder_type.vis)
602 .clone(),
603
604 docs: option_fn_docs,
605 };
606
607 Self::Optional(OptionalSettersItems { some_fn, option_fn })
608 }
609}
610
611fn optional_setter_docs(
612 default: Option<&str>,
613 (some_fn, option_fn): (&syn::Ident, &syn::Ident),
614) -> String {
615 let default = default
616 .map(|default| {
617 if default.contains('\n') || default.len() > 80 {
618 format!(" _**Default:**_\n````rust,ignore\n{default}\n````\n\n")
619 } else {
620 format!(" _**Default:**_ ```{default}```.\n\n")
621 }
622 })
623 .unwrap_or_default();
624
625 format!(
626 "_**Optional** \
627 ([Some](Self::{some_fn}()) / [Option](Self::{option_fn}()) setters).\
628 _{default}\
629 \n\n"
630 )
631}
632
633fn well_known_default(ty: &syn::Type) -> Option<syn::Expr> {
634 let path = match ty {
635 syn::Type::Path(syn::TypePath { path, qself: None }) => path,
636 _ => return None,
637 };
638
639 use syn::parse_quote as pq;
640
641 let ident = path.get_ident()?.to_string();
642
643 let value = match ident.as_str() {
644 "u8" | "u16" | "u32" | "u64" | "u128" | "usize" | "i8" | "i16" | "i32" | "i64" | "i128"
645 | "isize" => pq!(0),
646 "f32" | "f64" => pq!(0.0),
647 "bool" => pq!(false),
648 "char" => pq!('\0'),
649 "String" => pq!(""),
650 _ => return None,
651 };
652
653 Some(value)
654}
655
656fn pat_ident(ident_name: &'static str) -> syn::PatIdent {
659 let ident = syn::Ident::new(ident_name, Span::call_site());
660 let pat: syn::Pat = syn::parse_quote!(#ident);
661 match pat {
662 syn::Pat::Ident(pat_ident) => pat_ident,
663 _ => unreachable!("can't parse something else than PatIdent here: {pat:?}"),
664 }
665}