Struct NfaState 

pub struct NfaState {
    pub id: StateId,
    pub term: Option<NfaTerm>,
    pub transitions: Vec<NfaTransition>,
    pub origin: Option<SourceRef>,
}

A single state in the NFA

Each state can optionally have a term that must be matched to consume input when transitioning through this state. States without terms (epsilon states) are used for branching logic.

Fields

id: StateId

Unique identifier for this state

term: Option<NfaTerm>

The term that must be matched to enter this state via a consuming transition. None for epsilon states (branching/merging points).

transitions: Vec<NfaTransition>

Outgoing transitions from this state

origin: Option<SourceRef>

Source location in the schema for error reporting

Implementations

impl NfaState

pub fn epsilon(id: StateId, origin: Option<SourceRef>) -> Self

Create a new state with no term (epsilon state)

pub fn with_term(id: StateId, term: NfaTerm, origin: Option<SourceRef>) -> Self

Create a new state with a term

pub fn add_transition(&mut self, target: StateId, kind: TransitionKind)

Add a transition to this state

pub fn add_epsilon(&mut self, target: StateId)

Add an epsilon transition

pub fn add_consume(&mut self, target: StateId)

Add a consuming transition

pub fn is_epsilon(&self) -> bool

Check if this is an epsilon state (no term)

pub fn epsilon_transitions(&self) -> impl Iterator<Item = StateId> + '_

Get epsilon transitions from this state

pub fn consuming_transitions(&self) -> impl Iterator<Item = StateId> + '_

Get consuming transitions from this state

Trait Implementations

impl Clone for NfaState

fn clone(&self) -> NfaState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NfaState

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

Formats the value using the given formatter.