Enum Instr

pub enum Instr {
    MatchPredicate(usize),
    MatchStructure(usize),
    Split {
        a: usize,
        b: usize,
    },
    Jump(usize),
    PushAxis(Axis),
    Pop,
    Save,
    Accept,
    Search {
        pat_idx: usize,
        capture_map: Vec<(String, usize)>,
    },
    ExtendSequence,
    CombineSequence,
    NotMatch {
        pat_idx: usize,
    },
    Repeat {
        pat_idx: usize,
        quantifier: Quantifier,
    },
    CaptureStart(usize),
    CaptureEnd(usize),
}

Bytecode instructions for the pattern VM.

Variants

MatchPredicate(usize)

Match predicate: literals[idx].matches(cbor)

MatchStructure(usize)

Match structure: use literals[idx].paths(cbor) for structure patterns

Split

ε-split: fork execution to a and b

Fields

a: usize

b: usize

Jump(usize)

Unconditional jump to instruction at index

PushAxis(Axis)

Descend to children via axis, one thread per child

Pop

Pop one CBOR value from the path

Save

Emit current path

Accept

Final accept, emit current path and halt thread

Search

Recursively search for pattern at pat_idx and propagate captures

Fields

pat_idx: usize

capture_map: Vec<(String, usize)>

ExtendSequence

Save current path and start new sequence from last CBOR value

CombineSequence

Combine saved path with current path for final result

NotMatch

Match only if pattern at pat_idx does not match

Fields

pat_idx: usize

Repeat

Repeat a sub pattern according to range and greediness

Fields

pat_idx: usize

quantifier: Quantifier

CaptureStart(usize)

Mark the start of a capture group

CaptureEnd(usize)

Mark the end of a capture group

Trait Implementations

impl Clone for Instr

fn clone(&self) -> Instr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Instr

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

Formats the value using the given formatter.