1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
/*******************************************************************************
*
* Copyright (c) 2025 - 2026 Haixing Hu.
*
* SPDX-License-Identifier: Apache-2.0
*
* Licensed under the Apache License, Version 2.0.
*
******************************************************************************/
//! Convenience ready-builder state for [`super::DoubleCheckedLock`].
use std::fmt::Display;
use qubit_function::{
Callable,
CallableWith,
Runnable,
RunnableWith,
};
use super::{
DoubleCheckedLockExecutor,
ExecutionContext,
executor_ready_builder::ExecutorReadyBuilder,
};
use crate::lock::Lock;
/// Convenience builder state with tester attached.
#[derive(Clone)]
pub struct DoubleCheckedLockReadyBuilder<L, T> {
/// Reusable-executor builder delegated to by the convenience API.
pub(in crate::double_checked) inner: ExecutorReadyBuilder<L, T>,
}
impl<L, T> DoubleCheckedLockReadyBuilder<L, T>
where
L: Lock<T>,
{
/// Configures logging when the double-checked condition is not met.
///
/// # Parameters
///
/// * `level` - Log level used for unmet-condition messages.
/// * `message` - Full log message emitted when the condition is not met.
///
/// # Returns
///
/// This builder with unmet-condition logging configured.
#[inline]
#[must_use = "assign or chain the returned builder"]
pub fn log_unmet_condition(mut self, level: log::Level, message: impl Into<String>) -> Self {
self.inner = self.inner.log_unmet_condition(level, message);
self
}
/// Disables logging when the double-checked condition is not met.
///
/// # Returns
///
/// This builder with unmet-condition logging disabled.
#[inline]
#[must_use = "assign or chain the returned builder"]
pub fn disable_unmet_condition_logging(mut self) -> Self {
self.inner = self.inner.disable_unmet_condition_logging();
self
}
/// Configures logging when the prepare action fails.
///
/// # Parameters
///
/// * `level` - Log level used for prepare failure messages.
/// * `message_prefix` - Prefix placed before the prepare failure text.
///
/// # Returns
///
/// This builder with prepare failure logging configured.
#[inline]
#[must_use = "assign or chain the returned builder"]
pub fn log_prepare_failure(
mut self,
level: log::Level,
message_prefix: impl Into<String>,
) -> Self {
self.inner = self.inner.log_prepare_failure(level, message_prefix);
self
}
/// Disables logging when the prepare action fails.
///
/// # Returns
///
/// This builder with prepare failure logging disabled.
#[inline]
#[must_use = "assign or chain the returned builder"]
pub fn disable_prepare_failure_logging(mut self) -> Self {
self.inner = self.inner.disable_prepare_failure_logging();
self
}
/// Configures logging when the prepare commit action fails.
///
/// # Parameters
///
/// * `level` - Log level used for prepare-commit failure messages.
/// * `message_prefix` - Prefix placed before the prepare-commit failure
/// text.
///
/// # Returns
///
/// This builder with prepare-commit failure logging configured.
#[inline]
#[must_use = "assign or chain the returned builder"]
pub fn log_prepare_commit_failure(
mut self,
level: log::Level,
message_prefix: impl Into<String>,
) -> Self {
self.inner = self.inner.log_prepare_commit_failure(level, message_prefix);
self
}
/// Disables logging when the prepare commit action fails.
///
/// # Returns
///
/// This builder with prepare-commit failure logging disabled.
#[inline]
#[must_use = "assign or chain the returned builder"]
pub fn disable_prepare_commit_failure_logging(mut self) -> Self {
self.inner = self.inner.disable_prepare_commit_failure_logging();
self
}
/// Configures logging when the prepare rollback action fails.
///
/// # Parameters
///
/// * `level` - Log level used for prepare-rollback failure messages.
/// * `message_prefix` - Prefix placed before the prepare-rollback failure
/// text.
///
/// # Returns
///
/// This builder with prepare-rollback failure logging configured.
#[inline]
#[must_use = "assign or chain the returned builder"]
pub fn log_prepare_rollback_failure(
mut self,
level: log::Level,
message_prefix: impl Into<String>,
) -> Self {
self.inner = self
.inner
.log_prepare_rollback_failure(level, message_prefix);
self
}
/// Disables logging when the prepare rollback action fails.
///
/// # Returns
///
/// This builder with prepare-rollback failure logging disabled.
#[inline]
#[must_use = "assign or chain the returned builder"]
pub fn disable_prepare_rollback_failure_logging(mut self) -> Self {
self.inner = self.inner.disable_prepare_rollback_failure_logging();
self
}
/// Enables panic capture for tester, prepare callbacks, and task execution.
///
/// # Returns
///
/// This builder with panic capture enabled.
#[inline]
#[must_use = "assign or chain the returned builder"]
pub fn catch_panics(mut self) -> Self {
self.inner = self.inner.catch_panics();
self
}
/// Derives a builder with panic capture enabled or disabled for tester,
/// prepare callbacks, and task execution.
///
/// # Parameters
///
/// * `catch_panics` - `true` to capture panics as execution errors, or
/// `false` to let panics unwind.
///
/// # Returns
///
/// A reconfigured builder with the updated panic-capture setting.
#[inline]
#[must_use = "assign or chain the returned builder"]
pub fn with_panic_capture(mut self, catch_panics: bool) -> Self {
self.inner = self.inner.with_panic_capture(catch_panics);
self
}
/// Disables panic capture for tester, prepare callbacks, and task execution.
///
/// # Returns
///
/// This builder with panic capture disabled.
#[inline]
#[must_use = "assign or chain the returned builder"]
pub fn disable_catch_panics(mut self) -> Self {
self.inner = self.inner.disable_catch_panics();
self
}
/// Sets the prepare action.
///
/// # Parameters
///
/// * `prepare_action` - Fallible action to run after the first condition
/// check and before locking.
///
/// # Returns
///
/// This builder with prepare configured.
///
/// # Errors
///
/// This builder method does not return errors. If `prepare_action` later
/// returns an error during execution, the execution result becomes
/// [`super::ExecutionResult::Failed`] with
/// [`super::ExecutorError::PrepareFailed`].
#[inline]
#[must_use = "assign or chain the returned builder"]
pub fn prepare<Rn, E>(mut self, prepare_action: Rn) -> Self
where
Rn: Runnable<E> + Send + 'static,
E: Display,
{
self.inner = self.inner.prepare(prepare_action);
self
}
/// Sets the rollback action for prepare.
///
/// # Parameters
///
/// * `rollback_prepare_action` - Fallible action to run when prepare
/// completed but the second condition check or task fails.
///
/// # Returns
///
/// This builder with prepare rollback configured.
///
/// # Errors
///
/// This builder method does not return errors. If
/// `rollback_prepare_action` later returns an error during execution, the
/// execution result becomes [`super::ExecutionResult::Failed`] with
/// [`super::ExecutorError::PrepareRollbackFailed`].
#[inline]
#[must_use = "assign or chain the returned builder"]
pub fn rollback_prepare<Rn, E>(mut self, rollback_prepare_action: Rn) -> Self
where
Rn: Runnable<E> + Send + 'static,
E: Display,
{
self.inner = self.inner.rollback_prepare(rollback_prepare_action);
self
}
/// Sets the commit action for prepare.
///
/// # Parameters
///
/// * `commit_prepare_action` - Fallible action to run when prepare
/// completed and the task succeeds.
///
/// # Returns
///
/// This builder with prepare commit configured.
///
/// # Errors
///
/// This builder method does not return errors. If `commit_prepare_action`
/// later returns an error during execution, the execution result becomes
/// [`super::ExecutionResult::Failed`] with
/// [`super::ExecutorError::PrepareCommitFailed`].
#[inline]
#[must_use = "assign or chain the returned builder"]
pub fn commit_prepare<Rn, E>(mut self, commit_prepare_action: Rn) -> Self
where
Rn: Runnable<E> + Send + 'static,
E: Display,
{
self.inner = self.inner.commit_prepare(commit_prepare_action);
self
}
/// Builds a reusable [`DoubleCheckedLockExecutor`].
///
/// # Returns
///
/// A reusable executor containing the configured lock, tester, logger, and
/// prepare lifecycle callbacks.
#[inline]
#[must_use = "use the returned executor"]
pub fn build(self) -> DoubleCheckedLockExecutor<L, T> {
self.inner.build()
}
/// Runs a callable task with one-shot executor creation.
///
/// # Parameters
///
/// * `task` - Zero-argument callable executed after both condition checks
/// pass.
///
/// # Returns
///
/// An [`ExecutionContext`] containing success, unmet-condition, or failure
/// information.
#[inline]
pub fn call<C, R, E>(self, task: C) -> ExecutionContext<R, E>
where
C: Callable<R, E>,
E: Display,
{
self.inner.build().call(task)
}
/// Runs a runnable task with one-shot executor creation.
///
/// # Parameters
///
/// * `task` - Zero-argument runnable executed after both condition checks
/// pass.
///
/// # Returns
///
/// An [`ExecutionContext`] containing success, unmet-condition, or failure
/// information.
#[inline]
pub fn execute<Rn, E>(self, task: Rn) -> ExecutionContext<(), E>
where
Rn: Runnable<E>,
E: Display,
{
self.inner.build().execute(task)
}
/// Runs a callable task with mutable protected data.
///
/// # Parameters
///
/// * `task` - Callable receiving `&mut T` after both condition checks pass.
///
/// # Returns
///
/// An [`ExecutionContext`] containing success, unmet-condition, or failure
/// information.
#[inline]
pub fn call_with<C, R, E>(self, task: C) -> ExecutionContext<R, E>
where
C: CallableWith<T, R, E>,
E: Display,
{
self.inner.build().call_with(task)
}
/// Runs a runnable task with mutable protected data.
///
/// # Parameters
///
/// * `task` - Runnable receiving `&mut T` after both condition checks pass.
///
/// # Returns
///
/// An [`ExecutionContext`] containing success, unmet-condition, or failure
/// information.
#[inline]
pub fn execute_with<Rn, E>(self, task: Rn) -> ExecutionContext<(), E>
where
Rn: RunnableWith<T, E>,
E: Display,
{
self.inner.build().execute_with(task)
}
}