Struct Emitter 

pub struct Emitter<'a, 'p, 's, C: PcodeLoweringContext + ?Sized, S: PcodeSink + ?Sized> { /* private fields */ }

The emission pass: lowers statements one at a time into a PcodeSink.

This is emit_instruction with the statement loop handed to the producer. A producer that resolves its source template on the fly feeds each statement as a StmtKind over its own ExprNode, so no instruction-wide AST exists between it and the sink.

plan must come from a Planner fed the same statements, in the same order, over the same context.

Implementations

impl<'a, 'p, 's, C: PcodeLoweringContext + ?Sized, S: PcodeSink + ?Sized> Emitter<'a, 'p, 's, C, S>

pub fn new(context: &'a C, plan: &'p PcodePlan, sink: &'s mut S) -> Self

Starts emitting one instruction into sink.

pub fn statement<E: ExprNode>( &mut self, statement: StmtKind<'_, E>, ) -> Result<(), PcodeLowerError>

Lowers the next statement, reporting its operations to the sink.

An error leaves the sink with a partially emitted instruction, which the caller discards.