cedar_policy_core::est

Enum FromJsonError

Source
pub enum FromJsonError {
    JsonDeserializationError(JsonDeserializationError),
    TemplateToPolicy(ExpectedStaticPolicy),
    PolicyToTemplate(ExpectedTemplate),
    InvalidSlotName,
    ActionSlot,
    SlotsInConditionClause(SlotsInConditionClause),
    MissingOperator,
    MultipleOperators {
        ops: Vec<SmolStr>,
    },
    UnescapeError(NonEmpty<UnescapeError>),
    InvalidEntityType(ParseErrors),
    UnknownExtensionFunction(Name),
    InvalidActionType(InvalidActionType),
}
Expand description

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

Variants§

§

JsonDeserializationError(JsonDeserializationError)

Error while deserializing JSON

§

TemplateToPolicy(ExpectedStaticPolicy)

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

§

PolicyToTemplate(ExpectedTemplate)

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

§

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(SlotsInConditionClause)

EST contained a template slot in policy condition

§

MissingOperator

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

§

MultipleOperators

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

Fields

§ops: Vec<SmolStr>

the multiple operators that were found where one was expected

§

UnescapeError(NonEmpty<UnescapeError>)

Error thrown while processing string escapes

§

InvalidEntityType(ParseErrors)

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

§

UnknownExtensionFunction(Name)

Error reported when the extension function name is unknown. Note that unlike the Cedar policy format, the JSON format has no way to distinguish between function-style and method-style calls.

§

InvalidActionType(InvalidActionType)

Returned when an entity uid used as an action does not have the type Action

Trait Implementations§

Source§

impl Debug for FromJsonError

Source§

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

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

impl Diagnostic for FromJsonError

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 FromJsonError

Source§

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

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

impl Error for FromJsonError

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<ExpectedStaticPolicy> for FromJsonError

Source§

fn from(source: ExpectedStaticPolicy) -> Self

Converts to this type from the input type.
Source§

impl From<ExpectedTemplate> for FromJsonError

Source§

fn from(source: ExpectedTemplate) -> Self

Converts to this type from the input type.
Source§

impl From<FromJsonError> for PolicySetFromJsonError

Source§

fn from(source: FromJsonError) -> Self

Converts to this type from the input type.
Source§

impl From<InvalidActionType> for FromJsonError

Source§

fn from(source: InvalidActionType) -> Self

Converts to this type from the input type.
Source§

impl From<JsonDeserializationError> for FromJsonError

Source§

fn from(source: JsonDeserializationError) -> Self

Converts to this type from the input type.
Source§

impl From<SlotsInConditionClause> for FromJsonError

Source§

fn from(source: SlotsInConditionClause) -> Self

Converts to this type from the input type.
Source§

impl From<UnexpectedSlotError> for FromJsonError

Source§

fn from(err: UnexpectedSlotError) -> Self

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.