Enum wast::AssertExpression

pub enum AssertExpression<'a> {
    I32(i32),
    I64(i64),
    F32(NanPattern<Float32>),
    F64(NanPattern<Float64>),
    V128(V128Pattern),
    RefNull(Option<HeapType<'a>>),
    RefExtern(u32),
    RefFunc(Option<Index<'a>>),
    LegacyArithmeticNaN,
    LegacyCanonicalNaN,
}

An expression that is valid inside an assert_return directive.

As of https://github.com/WebAssembly/spec/pull/1104, spec tests may include assert_return directives that allow NaN patterns ("nan:canonical", "nan:arithmetic"). Parsing an AssertExpression means that:

• only constant values (e.g. i32.const 4) are used in the assert_return directive
• the NaN patterns are allowed (they are not allowed in regular Expressions).

Variants

I32(i32)

I64(i64)

F32(NanPattern<Float32>)

F64(NanPattern<Float64>)

V128(V128Pattern)

RefNull(Option<HeapType<'a>>)

RefExtern(u32)

RefFunc(Option<Index<'a>>)

LegacyArithmeticNaN

LegacyCanonicalNaN

Trait Implementations

impl<'a> Debug for AssertExpression<'a>

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

Formats the value using the given formatter.

impl<'a> Parse<'a> for AssertExpression<'a>

fn parse(parser: Parser<'a>) -> Result<Self>

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