Struct wasmi::Module

pub struct Module { /* private fields */ }

A parsed and validated WebAssembly module.

Implementations

impl Module

pub fn new(engine: &Engine, stream: impl Read) -> Result<Self, Error>

Creates a new Wasm Module from the given byte stream.

Note

This parses, validates and translates the Wasm bytecode yielded by stream.

Errors

• If the stream cannot be parsed as a valid Wasm module.
• If the Wasm bytecode yielded by stream is not valid.
• If the Wasm bytecode yielded by stream violates restrictions set in the Config used by the engine.
• If Wasmi cannot translate the Wasm bytecode yielded by stream.

pub unsafe fn new_unchecked( engine: &Engine, stream: impl Read ) -> Result<Self, Error>

Creates a new Wasm Module from the given byte stream.

Note

• This parses and translates the Wasm bytecode yielded by stream.
• This still validates Wasm bytecode outside of function bodies.

Safety

• This does not fully validate the Wasm bytecode yielded by stream.
• It is the caller’s responsibility to call this function only with a stream that yields fully valid Wasm bytecode.
• Additionally it is the caller’s responsibility that the Wasm bytecode yielded by stream must adhere to the restrictions set by the used Config of the engine.
• Violating these rules may lead to undefined behavior.

Errors

If the stream cannot be parsed as a valid Wasm module.

pub fn engine(&self) -> &Engine

Returns the Engine used during creation of the Module.

pub fn validate(engine: &Engine, wasm: &[u8]) -> Result<(), Error>

Validates wasm as a WebAssembly binary given the configuration (via Config) in engine.

This function performs Wasm validation of the binary input WebAssembly module and returns either Ok`` or Err`` depending on the results of the validation. The Config of the engine is used for Wasm validation which indicates which WebAssembly features are valid and invalid for the validation.

Note

• The input wasm must be in binary form, the text format is not accepted by this function.
• This will only validate the wasm but not try to translate it. Therefore Module::new might still fail if translation of the Wasm binary input fails to translate via the Wasmi Engine.
• Validation automatically happens as part of Module::new.

Errors

If Wasm validation for wasm fails for the given Config provided via engine.

pub fn imports(&self) -> ModuleImportsIter<'_>

Returns an iterator over the imports of the Module.

pub fn exports(&self) -> ModuleExportsIter<'_>

Returns an iterator over the exports of the Module.

pub fn get_export(&self, name: &str) -> Option<ExternType>

Looks up an export in this Module by its name.

Returns None if no export with the name was found.

Note

This function will return the type of an export with the given name.

Trait Implementations

impl Debug for Module

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

Formats the value using the given formatter.