Struct InterpContext

pub struct InterpContext {
    pub memories: PerEntity<Memory, InterpMemory>,
    pub tables: PerEntity<Table, InterpTable>,
    pub globals: PerEntity<Global, ConstVal>,
    pub fuel: u64,
    pub trace_handler: Option<Box<dyn Fn(usize, Vec<ConstVal>) -> bool + Send>>,
    pub import_hander: Arc<dyn Fn(&mut InterpContext, &mut Module<'_>, &str, &[ConstVal]) -> InterpResult>,
}

Context for the IR interpreter. Corresponds roughly to Wasm module state.

Fields

memories: PerEntity<Memory, InterpMemory>

Contents of memories.

tables: PerEntity<Table, InterpTable>

Contents of tables.

globals: PerEntity<Global, ConstVal>

Values of globals.

fuel: u64

Fuel remaining: allows deterministic stopping of execution.

trace_handler: Option<Box<dyn Fn(usize, Vec<ConstVal>) -> bool + Send>>

import_hander: Arc<dyn Fn(&mut InterpContext, &mut Module<'_>, &str, &[ConstVal]) -> InterpResult>

Implementations

impl InterpContext

pub fn new(module: &Module<'_>) -> Result<Self>

Construct a new interpreter context for the given module.

pub fn call( &mut self, module: &Module<'_>, func: Func, args: &[ConstVal], ) -> InterpResult

Call the given function with the given args, running the interpreter until fuel is exhausted or the function returns.