Enum rsim::processor::exceptions::CapabilityException

pub enum CapabilityException {
    BoundsViolation {
        cap: CapOrRegister,
        size: usize,
    },
    TagViolation {
        cap: CapOrRegister,
    },
    SealViolation {
        cap: CapOrRegister,
    },
    LengthViolation {
        cap: CapOrRegister,
        base: u64,
        top: u128,
    },
    InexactBounds {
        cap: CapOrRegister,
    },
    PermissionViolation {
        cap: CapOrRegister,
        perms: u32,
    },
}

Enum for capability-related exceptions. Modelled after https://github.com/CTSRD-CHERI/sail-cheri-riscv/blob/master/src/cheri_types.sail. Contains commented-out variants that are currently unused.

Variants

BoundsViolation

Fields of BoundsViolation

cap: CapOrRegistersize: usize

TagViolation

Fields of TagViolation

cap: CapOrRegister

SealViolation

Fields of SealViolation

cap: CapOrRegister

LengthViolation

Fields of LengthViolation

cap: CapOrRegisterbase: u64top: u128

InexactBounds

Fields of InexactBounds

cap: CapOrRegister

PermissionViolation

Fields of PermissionViolation

cap: CapOrRegisterperms: u32

Trait Implementations

impl Clone for CapabilityException

fn clone(&self) -> CapabilityException

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CapabilityException

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

Formats the value using the given formatter.

impl Display for CapabilityException

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

Formats the value using the given formatter.

impl Error for CapabilityException

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

The lower-level source of this error, if any.

pub fn backtrace(&self) -> Option<&Backtrace>

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

Returns a stack backtrace, if available, of where this error occurred.

pub fn description(&self) -> &str

👎 Deprecated since 1.42.0:

use the Display impl or to_string()

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

👎 Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

impl PartialEq<CapabilityException> for CapabilityException

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

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

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

This method tests for !=.

impl Eq for CapabilityException

impl StructuralEq for CapabilityException

impl StructuralPartialEq for CapabilityException