Skip to main content

StateTransitionVerifier

Trait StateTransitionVerifier 

Source
pub trait StateTransitionVerifier {
    // Required methods
    fn creation(
        next_state: &Self,
        context: &ValidationContext<'_>,
    ) -> Result<(), StateTransitionError>;
    fn transition(
        current_state: &Self,
        next_state: &Self,
        context: &ValidationContext<'_>,
    ) -> Result<(), StateTransitionError>;
    fn destruction(
        current_state: &Self,
        context: &ValidationContext<'_>,
    ) -> Result<(), StateTransitionError>;
}
Expand description

Required Methods§

Source

fn creation( next_state: &Self, context: &ValidationContext<'_>, ) -> Result<(), StateTransitionError>

Source

fn transition( current_state: &Self, next_state: &Self, context: &ValidationContext<'_>, ) -> Result<(), StateTransitionError>

Source

fn destruction( current_state: &Self, context: &ValidationContext<'_>, ) -> Result<(), StateTransitionError>

Dyn Compatibility§

This trait is not dyn compatible.

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

Implementors§