Enum cedar_policy_validator::SchemaError

source ·
pub enum SchemaError {
Show 20 variants Serde(Error), ActionTransitiveClosure(Box<TcError<EntityUID>>), EntityTypeTransitiveClosure(TcError<Name>), UnsupportedFeature(UnsupportedFeature), UndeclaredEntityTypes(HashSet<String>), UndeclaredActions(HashSet<String>), UndeclaredCommonTypes(HashSet<String>), DuplicateEntityType(String), DuplicateAction(String), DuplicateCommonType(String), CycleInActionHierarchy, EntityTypeParseError(ParseErrors), NamespaceParseError(ParseErrors), ExtensionTypeParseError(ParseErrors), CommonTypeParseError(ParseErrors), ActionEntityTypeDeclared, ActionHasAttributes(Vec<String>), ContextOrShapeNotRecord(ContextOrShape), ActionAttributesContainEmptySet(EntityUID), UnsupportedActionAttributeType(EntityUID),
}

Variants§

§

Serde(Error)

Error thrown by the serde_json crate during deserialization

§

ActionTransitiveClosure(Box<TcError<EntityUID>>)

Errors occurring while computing or enforcing transitive closure on action hierarchy.

§

EntityTypeTransitiveClosure(TcError<Name>)

Errors occurring while computing or enforcing transitive closure on entity type hierarchy.

§

UnsupportedFeature(UnsupportedFeature)

Error generated when processing a schema file that uses unsupported features

§

UndeclaredEntityTypes(HashSet<String>)

Undeclared entity type(s) used in the memberOf field of an entity type, the appliesTo fields of an action, or an attribute type in a context or entity attribute record. Entity types in the error message are fully qualified, including any implicit or explicit namespaces.

§

UndeclaredActions(HashSet<String>)

Undeclared action(s) used in the memberOf field of an action.

§

UndeclaredCommonTypes(HashSet<String>)

Undeclared common type(s) used in entity or context attributes.

§

DuplicateEntityType(String)

Duplicate specifications for an entity type. Argument is the name of the duplicate entity type.

§

DuplicateAction(String)

Duplicate specifications for an action. Argument is the name of the duplicate action.

§

DuplicateCommonType(String)

Duplicate specification for a reusable type declaration.

§

CycleInActionHierarchy

Cycle in the schema’s action hierarchy.

§

EntityTypeParseError(ParseErrors)

Parse errors occurring while parsing an entity type.

§

NamespaceParseError(ParseErrors)

Parse errors occurring while parsing a namespace identifier.

§

ExtensionTypeParseError(ParseErrors)

Parse errors occurring while parsing an extension type.

§

CommonTypeParseError(ParseErrors)

Parse errors occurring while parsing the name of one of reusable declared types.

§

ActionEntityTypeDeclared

The schema file included an entity type Action in the entity type list. The Action entity type is always implicitly declared, and it cannot currently have attributes or be in any groups, so there is no purposes in adding an explicit entry.

§

ActionHasAttributes(Vec<String>)

One or more action entities are declared with attributes, but this is not currently supported.

§

ContextOrShapeNotRecord(ContextOrShape)

context or shape fields are not records

§

ActionAttributesContainEmptySet(EntityUID)

An action entity (transitively) has an attribute that is an empty set. This error variant should only be used when PermitAttributes is enabled.

§

UnsupportedActionAttributeType(EntityUID)

An action entity (transitively) has an attribute of unsupported type (ExprEscape, EntityEscape or ExtnEscape). This error variant should only be used when PermitAttributes is enabled.

Trait Implementations§

source§

impl Debug for SchemaError

source§

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

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

impl Display for SchemaError

source§

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

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

impl Error for SchemaError

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<Error> for SchemaError

source§

fn from(source: Error) -> Self

Converts to this type from the input type.
source§

impl From<TcError<EntityUID>> for SchemaError

source§

fn from(e: TcError<EntityUID>) -> Self

Converts to this type from the input type.
source§

impl From<TcError<Name>> for SchemaError

source§

fn from(source: TcError<Name>) -> 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.