Struct EtcdSpecification

pub struct EtcdSpecification;

A sequential specification of an etcd key-value store.

The specification allows for reads, writes, and compare-and-swap (CAS) operations to be performed on a single shared register containing u32 values. In practice, etcd stores exposes many such registers, each indexed by unique key.

Trait Implementations

impl Specification for EtcdSpecification

type State = Option<u32>

type Operation = EtcdOperation

fn init() -> Self::State

Returns an initial state for the object.

fn apply( operation: &Self::Operation, state: &Self::State, ) -> (bool, Self::State)

Returns whether applying an operation to a given state is valid, and the new state that occurs after the operation has been applied.