Enum Trap

pub enum Trap {
    User(Box<dyn Error + Sync + Send>),
    Wasm {
        pc: usize,
        backtrace: Backtrace,
        signal_trap: Option<TrapCode>,
    },
    Lib {
        trap_code: TrapCode,
        backtrace: Backtrace,
    },
    OOM {
        backtrace: Backtrace,
    },
    UncaughtException {
        exnref: VMExceptionRef,
        backtrace: Backtrace,
    },
}

Stores trace message with backtrace.

Variants

User(Box<dyn Error + Sync + Send>)

A user-raised trap through raise_user_trap.

Wasm

A trap raised from the Wasm generated code

Note: this trap is deterministic (assuming a deterministic host implementation)

Fields

pc: usize

The program counter in generated code where this trap happened.

backtrace: Backtrace

Native stack backtrace at the time the trap occurred

signal_trap: Option<TrapCode>

Optional trapcode associated to the signal that caused the trap

Lib

A trap raised from a wasm libcall

Note: this trap is deterministic (assuming a deterministic host implementation)

Fields

trap_code: TrapCode

Code of the trap.

backtrace: Backtrace

Native stack backtrace at the time the trap occurred

OOM

A trap indicating that the runtime was unable to allocate sufficient memory.

Note: this trap is nondeterministic, since it depends on the host system.

Fields

backtrace: Backtrace

Native stack backtrace at the time the OOM occurred

UncaughtException

A WASM exception was thrown but not caught.

Fields

exnref: VMExceptionRef

The exception reference of the uncaught exception.

backtrace: Backtrace

Native stack backtrace at the time the exception was thrown. This is a clone of the backtrace stored in the exception itself.

Implementations

impl Trap

pub fn user(err: Box<dyn Error + Sync + Send>) -> Trap

Construct a new Error with the given a user error.

Internally saves a backtrace when constructed.

pub fn wasm( pc: usize, backtrace: Backtrace, signal_trap: Option<TrapCode>, ) -> Trap

Construct a new Wasm trap with the given source location and backtrace.

Internally saves a backtrace when constructed.

pub fn to_trap(self) -> Option<TrapCode>

Returns trap code, if it’s a Trap

pub fn lib(trap_code: TrapCode) -> Trap

Construct a new Wasm trap with the given trap code.

Internally saves a backtrace when constructed.

pub fn oom() -> Trap

Construct a new OOM trap with the given source location and trap code.

Internally saves a backtrace when constructed.

pub fn uncaught_exception(exnref: VMExceptionRef, ctx: &StoreObjects) -> Trap

Construct a new UncaughtException trap with the given exception reference.

pub fn downcast<T>(self) -> Result<T, Trap>

where T: Error + 'static,

Attempts to downcast the Trap to a concrete type.

pub fn downcast_ref<T>(&self) -> Option<&T>

where T: Error + 'static,

Attempts to downcast the Trap to a concrete type.

pub fn is<T>(&self) -> bool

where T: Error + 'static,

Returns true if the Trap is the same as T

pub fn is_exception(&self) -> bool

Returns true if the trap is an exception

pub fn to_exception_ref(&self) -> Option<VMExceptionRef>

If the Trap is an uncaught exception, returns it.

Trait Implementations

impl Debug for Trap

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

Formats the value using the given formatter.

impl Display for Trap

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

Formats the value using the given formatter.

impl Error for Trap

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

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

Provides type-based access to context intended for error reports.

impl From<Trap> for BackendTrap

fn from(value: Trap) -> Self

Converts to this type from the input type.

impl From<Trap> for RuntimeError

fn from(trap: Trap) -> Self

Converts to this type from the input type.