Struct LockAcquisitionV2 

pub struct LockAcquisitionV2 {
    pub lock_var: VarId,
    pub guard_var: VarId,
    pub lock_type: LockType,
    pub line: u32,
    pub is_try: bool,
    pub lock_name: String,
    pub guard_name: String,
    pub owner_fn: Option<SymbolId>,
}

Represents a lock acquisition point (V2 - uses VarId).

Fields

lock_var: VarId

The variable representing the lock (e.g., self.mutex).

guard_var: VarId

The variable representing the guard.

lock_type: LockType

The type of lock.

line: u32

Line where the lock is acquired.

is_try: bool

Whether this is a try_lock (non-blocking).

lock_name: String

The name of the lock variable.

guard_name: String

The name of the guard variable.

owner_fn: Option<SymbolId>

The function that owns this lock acquisition.

Implementations

impl LockAcquisitionV2

pub fn new( lock_var: VarId, guard_var: VarId, lock_type: LockType, line: u32, lock_name: impl Into<String>, guard_name: impl Into<String>, ) -> Self

Create a new lock acquisition.

pub fn with_owner_fn(self, owner: SymbolId) -> Self

Set the owning function.

pub fn with_try(self) -> Self

Mark as try_lock.

Trait Implementations

impl Clone for LockAcquisitionV2

fn clone(&self) -> LockAcquisitionV2

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LockAcquisitionV2

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

Formats the value using the given formatter.

impl PartialEq for LockAcquisitionV2

fn eq(&self, other: &LockAcquisitionV2) -> 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 Eq for LockAcquisitionV2

impl StructuralPartialEq for LockAcquisitionV2