Struct TxnEnv 

pub struct TxnEnv<F: FileBackend = FileHandle> { /* private fields */ }

Environment shared by every WriteTxn / ReadTxn in a process. Holds the pager (behind an Arc<Mutex<_>>), the in- process write-serialization mutex, and — for file-backed databases — an optional FileHandle used for cross-process byte-range locking.

TxnEnv is Send + Sync; construct one and share via Arc across threads (or across an obj::Db whose ownership wraps it).

Implementations

impl<F: FileBackend> TxnEnv<F>

pub fn new(pager: Pager<F>, lock_file: Option<Arc<FileHandle>>) -> Self

Construct an env wrapping the given pager. lock_file is an optional dedicated file handle for cross-process locks; pass None for in-memory or fault-injection environments.

pub fn pager(&self) -> &Arc<Mutex<Pager<F>>>

Shared access to the pager’s Arc<Mutex<_>>. Used by the obj::Db wrapper (M6 issue #47) to dispatch reads inside a ReadTxn closure. Exposed at the txn boundary so the M6 stress test can sample state without a full WriteTxn.

Trait Implementations

impl<F: Debug + FileBackend> Debug for TxnEnv<F>

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

Formats the value using the given formatter.