Struct Validator 

pub struct Validator { /* private fields */ }

Structure containing the context needed for policy validation. This is currently only the EntityTypes and ActionTypes from a single schema.

Implementations

impl Validator

pub fn validate_enum_entity<'a>( schema: &'a ValidatorSchema, template: &'a Template, ) -> impl Iterator<Item = ValidationError> + 'a

Validate if a Template contains entities of enumerated entity types but with invalid UIDs

pub fn validate_entity_types<'a>( schema: &'a ValidatorSchema, template: &'a Template, ) -> impl Iterator<Item = ValidationError> + 'a

Generate UnrecognizedEntityType error for every entity type in the expression that could not also be found in the schema.

pub fn validate_action_ids<'a>( schema: &'a ValidatorSchema, template: &'a Template, ) -> impl Iterator<Item = ValidationError> + 'a

Generate UnrecognizedActionId error for every entity id with an action entity type where the id could not be found in the actions list from the schema.

impl Validator

pub fn new(schema: ValidatorSchema) -> Validator

Construct a new Validator from a schema file.

pub fn schema(&self) -> &ValidatorSchema

Get the ValidatorSchema this Validator is using.

pub fn validate( &self, policies: &PolicySet, mode: ValidationMode, ) -> ValidationResult

Validate all templates, links, and static policies in a policy set. Return a ValidationResult.

pub fn validate_with_level( &self, policies: &PolicySet, mode: ValidationMode, max_deref_level: u32, ) -> ValidationResult

Validate all templates, links, and static policies in a policy set. If validation passes, also run level validation with max_deref_level (see RFC 76). Return a ValidationResult.

Trait Implementations

impl Clone for Validator

fn clone(&self) -> Validator

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Validator

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

Formats the value using the given formatter.