Struct CSpace 

pub struct CSpace {
    pub agent_id: Uuid,
    pub name: String,
    /* private fields */
}

Capability Space — an agent’s collection of capability tokens.

Inspired by seL4’s CSpace. Each agent has exactly one CSpace that defines what resources it can access and with which rights.

Fields

agent_id: Uuid

The agent that owns this CSpace.

name: String

Human-readable name (for display).

Implementations

impl CSpace

pub fn new(agent_id: Uuid) -> Self

Create an empty CSpace for an agent.

pub fn with_name(agent_id: Uuid, name: &str) -> Self

Create a CSpace with a human-readable name.

pub fn insert(&mut self, entry: CapabilityEntry) -> u32

Insert a capability entry, returning its index.

pub fn remove(&mut self, index: u32) -> Option<CapabilityEntry>

Remove a capability by index.

pub fn can(&self, resource: &ResourceRef, right: Rights) -> bool

Check if this CSpace grants right over resource.

Checks for an exact or more-permissive match. For ResourceRef::Path and ResourceRef::Network, a wildcard pattern (*) matches anything.

pub fn iter(&self) -> impl Iterator<Item = (&u32, &CapabilityEntry)>

Iterate over all entries.

pub fn len(&self) -> usize

Number of capability entries.

pub fn is_empty(&self) -> bool

Whether the CSpace is empty.

Trait Implementations

impl Clone for CSpace

fn clone(&self) -> CSpace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CSpace

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CSpace

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for CSpace

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.