Struct AsyncRingBuffer 

pub struct AsyncRingBuffer {
    pub capacity: u32,
    pub write_idx: u32,
    pub read_idx: u32,
    pub count: u32,
}

Async ring buffer model for verification

Fields

capacity: u32

Buffer capacity (power of 2)

write_idx: u32

Write index (wraps around)

read_idx: u32

Read index (wraps around)

count: u32

Number of items currently in buffer

Implementations

impl AsyncRingBuffer

pub fn new(capacity: u32) -> Self

Create a new ring buffer with given capacity (must be power of 2)

pub fn push(&mut self) -> bool

Push an item, returns true if successful

pub fn pop(&mut self) -> bool

Pop an item, returns true if successful

pub fn is_full(&self) -> bool

Check if buffer is full

pub fn is_empty(&self) -> bool

Check if buffer is empty

Trait Implementations

impl Clone for AsyncRingBuffer

fn clone(&self) -> AsyncRingBuffer

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AsyncRingBuffer

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

Formats the value using the given formatter.