Enum wast::AssertExpression[][src]

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)
RefNull(Option<HeapType<'a>>)
RefExtern(u32)
RefFunc(Option<Index<'a>>)
LegacyArithmeticNaN
LegacyCanonicalNaN

Trait Implementations

impl<'a> Debug for AssertExpression<'a>[src]

impl<'a> Parse<'a> for AssertExpression<'a>[src]

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.