Enum ValidationError 

pub enum ValidationError {
    UnknownOp {
        node_name: String,
        op_type: String,
        domain: String,
    },
    DanglingInput {
        node_name: String,
        input_name: String,
    },
    DuplicateOutput {
        value_name: String,
        node_a: String,
        node_b: String,
    },
    MissingTypeInfo {
        input_name: String,
    },
    MalformedSlotMetadata {
        node_name: String,
        detail: String,
    },
    CyclicGraph {
        involves: Vec<String>,
    },
    OpsetNotImported {
        domain: String,
        version_used: i64,
    },
}

Errors from validate (pass 1). One variant per docs/COMPILER.md §4.1 rule.

Variants

UnknownOp

Rule 1 - unknown (op_type, domain) pair.

Fields

node_name: String

NodeProto.name.

op_type: String

NodeProto.op_type.

domain: String

NodeProto.domain.

DanglingInput

Rule 2 - an input value name has no producer.

Fields

node_name: String

NodeProto.name.

input_name: String

The dangling input value name.

DuplicateOutput

Rule 3 - two ops claim to produce the same output value name.

Fields

value_name: String

The duplicated value name.

node_a: String

First producer (NodeProto.name).

node_b: String

Second producer (NodeProto.name).

MissingTypeInfo

Rule 5 - a function input has no matching ValueInfoProto.type.

Fields

input_name: String

The input value name lacking a type.

MalformedSlotMetadata

Rule 6 - a role-domain NodeProto lacks the canonical metadata keys (concrete_type + instance OR required_trait + slot_id).

Fields

node_name: String

The offending node’s name.

detail: String

Human-readable detail.

CyclicGraph

Rule 7 - the graph contains at least one cycle.

Fields

involves: Vec<String>

Node names involved in the cycle.

OpsetNotImported

Rule 8 - an op uses an opset that was not declared in ModelProto.opset_import.

Fields

domain: String

The missing opset’s domain.

version_used: i64

The version the graph used.

Trait Implementations

impl Debug for ValidationError

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

Formats the value using the given formatter.

impl Display for ValidationError

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

Formats the value using the given formatter.

impl Error for ValidationError

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<ValidationError> for CompileError

fn from(e: ValidationError) -> Self

Converts to this type from the input type.