pub struct Validator(/* private fields */);
Expand description
Validator object, which provides policy validation and typechecking.
Implementations§
source§impl Validator
impl Validator
sourcepub fn new(schema: Schema) -> Self
pub fn new(schema: Schema) -> Self
Construct a new Validator
to validate policies using the given
Schema
.
sourcepub fn validate(
&self,
pset: &PolicySet,
mode: ValidationMode,
) -> ValidationResult
pub fn validate( &self, pset: &PolicySet, mode: ValidationMode, ) -> ValidationResult
Validate all policies in a policy set, collecting all validation errors
found into the returned ValidationResult
. Each error is returned together with the
policy id of the policy where the error was found. If a policy id
included in the input policy set does not appear in the output iterator, then
that policy passed the validator. If the function validation_passed
returns true, then there were no validation errors found, so all
policies in the policy set have passed the validator.
sourcepub fn validate_with_level(
&self,
pset: &PolicySet,
mode: ValidationMode,
max_deref_level: u32,
) -> ValidationResult
Available on crate feature level-validate
only.
pub fn validate_with_level( &self, pset: &PolicySet, mode: ValidationMode, max_deref_level: u32, ) -> ValidationResult
level-validate
only.Validate all policies in a policy set, collecting all validation errors
found into the returned ValidationResult
. If validation passes, run level
validation (RFC 76). Each error is returned together with the policy id of the policy
where the error was found. If a policy id included in the input policy set does not
appear in the output iterator, then that policy passed the validator. If the function
validation_passed
returns true, then there were no validation errors found, so
all policies in the policy set have passed the validator.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for Validator
impl RefUnwindSafe for Validator
impl Send for Validator
impl Sync for Validator
impl Unpin for Validator
impl UnwindSafe for Validator
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more