Struct LockDisciplineReport 

pub struct LockDisciplineReport {
    pub unprotected_accesses: usize,
    pub lock_violations: usize,
    pub deadlock_warnings: usize,
}

Comprehensive lock discipline report.

Summarizes all lock discipline violations found in a function or set of functions.

Fields

unprotected_accesses: usize

Number of unprotected data accesses detected.

This counts instances where shared data (identified by lock analysis) is accessed outside of any locked region.

lock_violations: usize

Number of lock/unlock violations.

This includes:

• Locks without corresponding unlocks
• Unlocks without corresponding locks

deadlock_warnings: usize

Number of deadlock warnings.

This counts potential deadlocks from inconsistent lock ordering.

Implementations

impl LockDisciplineReport

pub fn is_clean(&self) -> bool

Check if the code has no lock discipline violations.

Returns true only if all counts are zero.

Trait Implementations

impl Clone for LockDisciplineReport

fn clone(&self) -> LockDisciplineReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LockDisciplineReport

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

Formats the value using the given formatter.

impl Eq for LockDisciplineReport

impl PartialEq for LockDisciplineReport

fn eq(&self, other: &LockDisciplineReport) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for LockDisciplineReport