Struct ValidationInfo 

pub struct ValidationInfo<'bytecode> {

    pub(crate) wasm: &'bytecode [u8],
    pub(crate) types: IdxVec<TypeIdx, FuncType>,
    pub(crate) imports: Vec<Import<'bytecode>>,
    pub(crate) functions: ExtendedIdxVec<FuncIdx, TypeIdx>,
    pub(crate) tables: ExtendedIdxVec<TableIdx, TableType>,
    pub(crate) memories: ExtendedIdxVec<MemIdx, MemType>,
    pub(crate) globals: ExtendedIdxVec<GlobalIdx, Global>,
    pub(crate) exports: Vec<Export<'bytecode>>,
    pub(crate) elements: IdxVec<ElemIdx, ElemType>,
    pub(crate) data: IdxVec<DataIdx, DataSegment>,
    pub(crate) func_blocks_stps: Vec<(Span, usize)>,
    pub(crate) sidetable: Vec<SidetableEntry>,
    pub(crate) start: Option<FuncIdx>,
}

Information collected from validating a module.

This can be used to instantiate a new module instance in some Store either through Store::module_instantiate_unchecked or Linker::module_instantiate_unchecked.

Fields

wasm: &'bytecode [u8]

types: IdxVec<TypeIdx, FuncType>

imports: Vec<Import<'bytecode>>

functions: ExtendedIdxVec<FuncIdx, TypeIdx>

tables: ExtendedIdxVec<TableIdx, TableType>

memories: ExtendedIdxVec<MemIdx, MemType>

globals: ExtendedIdxVec<GlobalIdx, Global>

exports: Vec<Export<'bytecode>>

elements: IdxVec<ElemIdx, ElemType>

data: IdxVec<DataIdx, DataSegment>

func_blocks_stps: Vec<(Span, usize)>

Each block contains the validated code section and the stp corresponding to the beginning of that code section

sidetable: Vec<SidetableEntry>

start: Option<FuncIdx>

The start function which is automatically executed during instantiation

Implementations

impl<'wasm> ValidationInfo<'wasm>

pub fn imports<'a>( &'a self, ) -> Map<Iter<'a, Import<'wasm>>, impl FnMut(&'a Import<'wasm>) -> (&'a str, &'a str, ExternType)>

Returns the imports of this module as an iterator. Each import consist of a module name, a name and an extern type.

See: WebAssembly Specification 2.0 - 7.1.5 - module_imports

pub fn exports<'a>( &'a self, ) -> Map<Iter<'a, Export<'wasm>>, impl FnMut(&'a Export<'wasm>) -> (&'a str, ExternType)>

Returns the exports of this module as an iterator. Each export consist of a name, and an extern type.

See: WebAssembly Specification 2.0 - 7.1.5 - module_exports

Trait Implementations

impl<'bytecode> Clone for ValidationInfo<'bytecode>

fn clone(&self) -> ValidationInfo<'bytecode>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'bytecode> Debug for ValidationInfo<'bytecode>

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

Formats the value using the given formatter.