Struct cranelift_wasm::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_id_of_function(&self, at: u32) -> Option<CoreTypeId>

Returns the type id associated with the given function index.

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

Returns the FuncType associated with the given function index.

fn check_heap_type( &self, t: &mut HeapType, offset: usize ) -> Result<(), BinaryReaderError>

Checks that a HeapType is valid and then additionally place it in its canonical form.

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

Returns the element type at the given index.

fn is_subtype(&self, a: ValType, b: ValType) -> bool

Is a a subtype of b?

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_value_type( &self, t: &mut ValType, features: &WasmFeatures, offset: usize ) -> Result<(), BinaryReaderError>

Check and canonicalize a value type.