Struct StateMachine 

pub struct StateMachine {
    pub field: String,
    pub field_span: Span,
    pub states: Vec<String>,
    pub initial: Option<String>,
    pub edges: Vec<Edge>,
    pub reachable: Vec<String>,
    pub reachable_after_commit: Vec<String>,
    pub truncated: Vec<String>,
    pub not_evaluated: Vec<NotEvaluated>,
}

One state field’s machine.

Fields

field: String

field_span: Span

states: Vec<String>

The sum type’s variant constructors, in declaration order.

initial: Option<String>

The initialiser’s variant; None when it is absent or not a variant literal, in which case every state is treated as reachable.

edges: Vec<Edge>

reachable: Vec<String>

States reachable from initial over edges (sound: an Unknown edge reaches every state), in declaration order.

reachable_after_commit: Vec<String>

#2219: the states the agent can be in after a commit, in declaration order. A transition is checked from the second commit onward (the genesis commit has no old), so only a move from one of these can fault. Every reachable state but the initial one is here (reaching it took a committing write); the initial state is here only when some committing path leaves the agent in it. Self::reachable still drives what the view dims.

truncated: Vec<String>

Handlers that exceeded PATH_BUDGET.

not_evaluated: Vec<NotEvaluated>

#2197: transitions that mention this field but fall outside the evaluated fragment — listed, never guessed.

Trait Implementations

impl Clone for StateMachine

fn clone(&self) -> StateMachine

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StateMachine

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

Formats the value using the given formatter.

impl PartialEq for StateMachine

fn eq(&self, other: &StateMachine) -> 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 StructuralPartialEq for StateMachine