Enum CommandKind

pub enum CommandKind<F32 = f32, F64 = f64> {
    Module {
        module: ModuleBinary,
        name: Option<String>,
    },
    AssertReturn {
        action: Action<F32, F64>,
        expected: Vec<Value<F32, F64>>,
    },
    AssertReturnCanonicalNan {
        action: Action<F32, F64>,
    },
    AssertReturnArithmeticNan {
        action: Action<F32, F64>,
    },
    AssertTrap {
        action: Action<F32, F64>,
        message: String,
    },
    AssertInvalid {
        module: ModuleBinary,
        message: String,
    },
    AssertMalformed {
        module: ModuleBinary,
        message: String,
    },
    AssertUninstantiable {
        module: ModuleBinary,
        message: String,
    },
    AssertExhaustion {
        action: Action<F32, F64>,
        message: String,
    },
    AssertUnlinkable {
        module: ModuleBinary,
        message: String,
    },
    Register {
        name: Option<String>,
        as_name: String,
    },
    PerformAction(Action<F32, F64>),
}

Expand description

Script’s command.

Variants§

Module

Define, validate and instantiate a module.

Fields

§module: ModuleBinary

Wasm module binary to define, validate and instantiate.

§name: Option<String>

If the name is specified, the module should be registered under this name.

AssertReturn

Assert that specified action should yield specified results.

Fields

§action: Action<F32, F64>

Action to perform.

§expected: Vec<Value<F32, F64>>

Values that expected to be yielded by the action.

AssertReturnCanonicalNan

Assert that specified action should yield NaN in canonical form.

Fields

§action: Action<F32, F64>

Action to perform.

AssertReturnArithmeticNan

Assert that specified action should yield NaN with 1 in MSB of fraction field.

Fields

§action: Action<F32, F64>

Action to perform.

AssertTrap

Assert that performing specified action must yield in a trap.

Fields

§action: Action<F32, F64>

Action to perform.

§message: String

Expected failure should be with this message.

AssertInvalid

Assert that specified module is invalid.

Fields

§module: ModuleBinary

Module that should be invalid.

§message: String

Expected failure should be with this message.

AssertMalformed

Assert that specified module cannot be decoded.

Fields

§module: ModuleBinary

Module that should be malformed.

§message: String

Expected failure should be with this message.

AssertUninstantiable

Assert that specified module is uninstantiable.

Fields

§module: ModuleBinary

Module that should be uninstantiable.

§message: String

Expected failure should be with this message.

AssertExhaustion

Assert that specified action should yield in resource exhaustion.

Fields

§action: Action<F32, F64>

Action to perform.

§message: String

Expected failure should be with this message.

AssertUnlinkable

Assert that specified module fails to link.

Fields

§module: ModuleBinary

Module that should be unlinkable.

§message: String

Expected failure should be with this message.

Register

Register a module under specified name (as_name).

Fields

§name: Option<String>

Name of the module, which should be registered under different name.

If None then the last defined module should be used.

§as_name: String

New name of the specified module.

PerformAction(Action<F32, F64>)

Perform the specified action.

Trait Implementations§

impl<F32: Clone, F64: Clone> Clone for CommandKind<F32, F64>

fn clone(&self) -> CommandKind<F32, F64>

Returns a duplicate of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

impl<F32: Debug, F64: Debug> Debug for CommandKind<F32, F64>

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

Formats the value using the given formatter. Read more

impl<F32: PartialEq, F64: PartialEq> PartialEq for CommandKind<F32, F64>

fn eq(&self, other: &CommandKind<F32, F64>) -> bool

Tests for self and other values to be equal, and is used by ==.

1.0.0 · Source§

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<F32, F64> StructuralPartialEq for CommandKind<F32, F64>

Auto Trait Implementations§

impl<F32, F64> Freeze for CommandKind<F32, F64>

impl<F32, F64> RefUnwindSafe for CommandKind<F32, F64>
where F32: RefUnwindSafe, F64: RefUnwindSafe,

impl<F32, F64> Send for CommandKind<F32, F64>
where F32: Send, F64: Send,

impl<F32, F64> Sync for CommandKind<F32, F64>
where F32: Sync, F64: Sync,

impl<F32, F64> Unpin for CommandKind<F32, F64>
where F32: Unpin, F64: Unpin,

impl<F32, F64> UnwindSafe for CommandKind<F32, F64>
where F32: UnwindSafe, F64: UnwindSafe,

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T> FromBits<T> for T

fn from_bits(other: T) -> T

Convert other to Self, preserving bitwise representation

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

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

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.