[−][src]Trait kaiju_core::validator::DeepValidator

pub trait DeepValidator {
    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>

Loading content...

Implementors

impl DeepValidator for EmptyDeepValidator
[src]

fn filter_module(
    _module: &Module,
    _program: &Program,
    _validator: &Validator
) -> bool
[src]

fn filter_struct(
    _struct_: &Struct,
    _module: &Module,
    _program: &Program,
    _validator: &Validator
) -> bool
[src]

fn filter_function(
    _function: &Function,
    _module: &Module,
    _program: &Program,
    _validator: &Validator
) -> bool
[src]

fn filter_op(
    _op: &Operation,
    _function: &Function,
    _module: &Module,
    _program: &Program,
    _validator: &Validator
) -> bool
[src]

fn validate_program(
    _program: &Program,
    _validator: &Validator
) -> SimpleResult<()>
[src]

fn validate_module(
    _module: &Module,
    _program: &Program,
    _validator: &Validator
) -> SimpleResult<()>
[src]

fn validate_op(
    _op: &Operation,
    _function: &Function,
    _module: &Module,
    _program: &Program,
    _rule: &Rule,
    _validator: &Validator
) -> SimpleResult<()>
[src]

Loading content...