Struct wasmparser::ValidatorResources

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

The implementation of WasmModuleResources used by Validator.

Trait Implementations

impl Debug for ValidatorResources

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl WasmModuleResources for ValidatorResources

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<&FuncType>

Returns the tag at given index.

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

Returns the global variable at given index.

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

Returns the SubType associated with the given type index.

fn sub_type_at_id(&self, at: CoreTypeId) -> &SubType

Returns the SubType associated with the given core type id.

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

Returns the type ID associated with the given function index.

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

Returns the type index associated with the given function index.

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

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

fn top_type(&self, heap_type: &HeapType) -> HeapType

Get the top type for the given heap type.

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 is_shared(&self, ty: RefType) -> bool

Is the given reference type shared?

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.

fn check_ref_type( &self, ref_type: &mut RefType, offset: usize, ) -> Result<(), BinaryReaderError>

Check and canonicalize a reference type.