Struct cedar_policy::ValidationResult

source ·
pub struct ValidationResult<'a> { /* private fields */ }
Expand description

Contains the result of policy validation. The result includes the list of issues found by validation and whether validation succeeds or fails. Validation succeeds if there are no fatal errors. There may still be non-fatal warnings present when validation passes.

Implementations§

source§

impl<'a> ValidationResult<'a>

source

pub fn validation_passed(&self) -> bool

True when validation passes. There are no errors, but there may be non-fatal warnings. Use ValidationResult::validation_passed_without_warnings to check that there are also no warnings.

source

pub fn validation_passed_without_warnings(&self) -> bool

True when validation passes (i.e., there are no errors) and there are additionally no non-fatal warnings.

source

pub fn validation_errors( &self ) -> impl Iterator<Item = &ValidationError<'static>>

Get an iterator over the errors found by the validator.

source

pub fn validation_warnings( &self ) -> impl Iterator<Item = &ValidationWarning<'static>>

Get an iterator over the warnings found by the validator.

Trait Implementations§

source§

impl<'a> Debug for ValidationResult<'a>

source§

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

Formats the value using the given formatter. Read more
source§

impl<'a> Diagnostic for ValidationResult<'a>

source§

fn related<'s>( &'s self ) -> Option<Box<dyn Iterator<Item = &'s dyn Diagnostic> + 's>>

Additional related Diagnostics.
source§

fn severity(&self) -> Option<Severity>

Diagnostic severity. This may be used by ReportHandlers to change the display format of this diagnostic. Read more
source§

fn labels(&self) -> Option<Box<dyn Iterator<Item = LabeledSpan> + '_>>

Labels to apply to this Diagnostic’s Diagnostic::source_code
source§

fn source_code(&self) -> Option<&dyn SourceCode>

Source code to apply this Diagnostic’s Diagnostic::labels to.
source§

fn code<'s>(&'s self) -> Option<Box<dyn Display + 's>>

Unique diagnostic code that can be used to look up more information about this Diagnostic. Ideally also globally unique, and documented in the toplevel crate’s documentation for easy searching. Rust path format (foo::bar::baz) is recommended, but more classic codes like E0123 or enums will work just fine.
source§

fn url<'s>(&'s self) -> Option<Box<dyn Display + 's>>

URL to visit for a more detailed explanation/help about this Diagnostic.
source§

fn help<'s>(&'s self) -> Option<Box<dyn Display + 's>>

Additional help text related to this Diagnostic. Do you have any advice for the poor soul who’s just run into this issue?
source§

fn diagnostic_source(&self) -> Option<&dyn Diagnostic>

The cause of the error.
source§

impl<'a> Display for ValidationResult<'a>

source§

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

Formats the value using the given formatter. Read more
source§

impl<'a> Error for ValidationResult<'a>

source§

fn source(&self) -> Option<&(dyn Error + 'static)>

The lower-level source of this error, if any. Read more
source§

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()
source§

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting
source§

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)
Provides type based access to context intended for error reports. Read more
source§

impl<'a> From<ValidationResult<'a>> for ValidationResult<'static>

source§

fn from(r: ValidationResult<'a>) -> Self

Converts to this type from the input type.

Auto Trait Implementations§

§

impl<'a> Freeze for ValidationResult<'a>

§

impl<'a> RefUnwindSafe for ValidationResult<'a>

§

impl<'a> Send for ValidationResult<'a>

§

impl<'a> Sync for ValidationResult<'a>

§

impl<'a> Unpin for ValidationResult<'a>

§

impl<'a> UnwindSafe for ValidationResult<'a>

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoEither for T

source§

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 more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

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
source§

impl<T> ToSmolStr for T
where T: Display + ?Sized,

source§

impl<T> ToString for T
where T: Display + ?Sized,

source§

default fn to_string(&self) -> String

Converts the given value to a String. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.