Enum cedar_policy_core::evaluator::EvaluationError

pub enum EvaluationError {
    EntityDoesNotExist(Arc<EntityUID>),
    EntityAttrDoesNotExist {
        entity: Arc<EntityUID>,
        attr: SmolStr,
    },
    UnspecifiedEntityAccess(SmolStr),
    RecordAttrDoesNotExist(SmolStr),
    ExtensionsError(ExtensionsError),
    TypeError {
        expected: Vec<Type>,
        actual: Type,
    },
    WrongNumArguments {
        op: ExtensionFunctionOp,
        expected: usize,
        actual: usize,
    },
    IntegerOverflow(IntegerOverflowError),
    InvalidRestrictedExpression(RestrictedExpressionError),
    TemplateInstantiationError(SlotId),
    ExtensionError {
        extension_name: Name,
        msg: String,
    },
    NonValue(Expr),
    RecursionLimit,
}

Error type for various kinds of errors that can be raised by the policy evaluator.

Variants

EntityDoesNotExist(Arc<EntityUID>)

Tried to lookup this entity UID, but it didn’t exist in the provided entities

EntityAttrDoesNotExist

Fields

entity: Arc<EntityUID>

Entity which didn’t have the attribute

attr: SmolStr

Name of the attribute it didn’t have

Tried to get this attribute, but the specified entity didn’t have that attribute

UnspecifiedEntityAccess(SmolStr)

Tried to access an attribute of an unspecified entity

RecordAttrDoesNotExist(SmolStr)

Tried to get this attribute of a (non-entity) record, but that record didn’t have that attribute

ExtensionsError(ExtensionsError)

Error thown by an operation on Extensions (not to be confused with ExtensionError, which is an error thrown by an individual extension function)

TypeError

Fields

expected: Vec<Type>

Expected (one of) these types

actual: Type

Encountered this type instead

Type error, showing the expected type and actual type

WrongNumArguments

Fields

op: ExtensionFunctionOp

arguments to this function

expected: usize

expected number of arguments

actual: usize

actual number of arguments

Wrong number of arguments to an extension function

IntegerOverflow(IntegerOverflowError)

Overflow during an integer operation

InvalidRestrictedExpression(RestrictedExpressionError)

Error with the use of “restricted” expressions

TemplateInstantiationError(SlotId)

Thrown when a policy is evaluated with an un-filled slot

ExtensionError

Fields

extension_name: Name

Name of the extension throwing the error

msg: String

Error message from the extension

Evaluation error thrown by an extension function

NonValue(Expr)

Error raised if an expression did not reduce to a value when it was supposed to

RecursionLimit

Maximum recursion limit reached for expression evaluation

Trait Implementations

impl Clone for EvaluationError

fn clone(&self) -> EvaluationError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for EvaluationError

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

Formats the value using the given formatter.

impl Display for EvaluationError

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

Formats the value using the given formatter.

impl Error for EvaluationError

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, demand: &mut Demand<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type based access to context intended for error reports.

impl From<ExtensionsError> for EvaluationError

fn from(source: ExtensionsError) -> Self

Converts to this type from the input type.

impl From<RestrictedExpressionError> for EvaluationError

fn from(source: RestrictedExpressionError) -> Self

Converts to this type from the input type.

impl PartialEq<EvaluationError> for EvaluationError

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for EvaluationError