Struct Module 

pub struct Module<'a> {

    pub sections: Vec<RawSection<'a>>,
    pub types: Vec<FuncType>,
    pub imports: Vec<Import>,
    pub exports: Vec<Export>,
    pub functions: Vec<TypeIdx>,
    pub tables: Vec<TableType>,
    pub elements: Vec<ElementSegment<'a>>,
    pub globals: Vec<Global<'a>>,
    pub memories: Vec<MemType>,
    pub data: Vec<DataSegment<'a>>,
    pub start: Option<FuncIdx>,
    pub data_count: Option<u32>,
    pub codes: Vec<CodeBody<'a>>,
}

A parsed WASM module. Contains the raw section data segmented by type.

At Phase 0, section bodies are stored as raw bytes. Later phases will parse type entries, imports, function bodies, etc.

Fields

sections: Vec<RawSection<'a>>

All sections in the order they appeared, as raw byte spans.

types: Vec<FuncType>

Decoded function signatures from the type section.

imports: Vec<Import>

Imported items declared by the module.

exports: Vec<Export>

Exported items declared by the module.

functions: Vec<TypeIdx>

Type indices for module-defined (non-imported) functions.

tables: Vec<TableType>

Defined tables from the table section.

elements: Vec<ElementSegment<'a>>

Defined element segments from the element section.

globals: Vec<Global<'a>>

Defined globals from the global section.

memories: Vec<MemType>

Defined memories from the memory section.

data: Vec<DataSegment<'a>>

Defined data segments from the data section.

start: Option<FuncIdx>

Optional declared start function.

data_count: Option<u32>

Optional declared data count.

codes: Vec<CodeBody<'a>>

Function bodies from the code section.

Implementations

impl<'a> Module<'a>

pub fn decode(bytes: &'a [u8]) -> Result<Self, DecodeError>

Decode a WASM binary into a Module.

This validates the preamble (magic + version), parses section boundaries, and checks section ordering. It does NOT validate section contents.

pub fn section(&self, id: SectionId) -> Option<&RawSection<'a>>

Get the first section with the given ID, if present.

pub fn types(&self) -> &[FuncType]

Function signatures declared in the type section.

pub fn imports(&self) -> &[Import]

Imported items declared by the module.

pub fn exports(&self) -> &[Export]

Exported items declared by the module.

pub fn functions(&self) -> &[TypeIdx]

Type indices for module-defined functions.

pub fn tables(&self) -> &[TableType]

Defined tables from the table section.

pub fn elements(&self) -> &[ElementSegment<'a>]

Defined element segments from the element section.

pub fn imported_function_count(&self) -> usize

Number of imported functions in the function index space.

pub fn globals(&self) -> &[Global<'a>]

Defined globals from the global section.

pub fn memories(&self) -> &[MemType]

Defined memories from the memory section.

pub fn data(&self) -> &[DataSegment<'a>]

Defined data segments from the data section.

pub fn start(&self) -> Option<FuncIdx>

Declared start function, if present.

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

Declared data count, if present.

pub fn codes(&self) -> &[CodeBody<'a>]

Function bodies from the code section.

pub fn custom_sections(&self) -> impl Iterator<Item = &RawSection<'a>>

Iterate over all custom sections.

pub fn section_summary(&self) -> Vec<(SectionId, usize, usize)>

Summary of the module’s section layout for display.

impl<'a> Module<'a>

pub fn lower(&self) -> Result<RegModule, LowerError>

Validate and lower this module into Baedeker register IR.

impl<'a> Module<'a>

pub fn validate(&self) -> Result<(), ValidationError>

Validate the currently decoded subset of the module.

Trait Implementations

impl<'a> Debug for Module<'a>

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

Formats the value using the given formatter.