Struct ValidatorActionId

pub struct ValidatorActionId { /* private fields */ }

Contains information about actions used by the validator. The contents of the struct are the same as the schema entity type structure, but the member_of relation is reversed to instead be descendants.

Implementations

impl ValidatorActionId

pub fn principals(&self) -> impl Iterator<Item = &EntityType>

Returns an iterator over all the principals that this action applies to

pub fn resources(&self) -> impl Iterator<Item = &EntityType>

Returns an iterator over all the resources that this action applies to

pub fn context_type(&self) -> &Type

The Type that this action requires for its context.

This always returns a closed record type.

pub fn applies_to_principals(&self) -> impl Iterator<Item = &EntityType>

The ast::EntityTypes that can be the principal for this action.

pub fn applies_to_resources(&self) -> impl Iterator<Item = &EntityType>

The ast::EntityTypes that can be the resource for this action.

pub fn is_applicable_principal_type(&self, ty: &EntityType) -> bool

Is the given principal type applicable for this spec?

pub fn is_applicable_resource_type(&self, ty: &EntityType) -> bool

Is the given resource type applicable for this spec?

Trait Implementations

impl Clone for ValidatorActionId

fn clone(&self) -> ValidatorActionId

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ValidatorActionId

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

Formats the value using the given formatter.

impl Serialize for ValidatorActionId

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TCNode<EntityUID> for ValidatorActionId

fn get_key(&self) -> EntityUID

Extract a unique identifier for the node.

fn add_edge_to(&mut self, k: EntityUID)

Add an edge out off this node to the node with key k.

fn out_edges(&self) -> Box<dyn Iterator<Item = &EntityUID> + '_>

Retrieve an iterator for the edges out of this node.

fn has_edge_to(&self, e: &EntityUID) -> bool

Return true when their is an edge between this node and the node with key k.