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§
Sourcefn creation(
next_state: &Self,
context: &ValidationContext<'_>,
) -> Result<(), StateTransitionError>
fn creation( next_state: &Self, context: &ValidationContext<'_>, ) -> Result<(), StateTransitionError>
Sourcefn transition(
current_state: &Self,
next_state: &Self,
context: &ValidationContext<'_>,
) -> Result<(), StateTransitionError>
fn transition( current_state: &Self, next_state: &Self, context: &ValidationContext<'_>, ) -> Result<(), StateTransitionError>
Sourcefn destruction(
current_state: &Self,
context: &ValidationContext<'_>,
) -> Result<(), StateTransitionError>
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".