Struct Match 

pub struct Match<'a> {
    pub segment: u8,
    pub nav: Nav,
    pub node_type: NodeTypeIR,
    pub node_field: Option<NonZeroU16>,
    /* private fields */
}

Match instruction decoded from bytecode.

Provides iterator-based access to effects and successors without allocating.

Fields

segment: u8

Segment index (0-3, currently only 0 is used).

nav: Nav

Navigation command. Epsilon means no cursor movement or node check.

node_type: NodeTypeIR

Node type constraint (Any = wildcard, Named/Anonymous for specific checks).

node_field: Option<NonZeroU16>

Field constraint (None = wildcard).

Implementations

impl<'a> Match<'a>

pub fn from_bytes(bytes: &'a [u8]) -> Self

Parse a Match instruction from bytecode without allocating.

The slice must start at the instruction and contain at least the full instruction size (determined by opcode).

Header byte layout: segment(2) | node_kind(2) | opcode(4)

pub fn is_terminal(&self) -> bool

Check if this is a terminal (accept) state.

pub fn is_epsilon(&self) -> bool

Check if this is an epsilon transition (no node interaction).

pub fn is_match8(&self) -> bool

Check if this is a Match8 (8-byte fast-path instruction).

pub fn succ_count(&self) -> usize

Number of successors.

pub fn successor(&self, idx: usize) -> StepId

Get a successor by index.

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

Iterate over pre-effects (executed before match attempt).

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

Iterate over negated fields (must NOT be present on matched node).

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

Iterate over post-effects (executed after successful match).

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

Iterate over successors.

pub fn has_predicate(&self) -> bool

Whether this instruction has a predicate (text filter).

pub fn predicate(&self) -> Option<(u8, bool, u16)>

Get predicate data if present: (op, is_regex, value_ref).

• op: operator (0=Eq, 1=Ne, 2=StartsWith, 3=EndsWith, 4=Contains, 5=RegexMatch, 6=RegexNoMatch)
• is_regex: true if value_ref is a RegexTable index, false if StringTable index
• value_ref: index into the appropriate table

Trait Implementations

impl<'a> Clone for Match<'a>

fn clone(&self) -> Match<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Match<'a>

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

Formats the value using the given formatter.

impl<'a> Copy for Match<'a>