Enum cedar_policy_core::ast::RestrictedExprError

pub enum RestrictedExprError {
    InvalidRestrictedExpression {
        feature: SmolStr,
        expr: Expr,
    },
}

Error when constructing a restricted expression from unrestricted

Variants

InvalidRestrictedExpression

An expression was expected to be a “restricted” expression, but contained a feature that is not allowed in restricted expressions. The feature argument is a string description of the feature that is not allowed. The expr argument is the expression that uses the disallowed feature. Note that it is potentially a sub-expression of a larger expression.

Fields

feature: SmolStr

what disallowed feature appeared in the expression

expr: Expr

the (sub-)expression that uses the disallowed feature

Trait Implementations

impl Clone for RestrictedExprError

fn clone(&self) -> RestrictedExprError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RestrictedExprError

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

Formats the value using the given formatter.

impl Diagnostic for RestrictedExprError

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 code<'a>(&'a self) -> Option<Box<dyn Display + 'a>>

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 severity(&self) -> Option<Severity>

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

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

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

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

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

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

Additional related Diagnostics.

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

The cause of the error.

impl Display for RestrictedExprError

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

Formats the value using the given formatter.

impl Error for RestrictedExprError

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<RestrictedExprError> for EvaluationError

fn from(err: RestrictedExprError) -> Self

Converts to this type from the input type.

impl From<RestrictedExprError> for EvaluationErrorKind

fn from(source: RestrictedExprError) -> Self

Converts to this type from the input type.

impl From<RestrictedExprError> for JsonDeserializationError

fn from(source: RestrictedExprError) -> Self

Converts to this type from the input type.

impl From<RestrictedExprError> for ParseError

fn from(source: RestrictedExprError) -> Self

Converts to this type from the input type.

impl From<RestrictedExprError> for RestrictedExprParseError

fn from(source: RestrictedExprError) -> Self

Converts to this type from the input type.

impl PartialEq for RestrictedExprError

fn eq(&self, other: &RestrictedExprError) -> 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 RestrictedExprError

impl StructuralPartialEq for RestrictedExprError