Enum TypeViolation 

#[non_exhaustive]
pub enum TypeViolation {
    UnknownNodeLabel {
        id: NodeId,
        labels: LabelSet,
    },
    UnknownEdgeLabel {
        id: EdgeId,
        label: DbString,
    },
    EdgeEndpointTypeMismatch {
        id: EdgeId,
        label: DbString,
        expected_source_type: EdgeEndpointDef,
        observed_source_type: u32,
        expected_target_type: EdgeEndpointDef,
        observed_target_type: u32,
    },
    MissingRequiredProperty {
        entity_id: EntityId,
        property: DbString,
        declared_in: DbString,
    },
    PropertyTypeMismatch {
        entity_id: EntityId,
        property: DbString,
        expected: PropertyValueType,
        observed: &'static str,
    },
    ExtensionValueRejected {
        entity_id: EntityId,
        property: DbString,
    },
    UndeclaredProperty {
        entity_id: EntityId,
        property: DbString,
    },
    ImmutablePropertyUpdate {
        entity_id: EntityId,
        property: DbString,
        declared_in: DbString,
    },
    UniquePropertyDuplicate {
        entity_id: EntityId,
        conflicting_entity_id: EntityId,
        property: DbString,
        declared_in: DbString,
    },
}

Closed graph type validation failure.

Variants (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.

UnknownNodeLabel

Node labels do not match any node type.

Fields

id: NodeId

Node ID.

labels: LabelSet

Observed node label set.

UnknownEdgeLabel

Edge label does not match any edge type.

Fields

id: EdgeId

Edge ID.

label: DbString

Observed edge label.

EdgeEndpointTypeMismatch

Edge endpoints do not match the declared edge type endpoints.

Fields

id: EdgeId

Edge ID.

label: DbString

Edge label.

expected_source_type: EdgeEndpointDef

Expected source endpoint.

observed_source_type: u32

Observed source node-type index.

expected_target_type: EdgeEndpointDef

Expected target endpoint.

observed_target_type: u32

Observed target node-type index.

MissingRequiredProperty

Required property is absent or null.

Fields

entity_id: EntityId

Entity that violated the declaration.

property: DbString

Missing property name.

declared_in: DbString

Node or edge type that declares the property.

PropertyTypeMismatch

Property value has the wrong runtime type.

Fields

entity_id: EntityId

Entity that violated the declaration.

property: DbString

Property name.

expected: PropertyValueType

Expected property value type.

observed: &'static str

Observed runtime value type.

ExtensionValueRejected

Value::Extended is not a declarable closed-graph type.

Fields

entity_id: EntityId

Entity that violated the declaration.

property: DbString

Property name.

UndeclaredProperty

Property is not declared by the matched node or edge type.

Fields

entity_id: EntityId

Entity that violated the declaration.

property: DbString

Undeclared property name.

ImmutablePropertyUpdate

Immutable property was updated or removed.

Fields

entity_id: EntityId

Entity that violated the declaration.

property: DbString

Immutable property name.

declared_in: DbString

Node or edge type that declares the property.

UniquePropertyDuplicate

Unique property value is already used by another entity of the declaring type.

Fields

entity_id: EntityId

Entity that violated the declaration.

conflicting_entity_id: EntityId

Existing entity carrying the same value.

property: DbString

Unique property name.

declared_in: DbString

Node or edge type that declares the property.

Trait Implementations

impl Clone for TypeViolation

fn clone(&self) -> TypeViolation

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TypeViolation

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

Formats the value using the given formatter.

impl Diagnostic for TypeViolation

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 severity(&self) -> Option<Severity>

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

fn help<'a>(&'a self) -> Option<Box<dyn Display + 'a>>

Additional help text related to this Diagnostic. Do you have any advice for the poor soul who’s just run into this issue?

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

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

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

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

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

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

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

Additional related Diagnostics.

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

The cause of the error.

impl Display for TypeViolation

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

Formats the value using the given formatter.

impl Eq for TypeViolation

impl Error for TypeViolation

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

Returns 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<TypeViolation> for GraphError

fn from(source: TypeViolation) -> Self

Converts to this type from the input type.

impl PartialEq for TypeViolation

fn eq(&self, other: &TypeViolation) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for TypeViolation