Struct KvModel 

pub struct KvModel { /* private fields */ }

Model of a key-value store for property testing

Implementations

impl KvModel

pub fn new() -> Self

Create a new model

pub fn begin(&mut self) -> u64

Begin a transaction

pub fn read(&self, txn_id: u64, key: &[u8]) -> Option<Vec<u8>>

Read a key (returns committed value or txn’s local write)

pub fn write(&mut self, txn_id: u64, key: Vec<u8>, value: Vec<u8>)

Write a key

pub fn commit(&mut self, txn_id: u64) -> bool

Commit a transaction

pub fn abort(&mut self, txn_id: u64) -> bool

Abort a transaction

pub fn snapshot(&self) -> BTreeMap<Vec<u8>, Vec<u8>>

Get all data (for comparison)

Trait Implementations

impl Debug for KvModel

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

Formats the value using the given formatter.

impl Default for KvModel

fn default() -> KvModel

Returns the “default value” for a type.