Struct NativeEngine 

pub struct NativeEngine<'m, 'h, H: Host> { /* private fields */ }

The native semantic engine over a verified program.

'm bounds the module and entry table; 'h bounds the host borrow. The embedded Machine owns the shared heap/globals/host/limits and every value-semantic method; the engine never calls Machine::run. All mutable state is behind RefCell/Cell because NativeOps dispatches on &self (see the module docs on re-entrancy).

Implementations

impl<'m, 'h, H: Host> NativeEngine<'m, 'h, H>

pub fn new( program: &'m Program<Verified>, entries: &'m dyn NativeEntryTable, host: &'h mut H, limits: Limits, ) -> Self

where 'm: 'h,

A native engine that drives control flow itself (the compiler-free reference backend). entries is used only for nested calls under the linked backend; the reference backend recurses internally.

pub fn stdout(&self) -> Vec<u8>

Buffered process stdout produced during execution.

pub fn exit_code(&self) -> i32

The process exit code.

pub fn run(self) -> Result<Execution, RuntimeError>

Executes the program entry with the reference driver. Never invokes Machine::run.

Trait Implementations

impl<'m, 'h, H: Host> NativeOps for NativeEngine<'m, 'h, H>

fn truthy(&self, _frame: &mut NativeFrame<'_>, value: Value) -> bool

The total ToBoolean coercion. Never throws.

fn dispatch( &self, frame: &mut NativeFrame<'_>, call: HelperCall, ) -> HelperResult

Executes one completion helper, writing any register side effects through frame and returning the completion.