Enum ValidationError 

pub enum ValidationError<S, E> {
    InvalidStateIndex {
        expected: usize,
        got: usize,
    },
    InvalidEventIndex {
        expected: usize,
        got: usize,
    },
    NoInitialState,
    UndefinedTransition {
        from: S,
        event: E,
    },
}

Errors that can occur during state machine validation.

These errors are returned by StateMachineBuilder::build when the state machine configuration is invalid.

Example

use tinystate::{StateMachineBuilder, ValidationError};

// Missing initial state will cause an error
let result = StateMachineBuilder::<S, E, 1, 1>::new()
    .self_loop(S::A, E::X)
    .build();

assert!(result.is_err());

Variants

InvalidStateIndex

A state’s index does not match its expected position.

Fields

expected: usize

got: usize

InvalidEventIndex

An event’s index does not match its expected position.

Fields

expected: usize

got: usize

NoInitialState

No initial state was set before building.

UndefinedTransition

A required state transition was not defined.

Fields

from: S

event: E

Trait Implementations

impl<S: Debug, E: Debug> Debug for ValidationError<S, E>

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

Formats the value using the given formatter.

impl<S: States + Debug, E: Events + Debug> Display for ValidationError<S, E>

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

Formats the value using the given formatter.

impl<S: States + Debug, E: Events + Debug> Error for ValidationError<S, E>

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.