1use 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(
353 |_| quote!(__unsafe_private_receiver: self.__unsafe_private_receiver,),
354 );
355
356 let maybe_start_fn_args_field =
357 self.base.start_fn_args().next().map(
358 |_| quote!(__unsafe_private_start_fn_args: self.__unsafe_private_start_fn_args,),
359 );
360
361 let custom_fields_idents = self.base.custom_fields().map(|field| &field.ident);
362
363 quote! {
364 #builder_ident {
365 __unsafe_private_phantom: ::core::marker::PhantomData,
366 #( #custom_fields_idents: self.#custom_fields_idents, )*
367 #maybe_receiver_field
368 #maybe_start_fn_args_field
369 __unsafe_private_named: self.__unsafe_private_named,
370 }
371 }
372 };
373
374 let result_output = self
375 .member
376 .config
377 .with
378 .as_ref()
379 .and_then(|with| with.as_closure()?.output.as_ref());
380
381 if let Some(result_output) = result_output {
382 let result_path = &result_output.result_path;
383 output = quote!(#result_path::Ok(#output));
384 }
385
386 let index = &self.member.index;
387 quote! {
388 self.__unsafe_private_named.#index = #expr;
389 #output
390 }
391 }
392 };
393
394 let state_mod = &self.base.state_mod.ident;
395
396 let mut return_type = if !self.member.is_stateful() {
397 quote! { Self }
398 } else {
399 let state_transition = format_ident!("Set{}", self.member.name.pascal_str);
400 let builder_ident = &self.base.builder_type.ident;
401 let generic_args = &self.base.generics.args;
402 let state_var = &self.base.state_var;
403
404 quote! {
405 #builder_ident<#(#generic_args,)* #state_mod::#state_transition<#state_var>>
406 }
407 };
408
409 if let Some(with) = &self.member.config.with {
410 return_type = Self::maybe_wrap_in_result(with, return_type);
411 }
412
413 let where_clause = (!self.member.config.overwritable.is_present()).then(|| {
414 let state_var = &self.base.state_var;
415 let member_pascal = &self.member.name.pascal;
416 quote! {
417 where #state_var::#member_pascal: #state_mod::IsUnset,
418 }
419 });
420
421 let SetterItem { name, vis, docs } = item;
422 let pats = imp.inputs.iter().map(|(pat, _)| pat);
423 let types = imp.inputs.iter().map(|(_, ty)| ty);
424
425 quote! {
426 #( #docs )*
427 #[allow(
428 clippy::inline_always,
430 clippy::impl_trait_in_params,
435 clippy::missing_const_for_fn,
436 )]
437 #[inline(always)]
438 #vis fn #name(#maybe_mut self, #( #pats: #types ),*) -> #return_type
439 #where_clause
440 {
441 #body
442 }
443 }
444 }
445}
446
447struct Setter {
448 item: SetterItem,
449 imp: SetterImpl,
450}
451
452struct SetterImpl {
453 inputs: Vec<(syn::PatIdent, syn::Type)>,
454 body: SetterBody,
455}
456
457enum SetterBody {
458 Forward { body: TokenStream },
460
461 SetMember { expr: TokenStream },
463}
464
465enum SettersItems {
466 Required(SetterItem),
467 Optional(OptionalSettersItems),
468}
469
470struct OptionalSettersItems {
471 some_fn: SetterItem,
472 option_fn: SetterItem,
473}
474
475struct SetterItem {
476 name: syn::Ident,
477 vis: syn::Visibility,
478 docs: Vec<syn::Attribute>,
479}
480
481impl SettersItems {
482 fn new(ctx: &SettersCtx<'_>) -> Self {
483 let SettersCtx { member, base } = ctx;
484 let builder_type = &base.builder_type;
485
486 let config = member.config.setters.as_ref();
487
488 let common_name = config.and_then(|config| config.name.as_deref());
489 let common_vis = config.and_then(|config| config.vis.as_deref());
490 let common_docs = config.and_then(|config| config.docs.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 let default = default
530 .clone()
531 .or_else(|| well_known_default(&member.ty.norm))
532 .unwrap_or_else(|| {
533 let ty = &member.ty.norm;
534 syn::parse_quote!(<#ty as Default>::default())
535 });
536
537 let file = syn::parse_quote!(const _: () = #default;);
538 let file = prettyplease::unparse(&file);
539
540 let begin = file.find('=')?;
541 let default = file.get(begin + 1..)?.trim();
542 let default = default.strip_suffix(';')?;
543
544 Some(default.to_owned())
545 });
546
547 let default = default.as_deref();
548
549 let some_fn_docs = some_fn
552 .and_then(ItemSigConfig::docs)
553 .or(common_docs)
554 .unwrap_or(&member.docs);
555
556 let setter_names = (&some_fn_name, &option_fn_name);
557
558 let some_fn_docs = {
559 let header = optional_setter_docs(default, setter_names);
560
561 doc(&header).chain(some_fn_docs.iter().cloned()).collect()
562 };
563
564 let option_fn_docs = option_fn
565 .and_then(ItemSigConfig::docs)
566 .or(common_docs)
567 .unwrap_or(&member.docs);
568
569 let option_fn_docs = {
570 let header = optional_setter_docs(default, setter_names);
571
572 doc(&header).chain(option_fn_docs.iter().cloned()).collect()
573 };
574
575 let some_fn = SetterItem {
576 name: some_fn_name,
577 vis: some_fn
578 .and_then(ItemSigConfig::vis)
579 .or(common_vis)
580 .unwrap_or(&builder_type.vis)
581 .clone(),
582
583 docs: some_fn_docs,
584 };
585
586 let option_fn = config.and_then(|config| config.fns.option_fn.as_deref());
587 let option_fn = SetterItem {
588 name: option_fn_name,
589
590 vis: option_fn
591 .and_then(ItemSigConfig::vis)
592 .or(common_vis)
593 .unwrap_or(&builder_type.vis)
594 .clone(),
595
596 docs: option_fn_docs,
597 };
598
599 Self::Optional(OptionalSettersItems { some_fn, option_fn })
600 }
601}
602
603fn optional_setter_docs(
604 default: Option<&str>,
605 (some_fn, option_fn): (&syn::Ident, &syn::Ident),
606) -> String {
607 let default = default
608 .map(|default| {
609 if default.contains('\n') || default.len() > 80 {
610 format!(" _**Default:**_\n````rust,ignore\n{default}\n````\n\n")
611 } else {
612 format!(" _**Default:**_ ```{default}```.\n\n")
613 }
614 })
615 .unwrap_or_default();
616
617 format!(
618 "_**Optional** \
619 ([Some](Self::{some_fn}()) / [Option](Self::{option_fn}()) setters).\
620 _{default}\
621 \n\n"
622 )
623}
624
625fn well_known_default(ty: &syn::Type) -> Option<syn::Expr> {
626 let path = match ty {
627 syn::Type::Path(syn::TypePath { path, qself: None }) => path,
628 _ => return None,
629 };
630
631 use syn::parse_quote as pq;
632
633 let ident = path.get_ident()?.to_string();
634
635 let value = match ident.as_str() {
636 "u8" | "u16" | "u32" | "u64" | "u128" | "usize" | "i8" | "i16" | "i32" | "i64" | "i128"
637 | "isize" => pq!(0),
638 "f32" | "f64" => pq!(0.0),
639 "bool" => pq!(false),
640 "char" => pq!('\0'),
641 "String" => pq!(""),
642 _ => return None,
643 };
644
645 Some(value)
646}
647
648fn pat_ident(ident_name: &'static str) -> syn::PatIdent {
651 let ident = syn::Ident::new(ident_name, Span::call_site());
652 let pat: syn::Pat = syn::parse_quote!(#ident);
653 match pat {
654 syn::Pat::Ident(pat_ident) => pat_ident,
655 _ => unreachable!("can't parse something else than PatIdent here: {pat:?}"),
656 }
657}