Trait libslide::linter::LintRule

pub trait LintRule<'a, G> where
    Self: DiagnosticRecord,
    G: Grammar, {
    fn lint(grammar: &G, source: &'a str) -> Vec<Diagnostic>;
}

Describes a slide program linter. A Linter is implemented on a slide Grammar.

Required methods

fn lint(grammar: &G, source: &'a str) -> Vec<Diagnostic>

Lints a grammar given the original source code of the program.

Loading content...

Implementors

impl<'a> LintRule<'a, RcExprPat> for SimilarNamesLinter<'a>

fn lint(expr_pat: &RcExprPat, _source: &'a str) -> Vec<Diagnostic>

impl<'a> LintRule<'a, StmtList> for HomogenousAssignmentLinter<'a>

fn lint(stmt_list: &StmtList, source: &'a str) -> Vec<Diagnostic>

impl<'a> LintRule<'a, StmtList> for RedundantNestingLinter<'a>

fn lint(stmt_list: &StmtList, source: &'a str) -> Vec<Diagnostic>

impl<'a> LintRule<'a, StmtList> for UnarySeriesLinter<'a>

fn lint(stmt_list: &StmtList, source: &'a str) -> Vec<Diagnostic>

Loading content...