Struct ExecutionLogger 

pub struct ExecutionLogger { /* private fields */ }

Logger for double-checked execution (condition unmet, prepare failures, prepare commit failures, and prepare rollback failures).

Each event has its own optional log::Level and message. None means that event does not emit logs. For prepare-style events the message is a prefix formatted as "{prefix}: {error}".

ExecutionLogger::default matches the previous Option logger unset behavior: condition-unmet is silent (None); prepare lifecycle lines use log::Level::Error with English default prefixes.

Implementations

impl ExecutionLogger

pub fn unmet_condition_level(&self) -> Option<Level>

Returns the configured level for unmet-condition logging.

None means the event does not emit a log line.

pub fn unmet_condition_message(&self) -> &str

Returns the message used for unmet-condition logging.

pub fn prepare_failed_level(&self) -> Option<Level>

Returns the configured level for prepare-action failures.

None means the event does not emit a log line.

pub fn prepare_failed_message(&self) -> &str

Returns the message prefix used for prepare-action failures.

pub fn prepare_commit_failed_level(&self) -> Option<Level>

Returns the configured level for prepare-commit failures.

None means the event does not emit a log line.

pub fn prepare_commit_failed_message(&self) -> &str

Returns the message prefix used for prepare-commit failures.

pub fn prepare_rollback_failed_level(&self) -> Option<Level>

Returns the configured level for prepare-rollback failures.

None means the event does not emit a log line.

pub fn prepare_rollback_failed_message(&self) -> &str

Returns the message prefix used for prepare-rollback failures.

pub fn set_unmet_condition( &mut self, level: Option<Level>, message: impl Into<String>, )

Updates logging for the case where the double-checked condition is not met (the tester returns false before or after taking the lock).

When Self::unmet_condition_level is None, Self::log_unmet_condition becomes a no-op. The message is still stored and used if the level is set to Some later.

Parameters

• level - Optional severity for the line written through the log crate, or None to disable this event.
• message - Full line text (not a prefix); passed to log::log! as the format argument when logging runs.

pub fn disable_unmet_condition(&mut self)

Disables logging for unmet double-checked conditions.

This keeps the stored message unchanged so a later call to Self::set_unmet_condition can re-enable the event with a new message.

pub fn set_prepare_failure( &mut self, level: Option<Level>, message_prefix: impl Into<String>, )

Updates logging for a failed optional prepare action (before the lock is taken).

When Self::prepare_failed_level is None, Self::log_prepare_failed becomes a no-op.

Parameters

• level - Optional severity for the diagnostic line, or None to disable.
• message_prefix - Text placed before the error; the emitted line has the form "{prefix}: {error}".

pub fn disable_prepare_failure(&mut self)

Disables logging for prepare-action failures.

pub fn set_prepare_commit_failure( &mut self, level: Option<Level>, message_prefix: impl Into<String>, )

Updates logging for a failed prepare commit action (after a successful task when prepare had completed).

When Self::prepare_commit_failed_level is None, Self::log_prepare_commit_failed becomes a no-op.

Parameters

• level - Optional severity for the diagnostic line, or None to disable.
• message_prefix - Text placed before the error; the emitted line has the form "{prefix}: {error}".

pub fn disable_prepare_commit_failure(&mut self)

Disables logging for prepare-commit failures.

pub fn set_prepare_rollback_failure( &mut self, level: Option<Level>, message_prefix: impl Into<String>, )

Updates logging for a failed prepare rollback action (after a failed second check or task when prepare had completed).

When Self::prepare_rollback_failed_level is None, Self::log_prepare_rollback_failed becomes a no-op.

Parameters

• level - Optional severity for the diagnostic line, or None to disable.
• message_prefix - Text placed before the error; the emitted line has the form "{prefix}: {error}".

pub fn disable_prepare_rollback_failure(&mut self)

Disables logging for prepare-rollback failures.

pub fn log_unmet_condition(&self)

Emits the condition-unmet log line if enabled.

Does nothing when Self::unmet_condition_level is None. Otherwise writes Self::unmet_condition_message through the log facade at the configured level, subject to the crate-wide maximum log level (for example set via log::set_max_level or compile-time filters).

pub fn log_prepare_failed<E: Display>(&self, err: E)

Emits a diagnostic line when the prepare action fails.

Does nothing when Self::prepare_failed_level is None. Otherwise logs "{prefix}: {err}" at the configured level via the log facade, where prefix is Self::prepare_failed_message, subject to the crate-wide maximum log level.

Type Parameters

• E - Displayable error or message value appended after the prefix.

Parameters

• err - Failure to record next to the configured prefix.

pub fn log_prepare_commit_failed<E: Display>(&self, err: E)

Emits a diagnostic line when the prepare commit action fails.

Does nothing when Self::prepare_commit_failed_level is None. Otherwise logs "{prefix}: {err}" at the configured level, where prefix is Self::prepare_commit_failed_message, subject to the crate-wide maximum log level.

Type Parameters

• E - Displayable error or message value appended after the prefix.

Parameters

• err - Commit failure to record next to the configured prefix.

pub fn log_prepare_rollback_failed<E: Display>(&self, err: E)

Emits a diagnostic line when the prepare rollback action fails.

Does nothing when Self::prepare_rollback_failed_level is None. Otherwise logs "{prefix}: {err}" at the configured level, where prefix is Self::prepare_rollback_failed_message, subject to the crate-wide maximum log level.

Type Parameters

• E - Displayable error or message value appended after the prefix.

Parameters

• err - Rollback failure to record next to the configured prefix.

Trait Implementations

impl Clone for ExecutionLogger

fn clone(&self) -> ExecutionLogger

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ExecutionLogger

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ExecutionLogger

fn default() -> Self

Returns the logger configuration used when the executor builder does not apply any logging overrides.

Condition-unmet logging is disabled (ExecutionLogger::unmet_condition_level is None). Prepare lifecycle failures log at log::Level::Error with short English default prefixes (see the field defaults on ExecutionLogger).

Returns

A new ExecutionLogger with the values described above.