Enum cedar_policy_core::est::FromJsonError

pub enum FromJsonError {
    JsonDeserializationError(JsonDeserializationError),
    TemplateToPolicy(UnexpectedSlotError),
    InvalidSlotName,
    ActionSlot,
    SlotsInConditionClause {
        slot: SlotId,
        clausetype: &'static str,
    },
    MissingOperator,
    MultipleOperators {
        ops: Vec<SmolStr>,
    },
    MultiplicationByNonConstant {
        arg1: Expr,
        arg2: Expr,
    },
    UnescapeError(Vec<UnescapeError>),
    InvalidEntityType(ParseErrors),
}

Errors arising while converting a policy from its JSON representation (aka EST) into an AST

Variants

JsonDeserializationError(JsonDeserializationError)

Error while deserializing JSON

TemplateToPolicy(UnexpectedSlotError)

Tried to convert an EST representing a template to an AST representing a static policy

InvalidSlotName

Slot name was not valid for the position it was used in. (Currently, principal slots must be named ?principal, and resource slots must be named ?resource.)

ActionSlot

EST contained a template slot for action. This is not currently allowed

SlotsInConditionClause

Fields

slot: SlotId

Slot that was found in a when/unless clause

clausetype: &'static str

Clause type, e.g. “when” or “unless”

EST contained a template slot in policy condition

MissingOperator

EST contained the empty JSON object {} where a key (operator) was expected

MultipleOperators

Fields

ops: Vec<SmolStr>

the multiple operators that were found where one was expected

EST contained an object with multiple keys (operators) where a single operator was expected

MultiplicationByNonConstant

Fields

arg1: Expr

First non-constant argument

arg2: Expr

Second non-constant argument

At most one of the operands in a * b * c * d * ... can be a non-{constant int}

UnescapeError(Vec<UnescapeError>)

Error thrown while processing string escapes

InvalidEntityType(ParseErrors)

Error reported when the entity type tested by an is expression cannot be parsed.

Trait Implementations

impl Debug for FromJsonError

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

Formats the value using the given formatter.

impl Diagnostic for FromJsonError

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 FromJsonError

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

Formats the value using the given formatter.

impl Error for FromJsonError

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, 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<JsonDeserializationError> for FromJsonError

fn from(source: JsonDeserializationError) -> Self

Converts to this type from the input type.

impl From<UnexpectedSlotError> for FromJsonError

fn from(source: UnexpectedSlotError) -> Self

Converts to this type from the input type.