Enum UntypedReason 

pub enum UntypedReason {
    AnySchema,
    OpaqueObject,
    UntypedAdditionalProperties,
    ArrayWithoutItems,
    OpenPositionalItems,
    UnrepresentableUnion,
    UnrepresentableComposition,
    UnsupportedTypeKeyword,
    UnresolvedReference,
    InlineCompositionDropped,
    InlineUnionDropped,
    InlineObjectDropped,
    InlineEnumDropped,
    UntypedUnionBranch,
    Unclassified,
}

Why a schema produced an untyped value.

The split that matters is UntypedReason::verdict: a schema that says “any JSON” has no better Rust type and is generated correctly, while a schema that carried type information the generator dropped is a defect with a fix. Counting the two together would make the corpus look worse than it is and hide which cases are worth work.

Variants

AnySchema

{}, true, or a schema with no constraining keyword at all: the spec declares any JSON value.

OpaqueObject

type: object with no properties and no typed additionalProperties: an object of unknown shape.

UntypedAdditionalProperties

additionalProperties: true or absent, so map values are unconstrained.

ArrayWithoutItems

type: array with no items at all.

OpenPositionalItems

Positional items that permit extra elements of any type (issue #62, tier 3), so neither a tuple nor a Vec<T> is sound.

UnrepresentableUnion

A union (oneOf/anyOf) whose branches did not reduce to one generated Rust type.

UnrepresentableComposition

An allOf composition that could not be merged into a struct.

UnsupportedTypeKeyword

The schema declared a type keyword the generator has no mapping for.

UnresolvedReference

A $ref that analysis could not resolve to a generated schema.

InlineCompositionDropped

An allOf composition sitting in a field position. Analysis did not merge or hoist it, and a field cannot hold one, so the generator emits serde_json::Value — dropping a type the schema fully described. A single-branch allOf around a scalar is the common shape.

InlineUnionDropped

A union in a field position that was never hoisted to a named enum.

InlineObjectDropped

An inline object in a field position that was never hoisted to a struct.

InlineEnumDropped

An inline enum in a field position that was never hoisted.

UntypedUnionBranch

A oneOf/anyOf branch that mapped to an untyped value, so the generated union carries a serde_json::Value variant. Whether that is faithful depends on the branch, which the analyzed type no longer says.

Unclassified

Reached a fallback that has not been classified yet. Every one of these is a gap in this taxonomy, not in the generator.

Implementations

impl UntypedReason

pub fn inline_drop(schema_type: &SchemaType) -> Option<Self>

The reason a non-inline-renderable type reaching a field position gets dropped to serde_json::Value.

impl UntypedReason

pub fn verdict(self) -> UntypedVerdict

Whether the untyped output is the honest reading of the schema, or a case where the generator can do better.

Trait Implementations

impl Clone for UntypedReason

fn clone(&self) -> UntypedReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for UntypedReason

impl Debug for UntypedReason

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

Formats the value using the given formatter.

impl Eq for UntypedReason

impl Ord for UntypedReason

fn cmp(&self, other: &UntypedReason) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for UntypedReason

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for UntypedReason

fn partial_cmp(&self, other: &UntypedReason) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for UntypedReason

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for UntypedReason