Struct BankingSMR 

pub struct BankingSMR { /* private fields */ }

Banking state machine implementation

Implementations

impl BankingSMR

pub fn new() -> Self

Create a new banking state machine

pub fn account_count(&self) -> usize

Get the total number of accounts

pub fn transaction_count(&self) -> usize

Get the total number of transactions

pub fn operation_count(&self) -> u64

Get the total number of operations performed

pub fn total_value(&self) -> i64

Get total value across all accounts

Trait Implementations

impl Clone for BankingSMR

fn clone(&self) -> BankingSMR

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BankingSMR

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

Formats the value using the given formatter.

impl Default for BankingSMR

fn default() -> Self

Returns the “default value” for a type.

impl StateMachine for BankingSMR

type Command = BankingCommand

The command type that this state machine can process

type Response = BankingResponse

The response type returned after applying commands

type State = BankingState

The state type representing the current state of the machine

fn apply_command<'life0, 'async_trait>( &'life0 mut self, command: Self::Command, ) -> Pin<Box<dyn Future<Output = Self::Response> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

Apply a single command to the state machine.

fn get_state(&self) -> Self::State

Get the current state of the state machine.

fn set_state(&mut self, state: Self::State)

Set the state of the state machine.

fn serialize_state(&self) -> Vec<u8>

Serialize the current state to bytes.

fn deserialize_state(&mut self, data: &[u8]) -> Result<(), Box<dyn Error>>

Deserialize state from bytes and restore it.

fn apply_commands<'life0, 'async_trait>( &'life0 mut self, commands: Vec<Self::Command>, ) -> Pin<Box<dyn Future<Output = Vec<Self::Response>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

Apply multiple commands in sequence.

fn is_deterministic(&self) -> bool

Check if this state machine is deterministic.