pub trait Validate {
    // Required methods
    fn is_complete(&self, top: &Module) -> Result<bool, Error>;
    fn is_valid(
        &self,
        check_constraints: bool,
        top: &Module
    ) -> Result<bool, Error>;

    // Provided method
    fn validate(
        &self,
        check_constraints: bool,
        top: &Module,
        errors: &mut Vec<Error>
    ) -> Result<(), Error> { ... }
}

Required Methods§

source

fn is_complete(&self, top: &Module) -> Result<bool, Error>

source

fn is_valid(&self, check_constraints: bool, top: &Module) -> Result<bool, Error>

Provided Methods§

source

fn validate( &self, check_constraints: bool, top: &Module, errors: &mut Vec<Error> ) -> Result<(), Error>

Implementors§