Struct SpaceManager 

pub struct SpaceManager { /* private fields */ }

Manages the set of memory spaces.

Implementations

impl SpaceManager

pub fn new() -> Self

Creates a new empty space manager.

pub fn create_space(&mut self, name: &str, owner: AgentId) -> MemorySpace

Create a new space owned by owner.

pub fn get_space(&self, id: SpaceId) -> Option<&MemorySpace>

Returns a reference to the space with the given ID, if it exists.

pub fn delete_space(&mut self, id: SpaceId)

Removes a space by ID.

pub fn grant_access(&mut self, space: SpaceId, agent: AgentId, perm: Permission)

Grant perm to agent in the given space.

pub fn revoke_access(&mut self, space: SpaceId, agent: AgentId)

Remove all access for agent in the given space.

pub fn check_access( &self, space: SpaceId, agent: AgentId, required: Permission, ) -> bool

Check whether agent has at least required permission in the space.

pub fn list_spaces_for_agent(&self, agent: AgentId) -> Vec<&MemorySpace>

List all spaces that agent owns or has an ACL entry in.

Trait Implementations

impl Debug for SpaceManager

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

Formats the value using the given formatter.

impl Default for SpaceManager

fn default() -> SpaceManager

Returns the “default value” for a type.