Struct MachineGraph 

pub struct MachineGraph<S: 'static, T: 'static> {
    pub machine: MachineDescriptor,
    pub states: &'static [StateDescriptor<S>],
    pub transitions: TransitionInventory<S, T>,
}

Structural machine graph emitted from macro-generated metadata.

Fields

machine: MachineDescriptor

Rust-facing identity of the machine family.

states: &'static [StateDescriptor<S>]

All states known to the machine.

transitions: TransitionInventory<S, T>

All transition sites known to the machine.

Implementations

impl<S, T> MachineGraph<S, T>

where S: Copy + Eq + 'static, T: Copy + Eq + 'static,

pub fn state(&self, id: S) -> Option<&StateDescriptor<S>>

Finds a state descriptor by id.

pub fn transition(&self, id: T) -> Option<&TransitionDescriptor<S, T>>

Finds a transition descriptor by id.

pub fn transitions_from( &self, state: S, ) -> impl Iterator<Item = &TransitionDescriptor<S, T>> + '_

Yields all transition sites originating from state.

pub fn transition_from_method( &self, state: S, method_name: &str, ) -> Option<&TransitionDescriptor<S, T>>

Finds the transition site for method_name on state.

pub fn transitions_named<'a>( &'a self, method_name: &'a str, ) -> impl Iterator<Item = &'a TransitionDescriptor<S, T>> + 'a

Yields all transition sites that share the same method name.

pub fn legal_targets(&self, id: T) -> Option<&'static [S]>

Returns the exact legal target states for a transition site.

Trait Implementations

impl<S: Clone + 'static, T: Clone + 'static> Clone for MachineGraph<S, T>

fn clone(&self) -> MachineGraph<S, T>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<S: Debug + 'static, T: Debug + 'static> Debug for MachineGraph<S, T>

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

Formats the value using the given formatter.

impl<S: PartialEq + 'static, T: PartialEq + 'static> PartialEq for MachineGraph<S, T>

fn eq(&self, other: &MachineGraph<S, T>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<S: Copy + 'static, T: Copy + 'static> Copy for MachineGraph<S, T>

impl<S: Eq + 'static, T: Eq + 'static> Eq for MachineGraph<S, T>

impl<S: 'static, T: 'static> StructuralPartialEq for MachineGraph<S, T>