Struct PolicyRegistry 

pub struct PolicyRegistry { /* private fields */ }

Registry for security policies defined in ## Policy blocks.

Implementations

impl PolicyRegistry

pub fn new() -> Self

pub fn register_predicate(&mut self, def: PredicateDef)

Register a predicate definition

pub fn register_capability(&mut self, def: CapabilityDef)

Register a capability definition

pub fn get_predicates(&self, subject_type: Symbol) -> Option<&[PredicateDef]>

Get predicates for a type

pub fn get_capabilities(&self, subject_type: Symbol) -> Option<&[CapabilityDef]>

Get capabilities for a type

pub fn has_predicates(&self, subject_type: Symbol) -> bool

Check if a type has any predicates

pub fn has_capabilities(&self, subject_type: Symbol) -> bool

Check if a type has any capabilities

pub fn iter_predicates( &self, ) -> impl Iterator<Item = (&Symbol, &Vec<PredicateDef>)>

Iterate over all types with predicates (for codegen)

pub fn iter_capabilities( &self, ) -> impl Iterator<Item = (&Symbol, &Vec<CapabilityDef>)>

Iterate over all types with capabilities (for codegen)

pub fn is_empty(&self) -> bool

Check if registry has any policies

Trait Implementations

impl Clone for PolicyRegistry

fn clone(&self) -> PolicyRegistry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PolicyRegistry

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

Formats the value using the given formatter.

impl Default for PolicyRegistry

fn default() -> PolicyRegistry

Returns the “default value” for a type.