Skip to main content

HostCallPrecondition

lion_core::step

Enum HostCallPrecondition

pub enum HostCallPrecondition {
    ReadOutOfBounds {
        addr: MemAddr,
        size: Size,
    },
    WriteOutOfBounds {
        addr: MemAddr,
        size: Size,
    },
    NoValidCapability,
    NoMessage,
    SourceMismatch,
    MailboxFull,
    InvalidSecurityLevel {
        value: u64,
    },
    CannotClassifyUp,
    NoAddress,
    NoCapabilityId,
    FreeFailed {
        source: StateError,
    },
    NotImplemented {
        operation: &'static str,
    },
}

Expand description

Reasons a host call precondition check can fail.

Variants§

ReadOutOfBounds

A read memory region is out of bounds

Fields

§addr: MemAddr

Start address of the region

§size: Size

Size of the region

WriteOutOfBounds

A write memory region is out of bounds

Fields

§addr: MemAddr

Start address of the region

§size: Size

Size of the region

NoValidCapability

No valid capability is held by the caller

NoMessage

No message provided for send operation

SourceMismatch

Message source does not match the caller

MailboxFull

Destination mailbox is full

InvalidSecurityLevel

Invalid security level value

Fields

§value: u64

The invalid level value

CannotClassifyUp

Cannot classify up (only declassification is allowed)

NoAddress

No address argument provided for free operation

NoCapabilityId

No capability ID argument provided for revoke operation

FreeFailed

Underlying free operation failed

Fields

§source: StateError

The state error that caused the failure

NotImplemented

Operation requires Phase 3 State extension (threads/scheduler)

Fields

§operation: &'static str

Description of the unimplemented operation

Trait Implementations§

impl Debug for HostCallPrecondition

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

Formats the value using the given formatter. Read more

impl Display for HostCallPrecondition

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

impl Freeze for HostCallPrecondition

impl RefUnwindSafe for HostCallPrecondition

impl Send for HostCallPrecondition

impl Sync for HostCallPrecondition

impl Unpin for HostCallPrecondition

impl UnsafeUnpin for HostCallPrecondition

impl UnwindSafe for HostCallPrecondition

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> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

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> Same for T

type Output = T

Should always be Self

impl<T> ToString for T
where T: Display + ?Sized,

fn to_string(&self) -> String

Converts the given value to a String. 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.