Enum ValidationError

pub enum ValidationError {
    UnrecognizedEntityType(UnrecognizedEntityType),
    UnrecognizedActionId(UnrecognizedActionId),
    InvalidActionApplication(InvalidActionApplication),
    UnexpectedType(UnexpectedType),
    IncompatibleTypes(IncompatibleTypes),
    UnsafeAttributeAccess(UnsafeAttributeAccess),
    UnsafeOptionalAttributeAccess(UnsafeOptionalAttributeAccess),
    UnsafeTagAccess(UnsafeTagAccess),
    NoTagsAllowed(NoTagsAllowed),
    UndefinedFunction(UndefinedFunction),
    WrongNumberArguments(WrongNumberArguments),
    FunctionArgumentValidation(FunctionArgumentValidation),
    EmptySetForbidden(EmptySetForbidden),
    NonLitExtConstructor(NonLitExtConstructor),
    HierarchyNotRespected(HierarchyNotRespected),
    InternalInvariantViolation(InternalInvariantViolation),
}

An error generated by the validator when it finds a potential problem in a policy. The error contains a enumeration that specifies the kind of problem, and provides details specific to that kind of problem. The error also records where the problem was encountered.

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 scope constraint that can be applied to a principal and resources that both satisfy their respective scope conditions.

UnexpectedType(UnexpectedType)

The typechecker expected to see a subtype of one of the types in expected, but saw actual.

IncompatibleTypes(IncompatibleTypes)

The typechecker could not compute a least upper bound for types.

UnsafeAttributeAccess(UnsafeAttributeAccess)

The typechecker detected an access to a record or entity attribute that it could not statically guarantee would be present.

UnsafeOptionalAttributeAccess(UnsafeOptionalAttributeAccess)

The typechecker could not conclude that an access to an optional attribute was safe.

UnsafeTagAccess(UnsafeTagAccess)

The typechecker could not conclude that an access to a tag was safe.

NoTagsAllowed(NoTagsAllowed)

.getTag() on an entity type which cannot have tags according to the schema.

UndefinedFunction(UndefinedFunction)

Undefined extension function.

WrongNumberArguments(WrongNumberArguments)

Incorrect number of arguments in an extension function application.

FunctionArgumentValidation(FunctionArgumentValidation)

Incorrect call style in an extension function application. Error returned by custom extension function argument validation

EmptySetForbidden(EmptySetForbidden)

The policy uses an empty set literal in a way that is forbidden

NonLitExtConstructor(NonLitExtConstructor)

The policy passes a non-literal to an extension constructor, which is forbidden in strict validation

HierarchyNotRespected(HierarchyNotRespected)

To pass strict validation a policy cannot contain an in expression where the entity type on the left might not be able to be a member of the entity type on the right.

InternalInvariantViolation(InternalInvariantViolation)

Returned when an internal invariant is violated (should not happen; if this is ever returned, please file an issue)

Trait Implementations

impl Clone for ValidationError

fn clone(&self) -> ValidationError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ValidationError

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

Formats the value using the given formatter.

impl Diagnostic for ValidationError

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 ValidationError

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

Formats the value using the given formatter.

impl Error for ValidationError

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

Returns 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<EmptySetForbidden> for ValidationError

fn from(source: EmptySetForbidden) -> Self

Converts to this type from the input type.

impl From<FunctionArgumentValidation> for ValidationError

fn from(source: FunctionArgumentValidation) -> Self

Converts to this type from the input type.

impl From<HierarchyNotRespected> for ValidationError

fn from(source: HierarchyNotRespected) -> Self

Converts to this type from the input type.

impl From<IncompatibleTypes> for ValidationError

fn from(source: IncompatibleTypes) -> Self

Converts to this type from the input type.

impl From<InternalInvariantViolation> for ValidationError

fn from(source: InternalInvariantViolation) -> Self

Converts to this type from the input type.

impl From<InvalidActionApplication> for ValidationError

fn from(source: InvalidActionApplication) -> Self

Converts to this type from the input type.

impl From<NoTagsAllowed> for ValidationError

fn from(source: NoTagsAllowed) -> Self

Converts to this type from the input type.

impl From<NonLitExtConstructor> for ValidationError

fn from(source: NonLitExtConstructor) -> Self

Converts to this type from the input type.

impl From<UndefinedFunction> for ValidationError

fn from(source: UndefinedFunction) -> Self

Converts to this type from the input type.

impl From<UnexpectedType> for ValidationError

fn from(source: UnexpectedType) -> Self

Converts to this type from the input type.

impl From<UnrecognizedActionId> for ValidationError

fn from(source: UnrecognizedActionId) -> Self

Converts to this type from the input type.

impl From<UnrecognizedEntityType> for ValidationError

fn from(source: UnrecognizedEntityType) -> Self

Converts to this type from the input type.

impl From<UnsafeAttributeAccess> for ValidationError

fn from(source: UnsafeAttributeAccess) -> Self

Converts to this type from the input type.

impl From<UnsafeOptionalAttributeAccess> for ValidationError

fn from(source: UnsafeOptionalAttributeAccess) -> Self

Converts to this type from the input type.

impl From<UnsafeTagAccess> for ValidationError

fn from(source: UnsafeTagAccess) -> Self

Converts to this type from the input type.

impl From<WrongNumberArguments> for ValidationError

fn from(source: WrongNumberArguments) -> Self

Converts to this type from the input type.

impl Hash for ValidationError

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ValidationError

fn eq(&self, other: &ValidationError) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ValidationError

impl StructuralPartialEq for ValidationError