Struct CapRights 

pub struct CapRights(/* private fields */);

Capability rights bitmap.

Rights determine what operations are permitted on the capability’s target object. Rights are checked at syscall time and cannot be escalated.

Implementations

impl CapRights

pub const READ: Self

Right to read from the object (e.g., vector_get, queue_recv).

pub const WRITE: Self

Right to write to the object (e.g., queue_send, region writes).

pub const GRANT: Self

Right to grant this capability to other tasks via cap_grant.

pub const REVOKE: Self

Right to revoke capabilities derived from this one.

pub const EXECUTE: Self

Right to execute (e.g., task entry point, RVF component).

pub const PROVE: Self

Right to generate proof tokens for this object. Required for vector_put_proved and graph_apply_proved.

pub const GRANT_ONCE: Self

Non-transitive grant right (cannot be further delegated). See Section 20.2 of ADR-087.

pub const NONE: Self

No rights.

pub const ALL: Self

All rights.

pub const fn from_bits(bits: u32) -> Self

Creates a new CapRights from a raw value.

pub const fn bits(&self) -> u32

Returns the raw bits.

pub const fn is_empty(&self) -> bool

Checks if no rights are set.

pub const fn contains(&self, other: Self) -> bool

Checks if all specified rights are set.

pub const fn union(self, other: Self) -> Self

Returns the union of two rights sets.

pub const fn intersection(self, other: Self) -> Self

Returns the intersection of two rights sets.

pub const fn difference(self, other: Self) -> Self

Returns the difference (rights in self but not in other).

pub const fn is_subset_of(&self, other: Self) -> bool

Checks if this rights set is a subset of another (can be derived from it).

Trait Implementations

impl BitAnd for CapRights

type Output = CapRights

The resulting type after applying the & operator.

fn bitand(self, rhs: Self) -> Self::Output

Performs the & operation.

impl BitAndAssign for CapRights

fn bitand_assign(&mut self, rhs: Self)

Performs the &= operation.

impl BitOr for CapRights

type Output = CapRights

The resulting type after applying the | operator.

fn bitor(self, rhs: Self) -> Self::Output

Performs the | operation.

impl BitOrAssign for CapRights

fn bitor_assign(&mut self, rhs: Self)

Performs the |= operation.

impl Clone for CapRights

fn clone(&self) -> CapRights

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CapRights

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

Formats the value using the given formatter.

impl Default for CapRights

fn default() -> Self

Returns the “default value” for a type.

impl Hash for CapRights

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for CapRights

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

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

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 CapRights

impl Eq for CapRights

impl StructuralPartialEq for CapRights