Struct cedar_policy::Validator
source · 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<'a>(
&'a self,
pset: &'a PolicySet,
mode: ValidationMode,
) -> ValidationResult<'a>
pub fn validate<'a>( &'a self, pset: &'a PolicySet, mode: ValidationMode, ) -> ValidationResult<'a>
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.
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
Mutably borrows from an owned value. Read more
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>
Converts
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>
Converts
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