cedar_policy::entities_json_errors

Enum JsonDeserializationError

Source
#[non_exhaustive]
pub enum JsonDeserializationError {
Show 17 variants Serde(JsonError), ParseEscape(ParseEscape), RestrictedExpressionError(RestrictedExpressionError), ExpectedLiteralEntityRef(ExpectedLiteralEntityRef), ExpectedExtnValue(ExpectedExtnValue), ActionParentIsNotAction(ActionParentIsNotAction), MissingImpliedConstructor(MissingImpliedConstructor), DuplicateKey(DuplicateKey), EntityAttributeEvaluation(EntityAttrEvaluationError), EntitySchemaConformance(EntitySchemaConformanceError), UnexpectedRecordAttr(UnexpectedRecordAttr), MissingRequiredRecordAttr(MissingRequiredRecordAttr), TypeMismatch(TypeMismatch), ExprTag(Box<JsonDeserializationErrorContext>), Null(Box<JsonDeserializationErrorContext>), ReservedName(ReservedNameError), UnsupportedEntityTags,
}
Expand description

Errors thrown during deserialization from JSON

Variants (Non-exhaustive)§

This enum is marked as non-exhaustive
Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.
§

Serde(JsonError)

Error thrown by the serde_json crate

§

ParseEscape(ParseEscape)

Contents of an escape failed to parse.

§

RestrictedExpressionError(RestrictedExpressionError)

Restricted expression error

§

ExpectedLiteralEntityRef(ExpectedLiteralEntityRef)

A field that needs to be a literal entity reference, was some other JSON value

§

ExpectedExtnValue(ExpectedExtnValue)

A field that needs to be an extension value, was some other JSON value

§

ActionParentIsNotAction(ActionParentIsNotAction)

Parents of actions should be actions, but this action has a non-action parent

§

MissingImpliedConstructor(MissingImpliedConstructor)

Schema-based parsing needed an implicit extension constructor, but no suitable constructor was found

§

DuplicateKey(DuplicateKey)

The same key appears two or more times in a single record

§

EntityAttributeEvaluation(EntityAttrEvaluationError)

Error when evaluating an entity attribute

§

EntitySchemaConformance(EntitySchemaConformanceError)

During schema-based parsing, encountered an entity which does not conform to the schema.

This error contains the Entity analogues some of the other errors listed below, among other things.

§

UnexpectedRecordAttr(UnexpectedRecordAttr)

During schema-based parsing, encountered this attribute on a record, but that attribute shouldn’t exist on that record

§

MissingRequiredRecordAttr(MissingRequiredRecordAttr)

During schema-based parsing, didn’t encounter this attribute of a record, but that attribute should have existed

§

TypeMismatch(TypeMismatch)

During schema-based parsing, found a different type than the schema indicated.

(This is used in all cases except inside entity attributes; type mismatches in entity attributes are reported as Self::EntitySchemaConformance. As of this writing, that means this should only be used for schema-based parsing of the Context.)

§

ExprTag(Box<JsonDeserializationErrorContext>)

Raised when a JsonValue contains the no longer supported __expr escape

§

Null(Box<JsonDeserializationErrorContext>)

Raised when the input JSON contains a null

§

ReservedName(ReservedNameError)

Returned when a name contains __cedar

§

UnsupportedEntityTags

👎Deprecated since 4.2.0: entity-tags is now stable and fully supported, so this error never occurs

Never returned as of 4.2.0 (entity tags are now stable), but this error variant not removed because that would be a breaking change on this publicly-exported type.

Trait Implementations§

Source§

impl Debug for JsonDeserializationError

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Diagnostic for JsonDeserializationError

Source§

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.
Source§

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?
Source§

fn severity(&self) -> Option<Severity>

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

fn labels(&self) -> Option<Box<dyn Iterator<Item = LabeledSpan> + '_>>

Labels to apply to this Diagnostic’s Diagnostic::source_code
Source§

fn source_code(&self) -> Option<&dyn SourceCode>

Source code to apply this Diagnostic’s Diagnostic::labels to.
Source§

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

Additional related Diagnostics.
Source§

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

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

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

The cause of the error.
Source§

impl Display for JsonDeserializationError

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Error for JsonDeserializationError

Source§

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any. Read more
1.0.0 · Source§

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()
1.0.0 · Source§

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting
Source§

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. Read more
Source§

impl From<EntityAttrEvaluationError> for JsonDeserializationError

Source§

fn from(source: EntityAttrEvaluationError) -> JsonDeserializationError

Converts to this type from the input type.
Source§

impl From<Error> for JsonDeserializationError

Source§

fn from(value: Error) -> JsonDeserializationError

Converts to this type from the input type.
Source§

impl From<JsonDeserializationError> for ContextJsonError

Source§

fn from(source: JsonDeserializationError) -> Self

Converts to this type from the input type.
Source§

impl From<JsonDeserializationError> for EntitiesError

Source§

fn from(source: JsonDeserializationError) -> EntitiesError

Converts to this type from the input type.
Source§

impl From<JsonError> for JsonDeserializationError

Source§

fn from(source: JsonError) -> JsonDeserializationError

Converts to this type from the input type.
Source§

impl From<ReservedNameError> for JsonDeserializationError

Source§

fn from(source: ReservedNameError) -> JsonDeserializationError

Converts to this type from the input type.
Source§

impl From<RestrictedExpressionError> for JsonDeserializationError

Source§

fn from(source: RestrictedExpressionError) -> JsonDeserializationError

Converts to this type from the input type.

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> ToSmolStr for T
where T: Display + ?Sized,

Source§

impl<T> ToString for T
where T: Display + ?Sized,

Source§

default fn to_string(&self) -> String

Converts the given value to a String. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.