⚠️ VeridianOS Kernel Documentation - This is low-level kernel code. All functions are unsafe unless explicitly marked otherwise. no_std

CapModelError

veridian_kernel::verification::cap_proofs

Enum CapModelError 

Source 
pub enum CapModelError {
    InvalidToken,
    RightsEscalation,
    NoDeriveRight,
    StaleGeneration,
    ForgeryDetected,
    RevocationIncomplete,
    OrphanCapability,
    IsolationBreach,
}
Expand description

Errors from capability verification

Variants§

§

InvalidToken

Token is not valid

§

RightsEscalation

Attempted rights escalation

§

NoDeriveRight

No derive right on parent

§

StaleGeneration

Token generation is stale

§

ForgeryDetected

Forged capability detected

§

RevocationIncomplete

Revocation did not complete

§

OrphanCapability

Orphan capability found after revocation

§

IsolationBreach

Capability crossed address space boundary

Trait Implementations§

Source§

impl Clone for CapModelError

Source§

fn clone(&self) -> CapModelError

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
Source§

impl Debug for CapModelError

Source§

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

Formats the value using the given formatter. Read more
Source§

impl PartialEq for CapModelError

Source§

fn eq(&self, other: &CapModelError) -> 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.
Source§

impl Copy for CapModelError

Source§

impl Eq for CapModelError

Source§

impl StructuralPartialEq for CapModelError

Auto Trait Implementations§

§

impl Freeze for CapModelError

§

impl RefUnwindSafe for CapModelError

§

impl Send for CapModelError

§

impl Sync for CapModelError

§

impl Unpin for CapModelError

§

impl UnwindSafe for CapModelError

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.