Enum ValidationStackEntry

pub enum ValidationStackEntry {
    Val(ValType),
    Bottom,
}

corresponds to opdtype https://webassembly.github.io/spec/core/valid/instructions.html#instructions

Variants

Val(ValType)

Bottom

Implementations

impl ValidationStackEntry

fn unifies_to(&self, other: &ValidationStackEntry) -> bool

corresponds to whether (self, other) is a member of “matches” (<=) relation defined in https://webassembly.github.io/spec/core/valid/instructions.html#instructions

fn unify(&self, other: &ValidationStackEntry) -> Option<Self>

convenience method that returns Some(other) if self.unifies_to(other) is true and None otherwise

Trait Implementations

impl Clone for ValidationStackEntry

fn clone(&self) -> ValidationStackEntry

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ValidationStackEntry

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

Formats the value using the given formatter.

impl PartialEq for ValidationStackEntry

fn eq(&self, other: &ValidationStackEntry) -> 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 Eq for ValidationStackEntry

impl StructuralPartialEq for ValidationStackEntry