Enum wast::WastDirective

pub enum WastDirective<'a> {
    Wat(QuoteWat<'a>),
    AssertMalformed {
        span: Span,
        module: QuoteWat<'a>,
        message: &'a str,
    },
    AssertInvalid {
        span: Span,
        module: QuoteWat<'a>,
        message: &'a str,
    },
    Register {
        span: Span,
        name: &'a str,
        module: Option<Id<'a>>,
    },
    Invoke(WastInvoke<'a>),
    AssertTrap {
        span: Span,
        exec: WastExecute<'a>,
        message: &'a str,
    },
    AssertReturn {
        span: Span,
        exec: WastExecute<'a>,
        results: Vec<WastRet<'a>>,
    },
    AssertExhaustion {
        span: Span,
        call: WastInvoke<'a>,
        message: &'a str,
    },
    AssertUnlinkable {
        span: Span,
        module: Wat<'a>,
        message: &'a str,
    },
    AssertException {
        span: Span,
        exec: WastExecute<'a>,
    },
}

The different kinds of directives found in a *.wast file.

It’s not entirely clear to me what all of these are per se, but they’re only really interesting to test harnesses mostly.

Variants

Wat(QuoteWat<'a>)

AssertMalformed

Fields

span: Span

module: QuoteWat<'a>

message: &'a str

AssertInvalid

Fields

span: Span

module: QuoteWat<'a>

message: &'a str

Register

Fields

span: Span

name: &'a str

module: Option<Id<'a>>

Invoke(WastInvoke<'a>)

AssertTrap

Fields

span: Span

exec: WastExecute<'a>

message: &'a str

AssertReturn

Fields

span: Span

exec: WastExecute<'a>

results: Vec<WastRet<'a>>

AssertExhaustion

Fields

span: Span

call: WastInvoke<'a>

message: &'a str

AssertUnlinkable

Fields

span: Span

module: Wat<'a>

message: &'a str

AssertException

Fields

span: Span

exec: WastExecute<'a>

Implementations

impl WastDirective<'_>

pub fn span(&self) -> Span

Returns the location in the source that this directive was defined at

Trait Implementations

impl<'a> Debug for WastDirective<'a>

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

Formats the value using the given formatter.

impl<'a> Parse<'a> for WastDirective<'a>

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

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