Enum Opcode 

pub enum Opcode {
    Set {
        name: u32,
        value: u32,
    },
    SetList {
        name: u32,
        start: u32,
        len: u16,
    },
    Send {
        probe: u32,
        payload: Option<u32>,
    },
    Match(u32),
    MatchAll {
        start: u32,
        len: u16,
    },
    MatchAny {
        start: u32,
        len: u16,
    },
    Assert(u32),
    Extract {
        name: u32,
        source: u32,
    },
    IfMatch {
        matcher: u32,
        else_pc: Pc,
    },
    ForList {
        item: u32,
        start: u32,
        len: u16,
        end_pc: Pc,
    },
    ForVar {
        item: u32,
        list: u32,
        end_pc: Pc,
    },
    LoopBack,
    Break,
    Save {
        from: u32,
        to: u32,
    },
    Evidence(u32),
    Retry {
        probe: u32,
        count: u32,
    },
    RetryDelay(u32),
    Sleep(u32),
    Stop,
    Fail,
    Continue,
    Exit,
}

A single VM instruction. Operands are u32/u16 indices into the program’s pools (strings, matchers, extracts, evidence) or program counters (Pc) into code — never inline data.

Variants

Set

Set a string variable: name and value index the string pool.

Fields

name: u32

String-pool index of the variable name.

value: u32

String-pool index of the value.

SetList

Set a list variable from len consecutive strings starting at start.

Fields

name: u32

String-pool index of the variable name.

start: u32

String-pool index of the first element.

len: u16

Number of elements.

Send

Perform a probe’s request. payload, if set, overrides the probe’s payload (string-pool or payload-pool index, per probe kind).

Fields

probe: u32

String-pool index of the probe name.

payload: Option<u32>

Optional payload-override index.

Match(u32)

Evaluate one matcher (matcher-pool index); on failure, latch the match chain false.

MatchAll

Evaluate len matchers starting at start; all must pass.

Fields

start: u32

Matcher-pool index of the first matcher.

len: u16

Number of matchers.

MatchAny

Evaluate len matchers starting at start; any one passing succeeds.

Fields

start: u32

Matcher-pool index of the first matcher.

len: u16

Number of matchers.

Assert(u32)

Like Match, but a failure aborts the run with an error.

Extract

Extract a value into a variable. name is a string-pool index; source indexes the extract pool.

Fields

name: u32

String-pool index of the destination variable name.

source: u32

Extract-pool index of the source rule.

IfMatch

If the matcher holds, fall through; otherwise jump to else_pc.

Fields

matcher: u32

Matcher-pool index of the condition.

else_pc: Pc

Program counter to jump to when the condition is false.

ForList

Begin a for over a literal list (len strings from start), binding each to item. end_pc is the instruction after the loop.

Fields

item: u32

String-pool index of the loop variable name.

start: u32

String-pool index of the first value.

len: u16

Number of values.

end_pc: Pc

Program counter just past the loop.

ForVar

Begin a for over a list variable (list), binding each to item.

Fields

item: u32

String-pool index of the loop variable name.

list: u32

String-pool index of the list variable name.

end_pc: Pc

Program counter just past the loop.

LoopBack

End-of-loop-body marker: advance the loop or exit it.

Break

Exit the innermost loop.

Save

Snapshot a probe’s response under another name (from/to index the string pool).

Fields

from: u32

String-pool index of the source probe name.

to: u32

String-pool index of the destination name.

Evidence(u32)

Attach evidence (evidence-pool index) when the match chain is true.

Retry

Re-send a probe up to count times, stopping on first success.

Fields

probe: u32

String-pool index of the probe name.

count: u32

Maximum attempts.

RetryDelay(u32)

Set the delay between Retry attempts (string-pool index of a duration).

Sleep(u32)

Sleep for a duration (string-pool index of a duration literal).

Stop

Stop the run, emitting no finding.

Fail

Abort the run with an error.

Continue

Skip to the next iteration of the innermost loop.

Exit

Stop the run, emitting the finding if the match chain held.

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.

impl PartialEq for Instr

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