Struct CriticalSectionV2 

pub struct CriticalSectionV2 {
    pub acquisition: LockAcquisitionV2,
    pub start_line: u32,
    pub end_line: Option<u32>,
    pub field_accesses: Vec<FieldAccessV2>,
    pub contains_expensive_ops: bool,
    pub contains_await: bool,
}

A critical section (V2 - uses VarId).

Fields

acquisition: LockAcquisitionV2

The lock acquisition that starts this critical section.

start_line: u32

Line where the critical section starts.

end_line: Option<u32>

Line where the critical section ends (guard dropped).

field_accesses: Vec<FieldAccessV2>

Fields accessed within this critical section.

contains_expensive_ops: bool

Whether the CS contains expensive operations.

contains_await: bool

Whether the CS contains await points (async issue).

Implementations

impl CriticalSectionV2

pub fn new(acquisition: LockAcquisitionV2) -> Self

Create a new critical section.

pub fn end_at(&mut self, line: u32)

End the critical section at the given line.

pub fn add_field_access(&mut self, access: FieldAccessV2)

Add a field access.

pub fn mark_expensive(&mut self)

Mark as containing expensive operations.

pub fn mark_await(&mut self)

Mark as containing await point.

pub fn unique_fields(&self) -> Vec<&str>

Get unique fields accessed.

pub fn field_access_kind(&self, field: &str) -> Option<AccessKind>

Get the merged access kind for a field.

pub fn is_read_only(&self) -> bool

Check if only read accesses occurred.

pub fn span(&self) -> Option<u32>

Get the span (number of lines) of this critical section.

Trait Implementations

impl Clone for CriticalSectionV2

fn clone(&self) -> CriticalSectionV2

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CriticalSectionV2

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

Formats the value using the given formatter.