Struct SimStorageFile 

pub struct SimStorageFile { /* private fields */ }

Simulated storage file for deterministic testing.

This provides a simulation-aware file handle that integrates with the deterministic simulation engine for testing storage I/O patterns.

State Tracking

The file tracks pending operations under a Mutex:

• pending_read: Active read operation (op_seq, offset, len)
• pending_write: Active write operation (op_seq, bytes_written)

Polling Pattern

Operations follow the schedule → wait → complete pattern:

1. First poll: Schedule operation with SimWorld, store pending state
2. Subsequent polls: Check completion, return Pending until done
3. Final poll: Clear pending state, return result

Trait Implementations

impl AsyncRead for SimStorageFile

fn poll_read( self: Pin<&mut Self>, cx: &mut Context<'_>, buf: &mut [u8], ) -> Poll<Result<usize>>

Attempt to read from the AsyncRead into buf.

fn poll_read_vectored( self: Pin<&mut Self>, cx: &mut Context<'_>, bufs: &mut [IoSliceMut<'_>], ) -> Poll<Result<usize, Error>>

Attempt to read from the AsyncRead into bufs using vectored IO operations.

impl AsyncSeek for SimStorageFile

fn poll_seek( self: Pin<&mut Self>, _cx: &mut Context<'_>, pos: SeekFrom, ) -> Poll<Result<u64>>

Attempt to seek to an offset, in bytes, in a stream.

impl AsyncWrite for SimStorageFile

fn poll_write( self: Pin<&mut Self>, cx: &mut Context<'_>, buf: &[u8], ) -> Poll<Result<usize>>

Attempt to write bytes from buf into the object.

fn poll_flush(self: Pin<&mut Self>, _cx: &mut Context<'_>) -> Poll<Result<()>>

Attempt to flush the object, ensuring that any buffered data reach their destination.

fn poll_close(self: Pin<&mut Self>, _cx: &mut Context<'_>) -> Poll<Result<()>>

Attempt to close the object.

fn poll_write_vectored( self: Pin<&mut Self>, cx: &mut Context<'_>, bufs: &[IoSlice<'_>], ) -> Poll<Result<usize, Error>>

Attempt to write bytes from bufs into the object using vectored IO operations.

impl Debug for SimStorageFile

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

Formats the value using the given formatter.

impl StorageFile for SimStorageFile

async fn sync_all(&self) -> Result<()>

Flush all OS-internal metadata and data to disk.

async fn sync_data(&self) -> Result<()>

Flush all data to disk (metadata may not be synced).

async fn size(&self) -> Result<u64>

Get the current size of the file in bytes.

async fn set_len(&self, size: u64) -> Result<()>

Set the length of the file.