Trait ModelValidator 

pub trait ModelValidator {
    type Error;

    // Required method
    fn validate(&mut self, model: &Model<'_>) -> Result<(), Self::Error>;
}

Extension point for semantic, profile, extension, or backend-capability validators.

Required Associated Types

type Error

Required Methods

fn validate(&mut self, model: &Model<'_>) -> Result<(), Self::Error>

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl ModelValidator for SemanticValidator

type Error = SemanticError