ResumableCallHostTrap

Struct ResumableCallHostTrap 

Source
pub struct ResumableCallHostTrap { /* private fields */ }
Expand description

State required to resume a Func invocation after a host trap.

Implementations§

Source§

impl ResumableCallHostTrap

Source

pub fn host_func(&self) -> Func

Returns the host Func that returned the host error.

§Note

When using ResumableCallHostTrap::resume the inputs need to match the results of this host function so that the function invocation can properly resume. For that number and types of the values provided must match.

Source

pub fn host_error(&self) -> &Error

Returns a shared reference to the encountered host error.

§Note

This is guaranteed to never be a Wasm trap.

Source

pub fn into_host_error(self) -> Error

Consumes self and returns the encountered host error.

§Note

This is guaranteed to never be a Wasm trap.

Source

pub fn resume<T>( self, ctx: impl AsContextMut<Data = T>, inputs: &[Val], outputs: &mut [Val], ) -> Result<ResumableCall, Error>

Resumes the call to the Func with the given inputs.

The result is written back into the outputs buffer upon success.

Returns a resumable handle to the function invocation upon encountering host errors with which it is possible to handle the error and continue the execution as if no error occurred.

§Errors
  • If the function resumption returned a Wasm Error.
  • If the types or the number of values in inputs does not match the types and number of result values of the erroneous host function.
  • If the number of output values does not match the expected number of outputs required by the called function.

Trait Implementations§

Source§

impl Debug for ResumableCallHostTrap

Source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

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

Source§

fn into(self) -> U

Calls U::from(self).

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

Source§

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

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.