Struct StoreDriverOff 

pub struct StoreDriverOff { /* private fields */ }

Keeps a power-off store and its potential models in sync.

Implementations

impl StoreDriverOff

pub fn new(options: BufferOptions, num_pages: usize) -> StoreDriverOff

Starts a simulation with a clean storage given its configuration.

pub fn new_dirty(storage: BufferStorage) -> StoreDriverOff

Starts a simulation from an existing storage.

pub fn storage(&self) -> &BufferStorage

Provides read-only access to the storage.

pub fn storage_mut(&mut self) -> &mut BufferStorage

Provides mutable access to the storage.

pub fn model(&self) -> &StoreModel

Provides read-only access to the model.

pub fn power_on(self) -> Result<StoreDriverOn, StoreInvariant>

Powers on the store without interruption.

Panics

Panics if the store cannot be powered on.

pub fn partial_power_on( self, interruption: StoreInterruption<'_>, ) -> Result<StoreDriver, (BufferStorage, StoreInvariant)>

Powers on the store with a possible interruption.

pub fn count_operations(&self) -> Option<usize>

Returns the number of storage operations to power on.

Returns None if the store cannot power on successfully.

Trait Implementations

impl Clone for StoreDriverOff

fn clone(&self) -> StoreDriverOff

Returns a duplicate of the value.

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

Performs copy-assignment from source.