Struct ModuleEnvironment

pub struct ModuleEnvironment<'a, 'data> { /* private fields */ }

Object containing the standalone environment information.

Implementations

impl<'a, 'data> ModuleEnvironment<'a, 'data>

pub fn new( tunables: &'a Tunables, validator: &'a mut Validator, types: &'a mut ModuleTypesBuilder, ) -> Self

Allocates the environment data structures.

pub fn translate( self, parser: Parser, data: &'data [u8], ) -> Result<ModuleTranslation<'data>>

Translate a wasm module using this environment.

This function will translate the data provided with parser, validating everything along the way with this environment’s validator.

The result of translation, ModuleTranslation, contains everything necessary to compile functions afterwards as well as learn type information about the module at runtime.

Trait Implementations

impl TypeConvert for ModuleEnvironment<'_, '_>

fn lookup_heap_type(&self, index: UnpackedIndex) -> WasmHeapType

Converts the specified type index from a heap type into a canonicalized heap type.

fn lookup_type_index(&self, index: UnpackedIndex) -> EngineOrModuleTypeIndex

Converts the specified type index from a heap type into a canonicalized heap type.

fn convert_global_type(&self, ty: &GlobalType) -> Global

Converts a wasmparser table type into a wasmtime type

fn convert_table_type(&self, ty: &TableType) -> WasmResult<Table>

Converts a wasmparser table type into a wasmtime type

fn convert_sub_type(&self, ty: &SubType) -> WasmSubType

fn convert_composite_type(&self, ty: &CompositeType) -> WasmCompositeType

fn convert_struct_type(&self, ty: &StructType) -> WasmStructType

fn convert_array_type(&self, ty: &ArrayType) -> WasmArrayType

fn convert_field_type(&self, ty: &FieldType) -> WasmFieldType

fn convert_storage_type(&self, ty: &StorageType) -> WasmStorageType

fn convert_func_type(&self, ty: &FuncType) -> WasmFuncType

Converts a wasmparser function type to a wasmtime type

fn convert_valtype(&self, ty: ValType) -> WasmValType

Converts a wasmparser value type to a wasmtime type

fn convert_ref_type(&self, ty: RefType) -> WasmRefType

Converts a wasmparser reference type to a wasmtime type

fn convert_heap_type(&self, ty: HeapType) -> WasmHeapType

Converts a wasmparser heap type to a wasmtime type