Module validation_errors

Defines errors returned by the validator.

Structs

EmptySetForbidden

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

EntityDerefLevel

Represents how many entity dereferences can be applied to a node.

EntityDerefLevelViolation

Structure containing details about entity dereference level violation

FunctionArgumentValidation

Structure containing details about a function argument validation error.

HierarchyNotRespected

Structure containing details about a hierarchy not respected error

IncompatibleTypes

Structure containing details about an incompatible type error.

InternalInvariantViolation

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

InvalidActionApplication

Structure containing details about an invalid action application error.

NoTagsAllowed

Structure containing details about a no-tags-allowed error.

NonLitExtConstructor

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

UndefinedFunction

Structure containing details about an undefined function error.

UnexpectedType

Structure containing details about an unexpected type error.

UnrecognizedActionId

Structure containing details about an unrecognized action id error.

UnrecognizedEntityType

Structure containing details about an unrecognized entity type error.

UnsafeAttributeAccess

Structure containing details about a missing attribute error.

UnsafeOptionalAttributeAccess

Structure containing details about an unsafe optional attribute error.

UnsafeTagAccess

Structure containing details about an unsafe tag access error.

WrongNumberArguments

Structure containing details about a wrong number of arguments error.

Enums

AttributeAccess

Contains more detailed information about an attribute access when it occurs on an entity type expression or on the context variable. Track a Vec of attributes rather than a single attribute so that on principal.foo.bar can report that the record attribute foo of an entity type (e.g., User) needs attributes bar instead of giving up when the immediate target of the attribute access is not a entity.

LubContext

Text describing where the incompatible-types error was found

LubHelp

Hints for resolving an incompatible-types error

UnexpectedTypeHelp

Help for resolving a type error

UnrecognizedActionIdHelp

Help for resolving an unrecognized action id error

Functions

unrecognized_action_id_help

Determine the help to offer in the presence of an unrecognized action id error.