[−][src]Trait kaiju_core::validator::DeepValidator
Provided methods
fn filter_module(
_module: &Module,
_program: &Program,
_validator: &Validator
) -> bool
_module: &Module,
_program: &Program,
_validator: &Validator
) -> bool
fn filter_struct(
_struct_: &Struct,
_module: &Module,
_program: &Program,
_validator: &Validator
) -> bool
_struct_: &Struct,
_module: &Module,
_program: &Program,
_validator: &Validator
) -> bool
fn filter_function(
_function: &Function,
_module: &Module,
_program: &Program,
_validator: &Validator
) -> bool
_function: &Function,
_module: &Module,
_program: &Program,
_validator: &Validator
) -> bool
fn filter_op(
_op: &Operation,
_function: &Function,
_module: &Module,
_program: &Program,
_validator: &Validator
) -> bool
_op: &Operation,
_function: &Function,
_module: &Module,
_program: &Program,
_validator: &Validator
) -> bool
fn validate_program(
_program: &Program,
_validator: &Validator
) -> SimpleResult<()>
_program: &Program,
_validator: &Validator
) -> SimpleResult<()>
fn validate_module(
_module: &Module,
_program: &Program,
_validator: &Validator
) -> SimpleResult<()>
_module: &Module,
_program: &Program,
_validator: &Validator
) -> SimpleResult<()>
fn validate_op(
_op: &Operation,
_function: &Function,
_module: &Module,
_program: &Program,
_rule: &Rule,
_validator: &Validator
) -> SimpleResult<()>
_op: &Operation,
_function: &Function,
_module: &Module,
_program: &Program,
_rule: &Rule,
_validator: &Validator
) -> SimpleResult<()>
fn transform_module(
module: Module,
_program: &Program,
_validator: &Validator
) -> SimpleResult<Module>
module: Module,
_program: &Program,
_validator: &Validator
) -> SimpleResult<Module>
Implementors
impl DeepValidator for EmptyDeepValidator
[src]
fn transform_module(
module: Module,
_program: &Program,
_validator: &Validator
) -> SimpleResult<Module>
[src]
module: Module,
_program: &Program,
_validator: &Validator
) -> SimpleResult<Module>