Enum Mismatch 

#[non_exhaustive]
pub enum Mismatch {
    Primitive {
        expected: &'static str,
        actual: &'static str,
    },
    EnumMember {
        member: String,
        declared: Vec<String>,
    },
    SelectMember {
        written: String,
        select: String,
    },
    FixedWidth {
        expected: usize,
        actual: usize,
    },
    ExpectedReference {
        declared: String,
        actual: &'static str,
    },
    TypedOutsideSelect {
        written: String,
        declared: String,
    },
    TypedWrongType {
        written: String,
        declared: String,
    },
    UntypedSelectValue {
        select: String,
        actual: &'static str,
    },
}

Why a value does not fit its declared type.

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.

Primitive

The written form is not what the primitive accepts.

Fields

expected: &'static str

What the schema expects, in words.

actual: &'static str

What the file wrote, in words.

EnumMember

An enumeration constant the schema does not declare.

Fields

member: String

The constant as written.

declared: Vec<String>

The members the schema declares.

SelectMember

A typed value whose type is not a member of the declared SELECT.

Fields

written: String

The wrapper type as written.

select: String

The SELECT it had to belong to.

FixedWidth

A STRING(n) FIXED value written at the wrong width.

Fields

expected: usize

The width the schema fixes.

actual: usize

The width actually written.

ExpectedReference

A value that is not an entity reference, in a slot only an entity reference can fill: an entity-typed slot, or a SELECT of entities.

Fields

declared: String

The entity or SELECT the slot declares.

actual: &'static str

What the file wrote, in words.

TypedOutsideSelect

A typed parameter of the declared type, or of a specialisation of it, where the declared type is not a SELECT. ISO 10303-21:2016 §12.1.6 writes such a value bare.

Fields

written: String

The wrapper type as written.

declared: String

The non-SELECT type the slot declares.

TypedWrongType

A typed parameter whose type is not the declared non-SELECT type: the wrong form and the wrong type.

Fields

written: String

The wrapper type as written.

declared: String

The non-SELECT type the slot declares.

UntypedSelectValue

A bare value where the declared type is a SELECT. ISO 10303-21:2016 §12.1.8 writes every value of a SELECT that is not an entity instance as a typed parameter naming its type.

Fields

select: String

The SELECT the slot declares.

actual: &'static str

What the file wrote, in words.

Trait Implementations

impl Clone for Mismatch

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Mismatch

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

Formats the value using the given formatter.

impl Eq for Mismatch

impl PartialEq for Mismatch

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Mismatch