IpcModelError

veridian_kernel::verification::ipc_proofs

Enum IpcModelError

pub enum IpcModelError {
    ChannelFull,
    ChannelEmpty,
    NoSendCapability,
    NoRecvCapability,
    InvalidChannel,
    FifoViolation,
    MessageLoss,
    BufferOverflow,
    DeadlockDetected,
    TypeMismatch,
    IsolationBreach,
    RegionOverlap,
}

Expand description

Errors in the IPC model

Variants§

ChannelFull

Channel is full

ChannelEmpty

Channel is empty

NoSendCapability

Sender lacks capability

NoRecvCapability

Receiver lacks capability

InvalidChannel

Invalid channel ID

FifoViolation

FIFO ordering violated

MessageLoss

Message loss detected

BufferOverflow

Buffer overflow

DeadlockDetected

Deadlock detected

TypeMismatch

Type mismatch

IsolationBreach

Channel isolation breach

RegionOverlap

Memory region overlap

Trait Implementations§

impl Clone for IpcModelError

fn clone(&self) -> IpcModelError

Returns a duplicate of the value. Read more

1.0.0§

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

Performs copy-assignment from source. Read more

impl Debug for IpcModelError

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

Formats the value using the given formatter. Read more

impl PartialEq for IpcModelError

fn eq(&self, other: &IpcModelError) -> bool

Tests for self and other values to be equal, and is used by ==.

1.0.0§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for IpcModelError

impl Eq for IpcModelError

impl StructuralPartialEq for IpcModelError

Auto Trait Implementations§

impl Freeze for IpcModelError

impl RefUnwindSafe for IpcModelError

impl Send for IpcModelError

impl Sync for IpcModelError

impl Unpin for IpcModelError

impl UnwindSafe for IpcModelError

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> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

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

Performs copy-assignment from self to dest. 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> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. 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.