Struct CapabilitySet 

pub struct CapabilitySet {
    pub alloc: Option<AllocLevel>,
    pub io: Option<IoLevel>,
    pub ptr: Option<PtrLevel>,
}

The full set of capabilities a function/module may declare or exhibit.

A category left None means “not declared” — CapabilitySet::alloc_or_none and friends treat an undeclared category as the most restrictive level, matching the RFC’s “undeclared = not permitted” model.

Fields

alloc: Option<AllocLevel>

Declared/detected allocation capability, if any.

io: Option<IoLevel>

Declared/detected I/O capability, if any.

ptr: Option<PtrLevel>

Declared/detected raw-pointer capability, if any.

Implementations

impl CapabilitySet

pub fn alloc_or_none(&self) -> AllocLevel

The declared/detected AllocLevel, defaulting to AllocLevel::None.

pub fn io_or_none(&self) -> IoLevel

The declared/detected IoLevel, defaulting to IoLevel::None.

pub fn ptr_or_none(&self) -> PtrLevel

The declared/detected PtrLevel, defaulting to PtrLevel::None.

Trait Implementations

impl Clone for CapabilitySet

fn clone(&self) -> CapabilitySet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CapabilitySet

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

Formats the value using the given formatter.

impl Default for CapabilitySet

fn default() -> CapabilitySet

Returns the “default value” for a type.