Struct wasmtime_environ::wasmparser::ValidatorResources

pub struct ValidatorResources(/* private fields */);

The implementation of WasmModuleResources used by Validator.

Trait Implementations

impl WasmModuleResources for ValidatorResources

type FuncType = FuncType

The function type used for validation.

fn table_at(&self, at: u32) -> Option<TableType>

Returns the table at given index if any.

fn memory_at(&self, at: u32) -> Option<MemoryType>

Returns the linear memory at given index.

fn tag_at( &self, at: u32, ) -> Option<&<ValidatorResources as WasmModuleResources>::FuncType>

Returns the tag at given index.

fn global_at(&self, at: u32) -> Option<GlobalType>

Returns the global variable at given index.

fn func_type_at( &self, at: u32, ) -> Option<&<ValidatorResources as WasmModuleResources>::FuncType>

Returns the FuncType associated with the given type index.

fn type_index_of_function(&self, at: u32) -> Option<u32>

Returns the type index associated with the given function index. type_of_function = func_type_at(type_index_of_function)

fn type_of_function( &self, at: u32, ) -> Option<&<ValidatorResources as WasmModuleResources>::FuncType>

Returns the FuncType associated with the given function index.

fn check_value_type( &self, t: ValType, features: &WasmFeatures, offset: usize, ) -> Result<(), BinaryReaderError>

Check a value type. This requires using func_type_at to check references

fn element_type_at(&self, at: u32) -> Option<RefType>

Returns the element type at the given index.

fn matches(&self, t1: ValType, t2: ValType) -> bool

Under the function references proposal, returns whether t1 <= t2. Otherwise, returns whether t1 == t2

fn element_count(&self) -> u32

Returns the number of elements.

fn data_count(&self) -> Option<u32>

Returns the number of bytes in the Wasm data section.

fn is_function_referenced(&self, idx: u32) -> bool

Returns whether the function index is referenced in the module anywhere outside of the start/function sections.

fn check_heap_type( &self, heap_type: HeapType, features: &WasmFeatures, offset: usize, ) -> Result<(), BinaryReaderError>

Checks that a HeapType is valid, notably its function index if one is used.