Enum TableSegmentInit 

pub enum TableSegmentInit {
    Direct(TableSegmentElements),
    Staged {
        index: PassiveElemIndex,
        len: u64,
    },
}

How the values of an active table segment are produced.

Variants

Direct(TableSegmentElements)

The elements are evaluated and written directly to the table in segment order. These never appear in vm::Instance.

This is used when the elements cannot trap, or when a trap could not be observed because no imported table has been written to yet.

Staged

The elements may trap during evaluation, so they are instead evaluated up-front into this passive element segment’s storage alongside all other passive element segments. The segment is then copied into the table in segment order and dropped.

Instantiation evaluates all element segment expressions before any active segment is written to a table, so a trapping expression must not leave earlier segments’ writes visible in imported tables.

Fields

index: PassiveElemIndex

The passive element segment holding the evaluated elements.

len: u64

The number of elements in this segment.

Implementations

impl TableSegmentInit

pub fn len(&self) -> u64

Returns the number of elements in this segment.

Trait Implementations

impl Clone for TableSegmentInit

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TableSegmentInit

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TableSegmentInit

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for TableSegmentInit

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.