Struct Elem

pub struct Elem<Expr> {
    pub ref_type: RefType,
    pub init: Vec<Expr>,
    pub mode: ElemMode,
}

The initial contents of a table is uninitialized. Element segments can be used to initialize a subrange of a table from a static vector of elements.

The elems component of a module defines a vector of element segments. Each element segment defines a reference type and a corresponding list of constant element expressions.

Element segments have a mode that identifies them as either passive, active, or declarative. A passive element segment’s elements can be copied to a table using the table.init instruction. An active element segment copies its elements into a table during instantiation, as specified by a table index and a constant expression defining an offset into that table. A declarative element segment is not available at runtime but merely serves to forward-declare references that are formed in code with instructions like ref.func.

Element segments are referenced through element indices.

Fields

ref_type: RefType

init: Vec<Expr>

mode: ElemMode

Trait Implementations

impl<Expr: Clone> Clone for Elem<Expr>

fn clone(&self) -> Elem<Expr>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Expr: Debug> Debug for Elem<Expr>

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

Formats the value using the given formatter.

impl<Expr: PartialEq> PartialEq for Elem<Expr>

fn eq(&self, other: &Elem<Expr>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<Expr: Debug + Clone + PartialEq> Section<CoreIndexSpace, CoreSectionType> for Elem<Expr>

fn index_space(&self) -> CoreIndexSpace

fn section_type(&self) -> CoreSectionType

impl<T: RetainsInstructions> TryFrom<&Elem<T>> for ElementSection

type Error = String

The type returned in the event of a conversion error.

fn try_from(value: &Elem<T>) -> Result<Self, Self::Error>

Performs the conversion.

impl<T: TryFromExprSource> TryFrom<Element<'_>> for Elem<T>

type Error = String

The type returned in the event of a conversion error.

fn try_from(value: Element<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl<Expr> StructuralPartialEq for Elem<Expr>