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 new( name: EntityUID, principal_entity_types: impl IntoIterator<Item = EntityType>, resource_entity_types: impl IntoIterator<Item = EntityType>, descendants: impl IntoIterator<Item = EntityUID>, context: Type, attribute_types: Attributes, attributes: BTreeMap<SmolStr, PartialValueSerializedAsExpr>, ) -> Self

Construct a new ValidatorActionId.

This constructor assumes that descendants has TC already computed. That is, caller is responsible for TC.

pub fn name(&self) -> &EntityUID

The name of the action

pub fn descendants(&self) -> impl Iterator<Item = &EntityUID>

Iterator over the actions that are members of this action

pub fn context(&self) -> &Type

Context type for this action

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?

pub fn attribute_types(&self) -> &Attributes

Attribute types for this action

pub fn attributes( &self, ) -> impl Iterator<Item = (&SmolStr, &PartialValueSerializedAsExpr)>

Attribute values for this action

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.