pub trait DeepValidator {
// Provided methods
fn filter_module(
_module: &Module,
_program: &Program,
_validator: &Validator,
) -> bool { ... }
fn filter_struct(
_struct_: &Struct,
_module: &Module,
_program: &Program,
_validator: &Validator,
) -> bool { ... }
fn filter_function(
_function: &Function,
_module: &Module,
_program: &Program,
_validator: &Validator,
) -> bool { ... }
fn filter_op(
_op: &Operation,
_function: &Function,
_module: &Module,
_program: &Program,
_validator: &Validator,
) -> bool { ... }
fn validate_program(
_program: &Program,
_validator: &Validator,
) -> SimpleResult<()> { ... }
fn validate_module(
_module: &Module,
_program: &Program,
_validator: &Validator,
) -> SimpleResult<()> { ... }
fn validate_op(
_op: &Operation,
_function: &Function,
_module: &Module,
_program: &Program,
_rule: &Rule,
_validator: &Validator,
) -> SimpleResult<()> { ... }
fn transform_module(
module: Module,
_program: &Program,
_validator: &Validator,
) -> SimpleResult<Module> { ... }
}Provided Methods§
fn filter_module( _module: &Module, _program: &Program, _validator: &Validator, ) -> bool
fn filter_struct( _struct_: &Struct, _module: &Module, _program: &Program, _validator: &Validator, ) -> bool
fn filter_function( _function: &Function, _module: &Module, _program: &Program, _validator: &Validator, ) -> bool
fn filter_op( _op: &Operation, _function: &Function, _module: &Module, _program: &Program, _validator: &Validator, ) -> bool
fn validate_program( _program: &Program, _validator: &Validator, ) -> SimpleResult<()>
fn validate_module( _module: &Module, _program: &Program, _validator: &Validator, ) -> SimpleResult<()>
fn validate_op( _op: &Operation, _function: &Function, _module: &Module, _program: &Program, _rule: &Rule, _validator: &Validator, ) -> SimpleResult<()>
fn transform_module( module: Module, _program: &Program, _validator: &Validator, ) -> SimpleResult<Module>
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.