Struct libslide::linter::expr_pat::similar_names::SimilarNamesLinter

pub struct SimilarNamesLinter<'a> {
    names: BTreeMap<&'a str, NameCollection>,
}

Fields

names: BTreeMap<&'a str, NameCollection>

Implementations

impl<'a> SimilarNamesLinter<'a>

fn check_names(self) -> Vec<Diagnostic>

Trait Implementations

impl<'a> Default for SimilarNamesLinter<'a>

fn default() -> SimilarNamesLinter<'a>

Returns the "default value" for a type.

impl<'a> DiagnosticRecord for SimilarNamesLinter<'a>

The similar names lint detects expression patterns with very similar names.

For example, the following pattern expression has different patterns with the same suffix "a":

$a + #a + _a + $a

While this is expression is semantically valid, it can be difficuly to read and misleading, since "a" is used in three separate and independent patterns. A clearer expression would be

$a + #b + _c + $a

const CODE: &'static str

Diagnostic code.

const EXPLANATION: &'static str

Detailed diagnostic explanation.

impl<'a> ExprPatVisitor<'a> for SimilarNamesLinter<'a>

fn visit_var_pat(&mut self, var_pat: &'a str, span: Span)

Visits a variable pattern.

fn visit_const_pat(&mut self, const_pat: &'a str, span: Span)

Visits a constant pattern.

fn visit_any_pat(&mut self, any_pat: &'a str, span: Span)

Visits an any pattern.

fn visit_expr_pat(&mut self, expr_pat: &'a RcExprPat)

Visits an expression pattern.

fn visit_const(&mut self, _konst: &f64)

Visits a constant.

fn visit_binary_op(&mut self, _op: BinaryOperator)

Visits a binary operator.

fn visit_binary_expr_pat(&mut self, expr: &'a BinaryExpr<RcExprPat>)

Visits a binary expression pattern.

fn visit_unary_op(&mut self, _op: UnaryOperator)

Visits a unary operator.

fn visit_unary_expr_pat(&mut self, expr: &'a UnaryExpr<RcExprPat>)

Visits a unary expression pattern.

fn visit_parend_expr_pat(&mut self, expr: &'a RcExprPat, span: Span)

Visits a parenthesized expression pattern.

fn visit_bracketed_expr_pat(&mut self, expr: &'a RcExprPat, span: Span)

Visits a bracketed expression pattern.

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

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

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