Struct soroban_wasmi::TypedResumableInvocation

pub struct TypedResumableInvocation<Results> { /* private fields */ }

State required to resume a TypedFunc invocation.

Implementations

impl<Results> TypedResumableInvocation<Results>

pub fn resume<T>( self, ctx: impl AsContextMut<UserState = T>, inputs: &[Value] ) -> Result<TypedResumableCall<Results>, Error>

where Results: WasmResults,

Resumes the call to the TypedFunc with the given inputs.

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

Errors

• If the function resumption returned a Wasm Trap.
• If the types or the number of values in inputs does not match the types and number of result values of the errorneous host function.

Methods from Deref<Target = ResumableInvocation>

pub fn host_func(&self) -> Func

Returns the host Func that returned the host error.

Note

When using ResumableInvocation::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.

pub fn host_error(&self) -> &Trap

Returns a shared reference to the encountered host error.

Note

This is guaranteed to never be a Wasm trap.

Trait Implementations

impl<Results> Debug for TypedResumableInvocation<Results>

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

Formats the value using the given formatter.

impl<Results> Deref for TypedResumableInvocation<Results>

type Target = ResumableInvocation

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.