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.