pub enum SchemaError {
Show 20 variants ParseJson(Error), ActionTransitiveClosureError(String), EntityTransitiveClosureError(String), UnsupportedSchemaFeature(String), UndeclaredEntityTypes(HashSet<String>), UndeclaredActions(HashSet<String>), UndeclaredCommonType(HashSet<String>), DuplicateEntityType(String), DuplicateAction(String), DuplicateCommonType(String), CycleInActionHierarchy, EntityTypeParse(ParseErrors), NamespaceParse(ParseErrors), CommonTypeParseError(ParseErrors), ExtensionTypeParse(ParseErrors), ActionEntityTypeDeclared, ActionEntityAttributes(Vec<String>), ContextOrShapeNotRecord, ActionEntityAttributeEmptySet, ActionEntityAttributeUnsupportedType,
}
Expand description

Errors encountered during construction of a Validation Schema

Variants§

§

ParseJson(Error)

Errors loading and parsing schema files

§

ActionTransitiveClosureError(String)

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

§

EntityTransitiveClosureError(String)

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

§

UnsupportedSchemaFeature(String)

Error generated when processing a schema file that uses features which are not yet supported by the implementation.

§

UndeclaredEntityTypes(HashSet<String>)

Undeclared entity type(s) used in an entity type’s memberOf field or an action’s appliesTo fields.

§

UndeclaredActions(HashSet<String>)

Undeclared action(s) used in an action’s memberOf field.

§

UndeclaredCommonType(HashSet<String>)

Undeclared type 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 specifications for a reusable common type. Argument is the name of the duplicate type.

§

CycleInActionHierarchy

Cycle in the schema’s action hierarchy.

§

EntityTypeParse(ParseErrors)

Parse errors occurring while parsing an entity type.

§

NamespaceParse(ParseErrors)

Parse errors occurring while parsing a namespace identifier.

§

CommonTypeParseError(ParseErrors)

Parse errors occurring while parsing a common type identifier.

§

ExtensionTypeParse(ParseErrors)

Parse errors occurring while parsing an extension type.

§

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.

§

ActionEntityAttributes(Vec<String>)

One or more action entities are declared with attributes lists, but action entities cannot have attributes.

§

ContextOrShapeNotRecord

An action context or entity type shape was declared to have a type other than Record.

§

ActionEntityAttributeEmptySet

An Action Entity (transitively) has an attribute that is an empty set

§

ActionEntityAttributeUnsupportedType

An Action Entity (transitively) has an attribute of unsupported type (ExprEscape, EntityEscape or ExtnEscape)

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

1.30.0 · source§

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

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, demand: &mut Demand<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)
Provides type based access to context intended for error reports. Read more

Auto Trait Implementations§

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere 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 Twhere 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<E> Provider for Ewhere E: Error + ?Sized,

source§

fn provide<'a>(&'a self, demand: &mut Demand<'a>)

🔬This is a nightly-only experimental API. (provide_any)
Data providers should implement this method to provide all values they are able to provide by using demand. Read more
source§

impl<T> ToString for Twhere 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 Twhere U: Into<T>,

§

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 Twhere U: TryFrom<T>,

§

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.