Trait StateTransition 

pub trait StateTransition {
    type Context;
    type SMResult;

    // Required methods
    fn step(
        &mut self,
        context: &Self::Context,
    ) -> Result<TransitionResult<Self::SMResult>>;
    fn finalize(&mut self, context: &Self::Context) -> Result<()>;
    fn is_finalized(&self) -> bool;
}

A generic trait for state machines.

Required Associated Types

type Context

type SMResult

Required Methods

fn step( &mut self, context: &Self::Context, ) -> Result<TransitionResult<Self::SMResult>>

Transition the state machine to the next state.

Returns TransitionResult::Io if the state machine needs to perform an IO operation. Returns TransitionResult::Continue if the state machine needs to continue. Returns TransitionResult::Done if the state machine is done.

fn finalize(&mut self, context: &Self::Context) -> Result<()>

Finalize the state machine.

This is called when the state machine is done.

fn is_finalized(&self) -> bool

Check if the state machine is finalized.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<State: StateTransition> StateTransition for Box<State>

type Context = <State as StateTransition>::Context

type SMResult = <State as StateTransition>::SMResult

fn step( &mut self, context: &Self::Context, ) -> Result<TransitionResult<Self::SMResult>>

fn finalize(&mut self, context: &Self::Context) -> Result<()>

fn is_finalized(&self) -> bool

Implementors

impl StateTransition for DeleteRowStateMachine

type Context = ()

type SMResult = ()

impl StateTransition for WriteRowStateMachine

type Context = ()

type SMResult = ()

impl<Clock: LogicalClock, A: ConcurrentAllocator> StateTransition for BuildLocalSchemaViewStateMachine<Clock, A>

type Context = ()

type SMResult = Arc<Schema>

impl<Clock: LogicalClock, A: ConcurrentAllocator> StateTransition for CheckpointStateMachine<Clock, A>

type Context = ()

type SMResult = CheckpointResult

impl<Clock: LogicalClock, A: ConcurrentAllocator> StateTransition for CommitStateMachine<Clock, A>

type Context = Arc<MvStore<Clock, A>>

type SMResult = ()