Trait MachineIntrospection 

pub trait MachineIntrospection {
    type StateId: Copy + Eq + Hash + 'static;
    type TransitionId: Copy + Eq + Hash + 'static;

    const GRAPH: &'static MachineGraph<Self::StateId, Self::TransitionId>;
}

Static introspection surface emitted for a generated Statum machine.

Required Associated Constants

const GRAPH: &'static MachineGraph<Self::StateId, Self::TransitionId>

Static graph descriptor for the machine family.

Required Associated Types

type StateId: Copy + Eq + Hash + 'static

Machine-scoped state identifier emitted by #[machine].

type TransitionId: Copy + Eq + Hash + 'static

Machine-scoped transition-site identifier emitted by #[machine].

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors