Enum lucet_runtime_internals::instance::TerminationDetails

pub enum TerminationDetails {
    Signal,
    CtxNotFound,
    BorrowError(&'static str),
    Provided(Arc<dyn Any + Send + Sync + 'static>),
}

Information about a terminated guest.

Guests are terminated either explicitly by Vmctx::terminate(), or implicitly by signal handlers that return SignalBehavior::Terminate. It usually indicates that an unrecoverable error has occurred in a hostcall, rather than in WebAssembly code.

Variants

Signal

Returned when a signal handler terminates the instance.

CtxNotFound

Returned when get_embed_ctx or get_embed_ctx_mut are used with a type that is not present.

BorrowError(&'static str)

Returned when dynamic borrowing rules of methods like Vmctx::heap() are violated.

Provided(Arc<dyn Any + Send + Sync + 'static>)

Calls to lucet_hostcall_terminate provide a payload for use by the embedder.

Methods

impl TerminationDetails

pub fn provide<A: Any + 'static + Send + Sync>(details: A) -> Self

pub fn provided_details(&self) -> Option<&dyn Any>

Trait Implementations

impl Send for TerminationDetails

impl PartialEq<TerminationDetails> for TerminationDetails

fn eq(&self, rhs: &TerminationDetails) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use] fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl Sync for TerminationDetails

impl Clone for TerminationDetails

fn clone(&self) -> TerminationDetails

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TerminationDetails

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

Formats the value using the given formatter.