Struct CaptureEffects 

pub struct CaptureEffects {
    pub pre: Vec<EffectIR>,
    pub post: Vec<EffectIR>,
}

Capture effects to attach to match instructions.

Instead of emitting separate epsilon transitions for wrapper effects, these effects are propagated through the compilation chain and attached directly to match instructions.

For sequences {a b c}:

• pre effects go on the first item (entry)
• post effects go on the last item (exit)

For tagged alternations [A: body]:

• pre contains Enum(variant) for branch entry
• post contains EndEnum for branch exit

Fields

pre: Vec<EffectIR>

Effects to place as pre_effects on the entry instruction. Used for: Enum(variant) in tagged alternations.

post: Vec<EffectIR>

Effects to place as post_effects on the exit instruction. Typically: [Node/Text, Set(member)], [Push], or [EndEnum].

Implementations

impl CaptureEffects

pub fn new(pre: Vec<EffectIR>, post: Vec<EffectIR>) -> CaptureEffects

Create with explicit pre and post effects.

pub fn new_pre(pre: Vec<EffectIR>) -> CaptureEffects

Create with only pre effects.

pub fn new_post(post: Vec<EffectIR>) -> CaptureEffects

Create with only post effects.

pub fn nest_scope(self, open: EffectIR, close: EffectIR) -> CaptureEffects

Add an inner scope (opens after existing scopes, closes before them).

Use for: Obj/EndObj, Enum/EndEnum, Arr/EndArr, SuppressBegin/SuppressEnd

Given existing pre=[A_Open], post=[A_Close], adding inner scope B:

• Result: pre=[A_Open, B_Open], post=[B_Close, A_Close]
• Execution: A opens -> B opens -> match -> B closes -> A closes

pub fn with_pre_values(self, effects: Vec<EffectIR>) -> CaptureEffects

Add pre-match value effects (run after all scopes open).

Use for: Null+Set injection in untagged alternations

Given pre=[Scope_Open], adding value effects:

• Result: pre=[Scope_Open, Value1, Value2]

pub fn with_post_values(self, effects: Vec<EffectIR>) -> CaptureEffects

Add post-match value effects (run before any scope closes).

Use for: Node/Text+Set capture effects, Push for arrays

Given post=[Scope_Close], adding value effects:

• Result: post=[Value1, Value2, Scope_Close]

Trait Implementations

impl Clone for CaptureEffects

fn clone(&self) -> CaptureEffects

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Default for CaptureEffects

fn default() -> CaptureEffects

Returns the “default value” for a type.