Trait libslide::partial_evaluator::validate::Validator

trait Validator<'a> {
    fn validate(
        stmt_list: &StmtList, 
        source: &'a str, 
        context: &ProgramContext, 
        evaluator_rules: &[Rule]
    ) -> Vec<Diagnostic>;
}

Required methods

fn validate(
    stmt_list: &StmtList,
    source: &'a str,
    context: &ProgramContext,
    evaluator_rules: &[Rule]
) -> Vec<Diagnostic>

Loading content...

Implementors

impl<'a> Validator<'a> for IncompatibleDefinitionsValidator

fn validate(
    stmt_list: &StmtList,
    _source: &'a str,
    context: &ProgramContext,
    evaluator_rules: &[Rule]
) -> Vec<Diagnostic>

Loading content...