pub struct Component<'a> {
    pub span: Span,
    pub id: Option<Id<'a>>,
    pub name: Option<NameAnnotation<'a>>,
    pub kind: ComponentKind<'a>,
}
Expand description

A parsed WebAssembly component module.

Fields

span: Span

Where this component was defined

id: Option<Id<'a>>

An optional identifier this component is known by

name: Option<NameAnnotation<'a>>

An optional @name annotation for this component

kind: ComponentKind<'a>

What kind of component this was parsed as.

Implementations

Performs a name resolution pass on this Component, resolving all symbolic names to indices.

The WAT format contains a number of shorthands to make it easier to write, such as inline exports, inline imports, inline type definitions, etc. Additionally it allows using symbolic names such as $foo instead of using indices. This module will postprocess an AST to remove all of this syntactic sugar, preparing the AST for binary emission. This is where expansion and name resolution happens.

This function will mutate the AST of this Component and replace all Index arguments with Index::Num. This will also expand inline exports/imports listed on fields and handle various other shorthands of the text format.

If successful the AST was modified to be ready for binary encoding.

Errors

If an error happens during resolution, such a name resolution error or items are found in the wrong order, then an error is returned.

Encodes this Component to its binary form.

This function will take the textual representation in Component and perform all steps necessary to convert it to a binary WebAssembly component, suitable for writing to a *.wasm file. This function may internally modify the Component, for example:

  • Name resolution is performed to ensure that Index::Id isn’t present anywhere in the AST.

  • Inline shorthands such as imports/exports/types are all expanded to be dedicated fields of the component.

  • Component fields may be shuffled around to preserve index ordering from expansions.

After all of this expansion has happened the component will be converted to its binary form and returned as a Vec<u8>. This is then suitable to hand off to other wasm runtimes and such.

Errors

This function can return an error for name resolution errors and other expansion-related errors.

Trait Implementations

Formats the value using the given formatter. Read more

Attempts to parse Self from parser, returning an error if it could not be parsed. Read more

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.