sdml_core::model::check

Trait Validate

source 
pub trait Validate {
    // Required method
    fn validate(
        &self,
        top: &Module,
        cache: &impl ModuleStore,
        loader: &impl ModuleLoader,
        check_constraints: bool,
    );
}

Required Methods§

source

fn validate( &self, top: &Module, cache: &impl ModuleStore, loader: &impl ModuleLoader, check_constraints: bool, )

Object Safety§

This trait is not object safe.

Implementors§