Enum cedar_policy::ValidationErrorKind

#[non_exhaustive]
pub enum ValidationErrorKind {
    UnrecognizedEntityType(UnrecognizedEntityType),
    UnrecognizedActionId(UnrecognizedActionId),
    InvalidActionApplication(InvalidActionApplication),
    TypeError(TypeErrorKind),
    UnspecifiedEntity(UnspecifiedEntityError),
}

Enumeration of the possible diagnostic error that could be found by the verification steps.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

UnrecognizedEntityType(UnrecognizedEntityType)

A policy contains an entity type that is not declared in the schema.

UnrecognizedActionId(UnrecognizedActionId)

A policy contains an action that is not declared in the schema.

InvalidActionApplication(InvalidActionApplication)

There is no action satisfying the action head constraint that can be applied to a principal and resources that both satisfy their respective head conditions.

TypeError(TypeErrorKind)

The type checker found an error.

UnspecifiedEntity(UnspecifiedEntityError)

An unspecified entity was used in a policy. This should be impossible, assuming that the policy was constructed by the parser.

Trait Implementations

impl Clone for ValidationErrorKind

fn clone(&self) -> ValidationErrorKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ValidationErrorKind

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

Formats the value using the given formatter.

impl Diagnostic for ValidationErrorKind

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

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.

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

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

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

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

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

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

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

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

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

Additional related Diagnostics.

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

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

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

The cause of the error.

impl Display for ValidationErrorKind

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

Formats the value using the given formatter.

impl Error for ValidationErrorKind

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

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

fn description(&self) -> &str

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

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

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

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.

impl From<InvalidActionApplication> for ValidationErrorKind

fn from(source: InvalidActionApplication) -> ValidationErrorKind

Converts to this type from the input type.

impl From<TypeErrorKind> for ValidationErrorKind

fn from(source: TypeErrorKind) -> ValidationErrorKind

Converts to this type from the input type.

impl From<UnrecognizedActionId> for ValidationErrorKind

fn from(source: UnrecognizedActionId) -> ValidationErrorKind

Converts to this type from the input type.

impl From<UnrecognizedEntityType> for ValidationErrorKind

fn from(source: UnrecognizedEntityType) -> ValidationErrorKind

Converts to this type from the input type.

impl From<UnspecifiedEntityError> for ValidationErrorKind

fn from(source: UnspecifiedEntityError) -> ValidationErrorKind

Converts to this type from the input type.