/src/wasm-tools/crates/wasm-encoder/src/component/imports.rs

Source
use crate::{
    ComponentExportKind, ComponentSection, ComponentSectionId, ComponentValType, Encode,
    encode_section,
};
use alloc::borrow::Cow;
use alloc::string::String;
use alloc::vec::Vec;

/// Represents the possible type bounds for type references.
#[derive(Clone, Copy, Debug, Eq, PartialEq, Hash)]
pub enum TypeBounds {
    /// The type is bounded by equality to the type index specified.
    Eq(u32),
    /// This type is a fresh resource type,
    SubResource,
}

impl Encode for TypeBounds {
    fn encode(&self, sink: &mut Vec<u8>) {
        match self {
            Self::Eq(i) => {
                sink.push(0x00);
                i.encode(sink);
            }
            Self::SubResource => sink.push(0x01),
        }
    }
}

/// Represents a reference to a type.
#[derive(Clone, Copy, Debug, Eq, PartialEq, Hash)]
pub enum ComponentTypeRef {
    /// The reference is to a core module type.
    ///
    /// The index is expected to be core type index to a core module type.
    Module(u32),
    /// The reference is to a function type.
    ///
    /// The index is expected to be a type index to a function type.
    Func(u32),
    /// The reference is to a value type.
    Value(ComponentValType),
    /// The reference is to a bounded type.
    Type(TypeBounds),
    /// The reference is to an instance type.
    ///
    /// The index is expected to be a type index to an instance type.
    Instance(u32),
    /// The reference is to a component type.
    ///
    /// The index is expected to be a type index to a component type.
    Component(u32),
}

impl ComponentTypeRef {
    /// Gets the export kind of the reference.
    pub fn kind(&self) -> ComponentExportKind {
        match self {
            Self::Module(_) => ComponentExportKind::Module,
            Self::Func(_) => ComponentExportKind::Func,
            Self::Value(_) => ComponentExportKind::Value,
            Self::Type(..) => ComponentExportKind::Type,
            Self::Instance(_) => ComponentExportKind::Instance,
            Self::Component(_) => ComponentExportKind::Component,
        }
    }
}

impl Encode for ComponentTypeRef {
    fn encode(&self, sink: &mut Vec<u8>) {
        self.kind().encode(sink);

        match self {
            Self::Module(idx) | Self::Func(idx) | Self::Instance(idx) | Self::Component(idx) => {
                idx.encode(sink);
            }
            Self::Value(ty) => ty.encode(sink),
            Self::Type(bounds) => bounds.encode(sink),
        }
    }
}

/// An encoder for the import section of WebAssembly components.
///
/// # Example
///
/// ```rust
/// use wasm_encoder::{Component, ComponentTypeSection, PrimitiveValType, ComponentImportSection, ComponentTypeRef};
///
/// let mut types = ComponentTypeSection::new();
///
/// // Define a function type of `[string, string] -> string`.
/// types
///   .function()
///   .params(
///     [
///       ("a", PrimitiveValType::String),
///       ("b", PrimitiveValType::String)
///     ]
///   )
///   .result(Some(PrimitiveValType::String.into()));
///
/// // This imports a function named `f` with the type defined above
/// let mut imports = ComponentImportSection::new();
/// imports.import("f", ComponentTypeRef::Func(0));
///
/// let mut component = Component::new();
/// component.section(&types);
/// component.section(&imports);
///
/// let bytes = component.finish();
/// ```
#[derive(Clone, Debug, Default)]
pub struct ComponentImportSection {
    bytes: Vec<u8>,
    num_added: u32,
}

impl ComponentImportSection {
    /// Create a new component import section encoder.
    pub fn new() -> Self {
        Self::default()
    }

    /// The number of imports in the section.
    pub fn len(&self) -> u32 {
        self.num_added
    }

    /// Determines if the section is empty.
    pub fn is_empty(&self) -> bool {
        self.num_added == 0
    }

    /// Define an import in the component import section.
    pub fn import<'a>(
        &mut self,
        name: impl Into<ComponentExternName<'a>>,
        ty: ComponentTypeRef,
    ) -> &mut Self {
        name.into().encode(&mut self.bytes);
        ty.encode(&mut self.bytes);
        self.num_added += 1;
        self
    }
}

impl Encode for ComponentImportSection {
    fn encode(&self, sink: &mut Vec<u8>) {
        encode_section(sink, self.num_added, &self.bytes);
    }
}

impl ComponentSection for ComponentImportSection {
    fn id(&self) -> u8 {
        ComponentSectionId::Import.into()
    }
}

/// Full options for encoding a component name.
#[derive(Debug, Clone)]
pub struct ComponentExternName<'a> {
    /// The name to encode.
    pub name: Cow<'a, str>,
    /// An optional `(implements ...)` directive (See 🏷️ in the component model
    /// explainer).
    pub implements: Option<Cow<'a, str>>,
    /// An optional `(versionsuffix ...)` directive (See 🔗 in the component
    /// model explainer).
    pub version_suffix: Option<Cow<'a, str>>,
    /// An optional `(external-id ...)` directive (See 🏷️ in the component model
    /// explainer).
    pub external_id: Option<Cow<'a, str>>,
}

impl Encode for ComponentExternName<'_> {
    fn encode(&self, bytes: &mut Vec<u8>) {
        let mut options = Vec::new();

        let ComponentExternName {
            name: _,
            implements,
            version_suffix,
            external_id,
        } = self;

        if let Some(s) = implements {
            options.push((0x00, s.as_bytes()));
        }
        if let Some(s) = version_suffix {
            options.push((0x01, s.as_bytes()));
        }
        if let Some(s) = external_id {
            options.push((0x02, s.as_bytes()));
        }

        if options.is_empty() {
            // Prior to WebAssembly/component-model#263 import and export names
            // were discriminated with a leading byte indicating what kind of
            // import they are.  After that PR though names are always prefixed
            // with a 0x00 byte.
            //
            // On 2023-10-28 in bytecodealliance/wasm-tools#1262 was landed to
            // start transitioning to "always lead with 0x00". That updated the
            // validator/parser to accept either 0x00 or 0x01 but the encoder
            // wasn't updated at the time.
            //
            // On 2024-09-03 in bytecodealliance/wasm-tools#TODO this encoder
            // was updated to always emit 0x00 as a leading byte.
            //
            // This corresponds with the `importname'` production in the
            // specification.
            bytes.push(0x00);
        } else {
            bytes.push(0x02);
        }

        self.name.encode(bytes);

        if !options.is_empty() {
            options.len().encode(bytes);
            for (kind, val) in options {
                bytes.push(kind);
                val.encode(bytes);
            }
        }
    }
}

impl<'a> From<&'a str> for ComponentExternName<'a> {
    fn from(name: &'a str) -> Self {
        ComponentExternName {
            name: Cow::Borrowed(name),
            implements: None,
            external_id: None,
            version_suffix: None,
        }
    }
}

impl<'a> From<&'a String> for ComponentExternName<'a> {
    fn from(name: &'a String) -> Self {
        ComponentExternName::from(name.as_str())
    }
}

impl<'a> From<String> for ComponentExternName<'a> {
    fn from(name: String) -> Self {
        ComponentExternName {
            name: Cow::Owned(name),
            implements: None,
            external_id: None,
            version_suffix: None,
        }
    }
}

#[cfg(feature = "wasmparser")]
impl<'a> From<wasmparser::ComponentExternName<'a>> for ComponentExternName<'a> {
    fn from(name: wasmparser::ComponentExternName<'a>) -> Self {
        let wasmparser::ComponentExternName {
            name,
            implements,
            external_id,
            version_suffix,
        } = name;
        ComponentExternName {
            name: name.into(),
            implements: implements.map(|s| s.into()),
            external_id: external_id.map(|s| s.into()),
            version_suffix: version_suffix.map(|s| s.into()),
        }
    }
}

Coverage Report

Created: 2026-09-14 07:40